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 2022	Author of Differential Cost Analysis with Simultaneous Potentials and Anti-potentials within the PLDI-track Committee Member in PLDI within the PLDI-track
SAS 2021	Author of Selectively-Amortized Resource Bounding within the SAS-track
Infer Practitioners 2021	Author of Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis within the Infer 2021-track
PLDI 2021	Committee Member in Program Committee within the PLDI-track Author of Demanded Abstract Interpretation within the PLDI-track
SPLASH 2022	Sponsorship Co-Chair in Organizing Committee
SAS 2020	Session Chair of 1 (part of SAS) Committee Member in Program Committee within the SAS-track
PLDI 2020	Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2020	Committee Member in Program Committee within the Research Papers-track
APLAS 2019	Committee Member in Steering Committee
SPLASH 2019	Author 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 2019	Committee Member in Program Committee within the Technical Papers-track
VMCAI 2019	Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track
ECOOP 2019	Author 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 2017	Committee Member in Program Committee within the SOAP-track
Onward! 2017	Author of ChimpCheck: Property-based Randomized Test Generation for Interactive Apps within the Onward! Papers-track
N40AI 2017	Author of Big Code within the Next 40 years of Abstract Interpretation-track
POPL 2017	Author of Semantic-Directed Clumping of Disjunctive Abstract States within the POPL-track
PLDI 2017	Committee Member in Program Committee
ECOOP 2017	Committee Member in Program Committee within the ECOOP Research Papers-track
GPCE 2016	Author 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
VMCAI	Session Chair of Invited Talk III (part of VMCAI) Committee Member in Program Committee
POPL 2016	Committee Member in Program Committee within the Research Papers-track Committee Member in Program Committee
SOAP 2015	Author of Droidel: A General Approach to Android Framework Modeling within the SOAP-track
ESOP 2015	Author of Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages within the ESOP-track
SPLASH 2015	Author 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 2015	Committee Member in External Review Committee within the Research Papers-track