PhD Student, University of Colorado at Boulder

Publications | Curriculum Vitae | Github | Linkedin

I am a PhD student in the Department of Computer Science at the University of Colorado, Boulder, where I started in Fall 2015 and received an MS in Fall 2017. I am a member of the Programming Languages and Verification Group (CUPLV), advised by Professor Evan Chang. Previously, I was a student at Williams College, in Williamstown, MA, where I graduated in June 2015 with a BA in Computer Science and Mathematics.

I am interested in building static analysis tools and formalisms that are able to handle the complexities of modern, feature-rich dynamic languages. My current research aims to improve precision and efficiency of JavaScript analysis by combining a standard forwards abstract interpretation with a goal-directed backwards symbolic execution, refuting spurious data-flow on-demand at critical points during the forwards analysis. I've also worked on a range of other program analysis topics in research and industry including refinement type systems, incremental program analysis, and software engineering applications of program analysis.

Paper Presentation @ ASE '18 Montpellier, France, September 2018

Presented my paper Safe Stream-Based Programming with Refinement Types at the 33rd IEEE/ACM International Conference on Automated Software Engineering. (slides)

Program Analysis Internship @ Google Sunnyvale, CA, Summer 2018

Implemented some improvements (type inference, access-path tracking, type annotation/bound support) for the Error Prone nullness analysis. (open source)

Program Analysis Internship @ Uber Palo Alto, CA, Summer 2017

Built a type analysis to statically detect multithreading bugs in functional-reactive Android applications. I worked under Manu Sridharan in the static analysis group.

Oregon Programming Languages Summer School Eugene, OR, June 2016

Attended OPLSS 2016. I saw a wide range of talks from invited lecturers and other students, gave a talk on my own research, and got to know a ton of other PL researchers.

PLDI Student Research Competition Santa Barbara, CA, June 2016

Won 2nd place for my poster and talk on "Goal-Directed Backwards Static Analysis for JavaScript". abstract

DARPA MUSE Demo Meeting Hackathon Washington D.C., February 2016

Assisted the CUPLV MUSE team with their hackathon by building a backwards, goal-directed Android analysis, looking for misuses of common Android encryption libraries.

POPL (and PLMW) St. Petersburg, FL, January 2016

Attended POPL '16 and the co-located Programming Languages Mentoring Workshop on a Research Community Development grant from CU.

Safe Stream-Based Programming with Refinement Types

Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang.
33rd IEEE/ACM International Conference on Automated Software Engineering (ASE '18).
(69/346 = 20%) | pdf | slides