Registered user since Thu 10 Jul 2014

Name: Bor-Yuh Evan Chang

Affiliation: University of Colorado Boulder

Personal website: http://www.cs.colorado.edu/~bec/

POPL 2017 Activities

• Author of Big Code within the Next 40 years of Abstract Interpretation-track in N40AI 2017
• Author of Semantic-Directed Clumping of Disjunctive Abstract States within the POPL-track in POPL 2017
• Show activities from other conferences