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.
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
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
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
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.