Bor-Yuh Evan Chang

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 33

Top Topics

Abstract Interpretation

Discriminating Features

Case Based Reasoner

Top Venues

Publications

Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
Interactive Abstract Interpretation with Demanded Summarization. ACM Trans. Program. Lang. Syst. 46 (1) (2024)
Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang
Lifting On-Demand Analysis to Higher-Order Languages. SAS (2023)
Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang
Historia: Refuting Callback Reachability with Message-History Logics. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version). CoRR (2023)
Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
Differential cost analysis with simultaneous potentials and anti-potentials. PLDI (2022)
Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials. CoRR (2022)
Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi
Selectively-Amortized Resource Bounding. SAS (2021)
Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
Demanded Abstract Interpretation (Extended Version). CoRR (2021)
Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan
Demanded abstract interpretation. PLDI (2021)
Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi
Selectively-Amortized Resource Bounding. CoRR (2021)
Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival
Shape Analysis. Found. Trends Program. Lang. 6 (1-2) (2020)
Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
Type-Directed Bounding of Collections in Reactive Programs. VMCAI (2019)
Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang
Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, Anders Møller
Static analysis with demand-driven value refinement. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang
Lifestate: Event-Driven Protocols and Callback Control Flow. ECOOP (2019)
Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang
Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version). CoRR (2019)
Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang
Safe stream-based programming with refinement types. ASE (2018)
Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, Bor-Yuh Evan Chang
Mining framework usage graphs from app corpora. SANER (2018)
Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang
Safe Stream-Based Programming with Refinement Types. CoRR (2018)
Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
Type-directed Bounding of Collections in Reactive Programs. CoRR (2018)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
DroidStar: callback typestates for Android classes. ICSE (2018)
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
Differential Performance Debugging With Discriminant Regression Trees. AAAI (2018)
Edmund S. L. Lam, Peilun Zhang, Bor-Yuh Evan Chang
ChimpCheck: property-based randomized test generation for interactive apps. Onward! (2017)
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
Discriminating Traces with Time. CoRR (2017)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
Learning Asynchronous Typestates for Android Classes. CoRR (2017)
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi
Differential Performance Debugging with Discriminant Regression Trees. CoRR (2017)
Bor-Yuh Evan Chang, Xavier Rival, Sukyoung Ryu
Memory Abstraction, Emerging Techniques and Applications (NII Shonan Meeting 2017-12). NII Shonan Meet. Rep. 2017 (2017)
Shawn Meier, Aleksandar Chakarov, Maxwell Russek, Sergio Mover, Bor-Yuh Evan Chang
Abstracting Event-Driven Systems with Lifestate Rules. CoRR (2017)
Edmund S. L. Lam, Peilun Zhang, Bor-Yuh Evan Chang
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps. CoRR (2017)
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
Discriminating Traces with Time. TACAS (2) (2017)
Huisong Li, Francois Berenger, Bor-Yuh Evan Chang, Xavier Rival
Semantic-directed clumping of disjunctive abstract states. POPL (2017)
Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn
A vision for online verification-validation. GPCE (2016)
Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn
A Vision for Online Verification-Validation. CoRR (2016)
Bor-Yuh Evan Chang
Preface. Electron. Notes Theor. Comput. Sci. 311 (2015)
Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages. ESOP (2015)
Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival
Abstract Domains and Solvers for Sets Reasoning. LPAR (2015)
Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan
Selective control-flow abstraction via jumping. OOPSLA (2015)
Huisong Li, Xavier Rival, Bor-Yuh Evan Chang
Shape Analysis for Unstructured Sharing. SAS (2015)
Yi-Fan Tsai, Devin Coughlin, Bor-Yuh Evan Chang, Xavier Rival
Synthesizing Short-Circuiting Validation of Data Structure Invariants. CoRR (2015)
Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondrej Lhoták, José Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, Dimitrios Vardoulakis
In defense of soundiness: a manifesto. Commun. ACM 58 (2) (2015)
Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang
Droidel: a general approach to Android framework modeling. SOAP@PLDI (2015)
Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions. SAS (2014)
Xavier Rival, Antoine Toubhans, Bor-Yuh Evan Chang
Construction of Abstract Domains for Heterogeneous Properties (Position Paper). ISoLA (2) (2014)
Devin Coughlin, Bor-Yuh Evan Chang
Fissile type analysis: modular checking of almost everywhere invariants. POPL (2014)
Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
Automatic Analysis of Open Objects in Dynamic Language Programs. SAS (2014)
Khalid Alharbi, Sam Blackshear, Emily Kowalczyk, Atif M. Memon, Bor-Yuh Evan Chang, Tom Yeh
Android apps consistency scrutinized. CHI Extended Abstracts (2014)
Bor-Yuh Evan Chang
Refuting Heap Reachability. VMCAI (2014)
Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers. CAV (2014)
Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang
A bit too precise? Verification of quantized digital filters. Int. J. Softw. Tools Technol. Transf. 16 (2) (2014)
Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival
Reduced Product Combination of Abstract Domains for Shapes. VMCAI (2013)
Bor-Yuh Evan Chang, Xavier Rival
Modular Construction of Shape-Numeric Analyzers. Festschrift for Dave Schmidt (2013)
Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
QUIC Graphs: Relational Invariant Generation for Containers. ECOOP (2013)
Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan
Thresher: precise refutations for heap reachability. PLDI (2013)
Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). SAS (2012)
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say. ISSTA (2012)
Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang
A Bit Too Precise? Bounded Verification of Quantized Digital Filters. TACAS (2012)
Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan
The Flow-Insensitive Precision of Andersen's Analysis in Practice. SAS (2011)
Xavier Rival, Bor-Yuh Evan Chang
Calling context abstraction with shapes. POPL (2011)
Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
Access Nets: Modeling Access to Physical Spaces. VMCAI (2011)
Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival
Separating Shape Graphs. ESOP (2010)
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster
Mixing type checking and symbolic execution. PLDI (2010)
Bor-Yuh Evan Chang, Xavier Rival
Relational inductive shape analysis. POPL (2008)
Bor-Yuh Evan Chang, Manu Sridharan
PML: Toward a High-Level Formal Language for Biological Systems. Electron. Notes Theor. Comput. Sci. 180 (3) (2007)
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
Shape Analysis with Structural Invariant Checkers. SAS (2007)
Bor-Yuh Evan Chang, Matthew Harren, George C. Necula
Analysis of Low-Level Code Using Cooperating Decompilers. SAS (2006)
Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety. VMCAI (2006)
Bor-Yuh Evan Chang, K. Rustan M. Leino
Abstract Interpretation with Alien Expressions and Heap Structures. VMCAI (2005)
Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck
The open verifier framework for foundational verifiers. TLDI (2005)
Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck
Type-based verification of assembly language for compiler debugging. TLDI (2005)
Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino
Boogie: A Modular Reusable Verifier for Object-Oriented Programs. FMCO (2005)
Bor-Yuh Evan Chang, K. Rustan M. Leino
Inferring Object Invariants: Extended Abstract. Electron. Notes Theor. Comput. Sci. 131 (2005)
Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning
Trustless Grid Computing in ConCert. GRID (2002)