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

2024

SPLASH

2023

SPLASH

Static Analysis Symposium

PLMW

VMCAI

Committee Member in Program Committee within the VMCAI 2023-track

2022

SPLASH

Sponsorship Co-Chair in Organizing Committee

PLDI

2021

Static Analysis Symposium

Author of Selectively-Amortized Resource Bounding within the SAS-track

PLDI

Infer

Author of Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis within the Infer 2021-track

2020

Static Analysis Symposium

PLDI

Committee Member in External Review Committee within the PLDI Research Papers-track

POPL

Committee Member in Program Committee within the Research Papers-track

2019

APLAS

Committee Member in Steering Committee

SPLASH

ISSTA

Committee Member in Program Committee within the Technical Papers-track

ECOOP

VMCAI

Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track

2018

ICSE

Author of DroidStar: Callback Typestates for Android Classes within the Technical Papers -track

2017

Onward!

Author of ChimpCheck: Property-based Randomized Test Generation for Interactive Apps within the Onward! Papers-track

ECOOP

Committee Member in Program Committee within the ECOOP Research Papers-track

PLDI

Committee Member in Program Committee

SOAP

Committee Member in Program Committee within the SOAP-track

POPL

Author of Semantic-Directed Clumping of Disjunctive Abstract States within the POPL-track

N40AI

Author of Big Code within the Next 40 years of Abstract Interpretation-track

2016

GPCE

Author of A Vision for Online Verification-Validation within the GPCE-track

POPL

VMCAI

2015

SPLASH

PLDI

Committee Member in External Review Committee within the Research Papers-track

SOAP

Author of Droidel: A General Approach to Android Framework Modeling within the SOAP-track

ESOP

Author of Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages within the ESOP-track