Bor-Yuh Evan Chang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
41
Venues
16
Active years
2005–2025
Best venue rank
A*
Where they publish
Papers
41 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECOOP | Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering. | Jiawei Yang, Xiao Cheng, Bor-Yuh Evan Chang, Xiapu Luo, Yulei Sui |
| 2023 | SAS | Lifting On-Demand Analysis to Higher-Order Languages. | Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang |
| 2022 | PLDI | Differential cost analysis with simultaneous potentials and anti-potentials. | Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi |
| 2021 | PLDI | Demanded abstract interpretation. | Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan |
| 2021 | SAS | Selectively-Amortized Resource Bounding. | Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi |
| 2019 | ECOOP | Lifestate: Event-Driven Protocols and Callback Control Flow. | Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang |
| 2019 | VMCAI | Type-Directed Bounding of Collections in Reactive Programs. | Tianhan Lu, Pavol Cern, Bor-Yuh Evan Chang, Ashutosh Trivedi |
| 2018 | AAAI | Differential Performance Debugging With Discriminant Regression Trees. | Saeid Tizpaz-Niari, Pavol Cern, Bor-Yuh Evan Chang, Ashutosh Trivedi |
| 2018 | ICSE | DroidStar: callback typestates for Android classes. | Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cern |
| 2017 | OOPSLA | ChimpCheck: property-based randomized test generation for interactive apps. | Edmund S. L. Lam, Peilun Zhang, Bor-Yuh Evan Chang |
| 2017 | POPL | Semantic-directed clumping of disjunctive abstract states. | Huisong Li, Francois Berenger, Bor-Yuh Evan Chang, Xavier Rival |
| 2017 | TACAS | Discriminating Traces with Time. | Saeid Tizpaz-Niari, Pavol Cern, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2016 | GPCE | A vision for online verification-validation. | Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn |
| 2015 | ESOP | Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages. | Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival |
| 2015 | LPAR | Abstract Domains and Solvers for Sets Reasoning. | Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival |
| 2015 | OOPSLA | Selective control-flow abstraction via jumping. | Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan |
| 2015 | PLDI | Droidel: a general approach to Android framework modeling. | Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang |
| 2015 | SAS | Shape Analysis for Unstructured Sharing. | Huisong Li, Xavier Rival, Bor-Yuh Evan Chang |
| 2014 | CAV | QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers. | Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan |
| 2014 | CHI | Android apps consistency scrutinized. | Khalid Alharbi, Sam Blackshear, Emily Kowalczyk, Atif M. Memon, Bor-Yuh Evan Chang, Tom Yeh |
| 2014 | ISoLA | Construction of Abstract Domains for Heterogeneous Properties (Position Paper). | Xavier Rival, Antoine Toubhans, Bor-Yuh Evan Chang |
| 2014 | POPL | Fissile type analysis: modular checking of almost everywhere invariants. | Devin Coughlin, Bor-Yuh Evan Chang |
| 2014 | SAS | Automatic Analysis of Open Objects in Dynamic Language Programs. | Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival |
| 2014 | SAS | An Abstract Domain Combinator for Separately Conjoining Memory Abstractions. | Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival |
| 2014 | VMCAI | Refuting Heap Reachability. | Bor-Yuh Evan Chang |
| 2013 | ECOOP | QUIC Graphs: Relational Invariant Generation for Containers. | Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan |
| 2013 | PLDI | Thresher: precise refutations for heap reachability. | Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan |
| 2013 | VMCAI | Reduced Product Combination of Abstract Domains for Shapes. | Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival |
| 2012 | ISSTA | Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say. | Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek |
| 2012 | SAS | Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). | Alejandro Snchez, Sriram Sankaranarayanan, Csar Snchez, Bor-Yuh Evan Chang |
| 2012 | TACAS | A Bit Too Precise? Bounded Verification of Quantized Digital Filters. | Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang |
| 2011 | POPL | Calling context abstraction with shapes. | Xavier Rival, Bor-Yuh Evan Chang |
| 2011 | SAS | The Flow-Insensitive Precision of Andersen's Analysis in Practice. | Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan |
| 2011 | VMCAI | Access Nets: Modeling Access to Physical Spaces. | Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan |
| 2010 | ESOP | Separating Shape Graphs. | Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival |
| 2010 | PLDI | Mixing type checking and symbolic execution. | Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster |
| 2008 | POPL | Relational inductive shape analysis. | Bor-Yuh Evan Chang, Xavier Rival |
| 2007 | SAS | Shape Analysis with Structural Invariant Checkers. | Bor-Yuh Evan Chang, Xavier Rival, George C. Necula |
| 2006 | SAS | Analysis of Low-Level Code Using Cooperating Decompilers. | Bor-Yuh Evan Chang, Matthew Harren, George C. Necula |
| 2006 | VMCAI | A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety. | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula |
| 2005 | VMCAI | Abstract Interpretation with Alien Expressions and Heap Structures. | Bor-Yuh Evan Chang, K. Rustan M. Leino |