Bor-Yuh Evan Chang

According to our database, Bor-Yuh Evan Chang authored at least 64 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Interactive Abstract Interpretation with Demanded Summarization.

Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan

ACM Trans. Program. Lang. Syst., March, 2024

2023

Historia: Refuting Callback Reachability with Message-History Logics.

Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang

Proc. ACM Program. Lang., October, 2023

Historia: Refuting Callback Reachability with Message-History Logics (Extended Version).

Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang

CoRR, 2023

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

Proceedings of the Static Analysis - 30th International Symposium, 2023

2022

Differential cost analysis with simultaneous potentials and anti-potentials.

Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Demanded Abstract Interpretation (Extended Version).

Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan

CoRR, 2021

Selectively-Amortized Resource Bounding.

Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi

Proceedings of the Static Analysis - 28th International Symposium, 2021

Demanded abstract interpretation.

Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Shape Analysis.

Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival

Found. Trends Program. Lang., 2020

2019

Static analysis with demand-driven value refinement.

Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, Anders Møller

Proc. ACM Program. Lang., 2019

Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact).

Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang

Dagstuhl Artifacts Ser., 2019

Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version).

Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang

CoRR, 2019

Type-Directed Bounding of Collections in Reactive Programs.

Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Lifestate: Event-Driven Protocols and Callback Control Flow.

Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

Mining framework usage graphs from app corpora.

Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, Bor-Yuh Evan Chang

Proceedings of the 25th International Conference on Software Analysis, 2018

Safe stream-based programming with refinement types.

Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

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ý

Proceedings of the 40th International Conference on Software Engineering, 2018

Differential Performance Debugging With Discriminant Regression Trees.

Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Memory Abstraction, Emerging Techniques and Applications (NII Shonan Meeting 2017-12).

Bor-Yuh Evan Chang, Xavier Rival, Sukyoung Ryu

NII Shonan Meet. Rep., 2017

Learning Asynchronous Typestates for Android Classes.

Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný

CoRR, 2017

Abstracting Event-Driven Systems with Lifestate Rules.

Shawn Meier, Aleksandar Chakarov, Maxwell Russek, Sergio Mover, Bor-Yuh Evan Chang

CoRR, 2017

Discriminating Traces with Time.

Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Semantic-directed clumping of disjunctive abstract states.

Huisong Li, Francois Berenger, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

ChimpCheck: property-based randomized test generation for interactive apps.

Edmund S. L. Lam, Peilun Zhang, Bor-Yuh Evan Chang

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2016

A vision for online verification-validation.

Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

2015

Synthesizing Short-Circuiting Validation of Data Structure Invariants.

Yi-Fan Tsai, Devin Coughlin, Bor-Yuh Evan Chang, Xavier Rival

CoRR, 2015

In defense of soundiness: a manifesto.

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

Commun. ACM, 2015

Shape Analysis for Unstructured Sharing.

Huisong Li, Xavier Rival, Bor-Yuh Evan Chang

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Droidel: a general approach to Android framework modeling.

Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang

Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2015

Selective control-flow abstraction via jumping.

Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Abstract Domains and Solvers for Sets Reasoning.

Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages.

Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Programming Languages and Systems, 2015

2014

A bit too precise? Verification of quantized digital filters.

Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang

Int. J. Softw. Tools Technol. Transf., 2014

Refuting Heap Reachability.

Bor-Yuh Evan Chang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

An Abstract Domain Combinator for Separately Conjoining Memory Abstractions.

Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Static Analysis - 21st International Symposium, 2014

Automatic Analysis of Open Objects in Dynamic Language Programs.

Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Static Analysis - 21st International Symposium, 2014

Fissile type analysis: modular checking of almost everywhere invariants.

Devin Coughlin, Bor-Yuh Evan Chang

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Construction of Abstract Domains for Heterogeneous Properties (Position Paper).

Xavier Rival, Antoine Toubhans, Bor-Yuh Evan Chang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Android apps consistency scrutinized.

Khalid Alharbi, Sam Blackshear, Emily Kowalczyk, Atif M. Memon, Bor-Yuh Evan Chang, Tom Yeh

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers.

Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Preface.

Bor-Yuh Evan Chang

Proceedings of the Fourth Workshop on Tools for Automatic Program Analysis, 2013

Modular Construction of Shape-Numeric Analyzers.

Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Semantics, 2013

Reduced Product Combination of Abstract Domains for Shapes.

Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Verification, 2013

Thresher: precise refutations for heap reachability.

Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

QUIC Graphs: Relational Invariant Generation for Containers.

Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

A Bit Too Precise? Bounded Verification of Quantized Digital Filters.

Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).

Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang

Proceedings of the Static Analysis - 19th International Symposium, 2012

Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say.

Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek

Proceedings of the International Symposium on Software Testing and Analysis, 2012

2011

Access Nets: Modeling Access to Physical Spaces.

Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

The Flow-Insensitive Precision of Andersen's Analysis in Practice.

Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan

Proceedings of the Static Analysis - 18th International Symposium, 2011

Calling context abstraction with shapes.

Xavier Rival, Bor-Yuh Evan Chang

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2010

Mixing type checking and symbolic execution.

Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Separating Shape Graphs.

Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Programming Languages and Systems, 2010

2008

Relational inductive shape analysis.

Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007

Shape Analysis with Structural Invariant Checkers.

Bor-Yuh Evan Chang, Xavier Rival, George C. Necula

Proceedings of the Static Analysis, 14th International Symposium, 2007

2006

A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety.

Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula

Proceedings of the Verification, 2006

Analysis of Low-Level Code Using Cooperating Decompilers.

Bor-Yuh Evan Chang, Matthew Harren, George C. Necula

Proceedings of the Static Analysis, 13th International Symposium, 2006

2005

Inferring Object Invariants: Extended Abstract.

Bor-Yuh Evan Chang, K. Rustan M. Leino

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Abstract Interpretation with Alien Expressions and Heap Structures.

Bor-Yuh Evan Chang, K. Rustan M. Leino

Proceedings of the Verification, 2005

Type-based verification of assembly language for compiler debugging.

Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

The open verifier framework for foundational verifiers.

Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

Boogie: A Modular Reusable Verifier for Object-Oriented Programs.

Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2003

PML: Toward a High-Level Formal Language for Biological Systems.

Bor-Yuh Evan Chang, Manu Sridharan

Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003

2002

Trustless Grid Computing in ConCert.

Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning

Proceedings of the Grid Computing, 2002