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

Github