PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Bor-Yuh Evan Chang

Registered user since Thu 10 Jul 2014

Name:Bor-Yuh Evan Chang
Bio:

I am an assistant professor in the Department of Computer Science and the Programming Languages and Verification Group at the University of Colorado Boulder.

I work primarily in the areas of programming languages and program analysis. My research interests center on tools and techniques for building, understanding, and ensuring reliable computational systems. Currently, my focus is on using novel ways of interacting with the programmer to design more precise and practical program analyses. The Xisa project is an instance of this approach that infers precise properties of complex data structure manipulations. The novelty of Xisa is that it extracts both the necessary invariants and reasoning rules from executable assertions (analogous to data structure validation code often written for testing). This approach allows the developer to focus the analysis to the properties of interest and without using a separate formalism for testing and static analysis.

I completed my Ph.D. in 2008 with George Necula in the EECS department at the University of California, Berkeley. I also spent the fall of 2008 as a post-doc with Jeff Foster in the PLUM group at the University of Maryland, College Park before joining the University of Colorado Boulder in January 2009.

Even earlier, I spent my undergraduate days at Carnegie Mellon University completing a senior thesis with Frank Pfenning and Bob Harper.

Affiliation:University of Colorado Boulder

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile