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 if you have any questions.


I recently graduated with my PhD in Computer Science at the University of California, Berkeley. I am currently looking for a job.

You can browse my resume and 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.

Publication in submission. 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


Probably the most well known project I've worked on. We developed a pdf reader entirely in JavaScript. It's currently being shipped as the default pdf reader in Firefox.

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.


Github Facebook Facebook