Bor-Yuh Evan Chang
University of Colorado Boulder
H-index: 22
North America-United States
Top articles of Bor-Yuh Evan Chang
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Interactive Abstract Interpretation with Demanded Summarization | ACM Transactions on Programming Languages and Systems | Benno Stein Bor-Yuh Evan Chang Manu Sridharan | 2024 |
Programming Languages and Systems | ACM Transactions on | M Vukasovic A Prokopec A Boruch-Gruszecki M Odersky E Lee | 2023 |
Lifting on-demand analysis to higher-order languages | Daniel Schoepe David Seekatz Ilina Stoilkovska Sandro Stucki Daniel Tattersall | 2023/10/22 | |
Historia: Refuting Callback Reachability with Message-History Logics | Proceedings of the ACM on Programming Languages | Shawn Meier Sergio Mover Gowtham Kaki Bor-Yuh Evan Chang | 2023/10/16 |
Differential cost analysis with simultaneous potentials and anti-potentials | Đorđe Žikelić Bor-Yuh Evan Chang Pauline Bolignano Franco Raimondi | 2022/6/9 | |
Demanded abstract interpretation | Benno Stein Bor-Yuh Evan Chang Manu Sridharan | 2021/6/19 | |
Selectively-Amortized Resource Bounding | Tianhan Lu Bor-Yuh Evan Chang Ashutosh Trivedi | 2021 | |
Selectively-Amortized Resource Bounding (Extended Version) | arXiv preprint arXiv:2108.08263 | Tianhan Lu Bor-Yuh Evan Chang Ashutosh Trivedi | 2021/8/18 |
FIXR: Mining and Understanding Bug Fixes to Address Application Framework Protocol Defects | Bor-Yuh E Chang Pavol Cern Kenneth M Anderson Sriram Sankaranarayanan Tom Yeh | 2020/8/7 | |
Hippo signaling-mediated mechanotransduction in cell movement and cancer metastasis | Yu-Chiuan Chang Jhen-Wei Wu Chueh-Wen Wang Anna C-C Jang | 2020/1/31 | |
South Korea's Engagement with Africa | Yongkyu Chang | 2020 |