Bor-Yuh Evan Chang

Registered user since Thu 10 Jul 2014

Name: Bor-Yuh Evan Chang

Affiliation: University of Colorado Boulder | Amazon

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

Contributions

PLDI 2020Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2020Committee Member in Program Committee within the Research Papers-track
APLAS 2019Committee Member in Steering Committee
SPLASH 2019Author of Static Analysis with Demand-Driven Value Refinement within the Posters-track
Session Chair of Repair & Transformation (part of OOPSLA)
Author of Static Analysis with Demand-Driven Value Refinement within the OOPSLA-track
Committee Member in Review Committee within the OOPSLA-track
ISSTA 2019Committee Member in Program Committee within the Technical Papers-track
VMCAI 2019Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track
ECOOP 2019Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Artifacts-track
Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Posters-track
Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Research Papers-track
SOAP 2017Committee Member in Program Committee within the SOAP-track
Onward! 2017Author of ChimpCheck: Property-based Randomized Test Generation for Interactive Apps within the Onward! Papers-track
N40AI 2017Author of Big Code within the Next 40 years of Abstract Interpretation-track
POPL 2017Author of Semantic-Directed Clumping of Disjunctive Abstract States within the POPL-track
PLDI 2017Committee Member in Program Committee
ECOOP 2017Committee Member in Program Committee within the ECOOP Research Papers-track
GPCE 2016Author of A Vision for Online Verification-Validation within the GPCE-track
* ICSE 2018 *Author of DroidStar: Callback Typestates for Android Classes within the Technical Papers -track
VMCAISession Chair of Invited Talk III (part of VMCAI)
Committee Member in Program Committee
POPL 2016Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
SOAP 2015Author of Droidel: A General Approach to Android Framework Modeling within the SOAP-track
ESOP 2015Author of Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages within the ESOP-track
SPLASH 2015Author of Selective Control-Flow Abstraction via Jumping within the OOPSLA Artifacts-track
Author of Selective Control-Flow Abstraction via Jumping within the OOPSLA-track
Committee Member in Program Committee within the Student Research Competition-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track