Bor-Yuh Evan Chang

78 papers A* 12A 9B 19Journal 24Unranked 13

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