Shaon Barman
Hi! I am from Texas and currently live near beautiful Lake Merritt in Oakland, CA. Feel free to shoot me an email at shaon.barman at gmail.com if you have any questions.
About
I'm currently at Twitter working in the online health/safety space. Before that, I was at the University of California, Berkeley working on my PhD in Computer Science.
You can browse my CV for more info. Below is a partial list of projects I have done. For more information, visit the linked repositories or read the related papers.
Automating the Browser for End-Users
We built a tool to allow end-users to automate the browser, a simple form of macros for websites. End-users demonstrate the task they want performed and our tool, Ringer, synthesizes a program that can complete that task. My PhD
thesis is on this work. My co-author
Sarah Chasins built a set of tools using this framework, including the
Helena language.
Ringer: Web Automation by Demonstration. OOPSLA '16
PDF.
Code
Browser Record and Replay as a Building Block for End-User Web Automation Tools. Demo at WWW '15. Sarah Chasins, Shaon Barman, Sumit Gulwani, Rastislav Bodik.
PDF.
Code
Interactive Synthesis and Angelic Programming
I worked on several types of program synthesis while at Berkeley. Synthesis allows code to be generated from high-level specifications.
Toward tool support for interactive synthesis. Onward '15. Shaon Barman, Rastislav Bodik, Satish Chandra, Emina Torlak, Arka Bhattacharya, David Culler.
PDF.
Code
Angelic debugging. ICSE '11. Satish Chandra, Emina Torlak, Shaon Barman, Ras Bodik.
PDF
Programming with angelic nondeterminism. POPL '10. Rastislav Bodik, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor.
PDF.
Code
pdf.js
Probably the most well known project I've worked on. We developed a pdf reader entirely in JavaScript.
Automatic Abstract Syntax
I developed a process which converts a concrete syntax grammar into an abstract syntax, and automatically generates inserts the parser actions. My undergraduate honor's
thesis was on this work.
PDF
Accounts