![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Bor-Yuh Evan Chang
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j7]Benno Stein
, Bor-Yuh Evan Chang
, Manu Sridharan
:
Interactive Abstract Interpretation with Demanded Summarization. ACM Trans. Program. Lang. Syst. 46(1): 4:1-4:40 (2024) - 2023
- [j6]Shawn Meier
, Sergio Mover
, Gowtham Kaki
, Bor-Yuh Evan Chang
:
Historia: Refuting Callback Reachability with Message-History Logics. Proc. ACM Program. Lang. 7(OOPSLA2): 1905-1934 (2023) - [c50]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: 460-484 - [i15]Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang:
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version). CoRR abs/2309.04464 (2023) - 2022
- [c49]Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
:
Differential cost analysis with simultaneous potentials and anti-potentials. PLDI 2022: 442-457 - [i14]Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
:
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials. CoRR abs/2204.00870 (2022) - 2021
- [c48]Benno Stein, Bor-Yuh Evan Chang
, Manu Sridharan
:
Demanded abstract interpretation. PLDI 2021: 282-295 - [c47]Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Selectively-Amortized Resource Bounding. SAS 2021: 286-307 - [i13]Benno Stein, Bor-Yuh Evan Chang, Manu Sridharan:
Demanded Abstract Interpretation (Extended Version). CoRR abs/2104.01270 (2021) - [i12]Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Selectively-Amortized Resource Bounding. CoRR abs/2108.08263 (2021) - 2020
- [j5]Bor-Yuh Evan Chang
, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival:
Shape Analysis. Found. Trends Program. Lang. 6(1-2): 1-158 (2020)
2010 – 2019
- 2019
- [j4]Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang:
Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact). Dagstuhl Artifacts Ser. 5(2): 13:1-13:3 (2019) - [j3]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): 140:1-140:29 (2019) - [c46]Shawn Meier
, Sergio Mover
, Bor-Yuh Evan Chang
:
Lifestate: Event-Driven Protocols and Callback Control Flow. ECOOP 2019: 1:1-1:29 - [c45]Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Type-Directed Bounding of Collections in Reactive Programs. VMCAI 2019: 275-296 - [e3]Bor-Yuh Evan Chang:
Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Lecture Notes in Computer Science 11822, Springer 2019, ISBN 978-3-030-32303-5 [contents] - [i11]Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang:
Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version). CoRR abs/1906.04924 (2019) - 2018
- [c44]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang
, Ashutosh Trivedi:
Differential Performance Debugging With Discriminant Regression Trees. AAAI 2018: 2468-2475 - [c43]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: 1160-1170 - [c42]Benno Stein, Lazaro Clapp, Manu Sridharan
, Bor-Yuh Evan Chang
:
Safe stream-based programming with refinement types. ASE 2018: 565-576 - [c41]Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, Bor-Yuh Evan Chang
:
Mining framework usage graphs from app corpora. SANER 2018: 277-289 - [i10]Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang:
Safe Stream-Based Programming with Refinement Types. CoRR abs/1808.02998 (2018) - [i9]Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Type-directed Bounding of Collections in Reactive Programs. CoRR abs/1810.10443 (2018) - 2017
- [c40]Edmund S. L. Lam, Peilun Zhang, Bor-Yuh Evan Chang
:
ChimpCheck: property-based randomized test generation for interactive apps. Onward! 2017: 58-77 - [c39]Huisong Li, Francois Berenger
, Bor-Yuh Evan Chang
, Xavier Rival:
Semantic-directed clumping of disjunctive abstract states. POPL 2017: 32-45 - [c38]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi:
Discriminating Traces with Time. TACAS (2) 2017: 21-37 - [e2]Bor-Yuh Evan Chang:
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings. Lecture Notes in Computer Science 10695, Springer 2017, ISBN 978-3-319-71236-9 [contents] - [i8]Shawn Meier, Aleksandar Chakarov, Maxwell Russek, Sergio Mover, Bor-Yuh Evan Chang:
Abstracting Event-Driven Systems with Lifestate Rules. CoRR abs/1701.00161 (2017) - [i7]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 abs/1701.07842 (2017) - [i6]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi:
Discriminating Traces with Time. CoRR abs/1702.07103 (2017) - [i5]Edmund S. L. Lam, Peilun Zhang, Bor-Yuh Evan Chang:
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps. CoRR abs/1708.08613 (2017) - [i4]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Differential Performance Debugging with Discriminant Regression Trees. CoRR abs/1711.04076 (2017) - [i3]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) - 2016
- [c37]Matthew A. Hammer, Bor-Yuh Evan Chang
, David Van Horn
:
A vision for online verification-validation. GPCE 2016: 190-201 - [i2]Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn:
A Vision for Online Verification-Validation. CoRR abs/1608.06012 (2016) - 2015
- [j2]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): 44-46 (2015) - [c36]Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival:
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages. ESOP 2015: 483-509 - [c35]Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival:
Abstract Domains and Solvers for Sets Reasoning. LPAR 2015: 356-371 - [c34]Sam Blackshear, Bor-Yuh Evan Chang
, Manu Sridharan
:
Selective control-flow abstraction via jumping. OOPSLA 2015: 163-182 - [c33]Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang
:
Droidel: a general approach to Android framework modeling. SOAP@PLDI 2015: 19-25 - [c32]Huisong Li, Xavier Rival, Bor-Yuh Evan Chang:
Shape Analysis for Unstructured Sharing. SAS 2015: 90-108 - [e1]Bor-Yuh Evan Chang:
Fourth Workshop on Tools for Automatic Program Analysis, TAPAS@SAS 2013, Seattle, Washington, USA, June 19, 2013. Electronic Notes in Theoretical Computer Science 311, Elsevier 2015 [contents] - [i1]Yi-Fan Tsai, Devin Coughlin, Bor-Yuh Evan Chang, Xavier Rival:
Synthesizing Short-Circuiting Validation of Data Structure Invariants. CoRR abs/1511.04846 (2015) - 2014
- [j1]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): 175-190 (2014) - [c31]Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan:
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers. CAV 2014: 866-873 - [c30]Khalid Alharbi, Sam Blackshear, Emily Kowalczyk, Atif M. Memon, Bor-Yuh Evan Chang
, Tom Yeh:
Android apps consistency scrutinized. CHI Extended Abstracts 2014: 2347-2352 - [c29]Xavier Rival, Antoine Toubhans, Bor-Yuh Evan Chang:
Construction of Abstract Domains for Heterogeneous Properties (Position Paper). ISoLA (2) 2014: 489-492 - [c28]Devin Coughlin, Bor-Yuh Evan Chang
:
Fissile type analysis: modular checking of almost everywhere invariants. POPL 2014: 73-86 - [c27]Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival:
Automatic Analysis of Open Objects in Dynamic Language Programs. SAS 2014: 134-150 - [c26]Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival:
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions. SAS 2014: 285-301 - [c25]Bor-Yuh Evan Chang:
Refuting Heap Reachability. VMCAI 2014: 137-141 - 2013
- [c24]Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan:
QUIC Graphs: Relational Invariant Generation for Containers. ECOOP 2013: 401-425 - [c23]Sam Blackshear, Bor-Yuh Evan Chang
, Manu Sridharan
:
Thresher: precise refutations for heap reachability. PLDI 2013: 275-286 - [c22]Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival:
Reduced Product Combination of Abstract Domains for Shapes. VMCAI 2013: 375-395 - [c21]Bor-Yuh Evan Chang
, Xavier Rival:
Modular Construction of Shape-Numeric Analyzers. Festschrift for Dave Schmidt 2013: 161-185 - [c20]Bor-Yuh Evan Chang:
Preface. TAPAS@SAS 2013: 1-2 - 2012
- [c19]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: 276-286 - [c18]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: 146-163 - [c17]Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang:
A Bit Too Precise? Bounded Verification of Quantized Digital Filters. TACAS 2012: 33-47 - 2011
- [c16]Xavier Rival, Bor-Yuh Evan Chang
:
Calling context abstraction with shapes. POPL 2011: 173-186 - [c15]Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan
:
The Flow-Insensitive Precision of Andersen's Analysis in Practice. SAS 2011: 60-76 - [c14]Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan:
Access Nets: Modeling Access to Physical Spaces. VMCAI 2011: 184-198 - 2010
- [c13]Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival:
Separating Shape Graphs. ESOP 2010: 387-406 - [c12]Yit Phang Khoo, Bor-Yuh Evan Chang
, Jeffrey S. Foster:
Mixing type checking and symbolic execution. PLDI 2010: 436-447
2000 – 2009
- 2008
- [c11]Bor-Yuh Evan Chang
, Xavier Rival:
Relational inductive shape analysis. POPL 2008: 247-260 - 2007
- [c10]Bor-Yuh Evan Chang, Xavier Rival, George C. Necula:
Shape Analysis with Structural Invariant Checkers. SAS 2007: 384-401 - 2006
- [c9]Bor-Yuh Evan Chang, Matthew Harren, George C. Necula:
Analysis of Low-Level Code Using Cooperating Decompilers. SAS 2006: 318-335 - [c8]Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula:
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety. VMCAI 2006: 174-189 - 2005
- [c7]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: 364-387 - [c6]Bor-Yuh Evan Chang
, Adam Chlipala, George C. Necula, Robert R. Schneck:
The open verifier framework for foundational verifiers. TLDI 2005: 1-12 - [c5]Bor-Yuh Evan Chang
, Adam Chlipala, George C. Necula, Robert R. Schneck:
Type-based verification of assembly language for compiler debugging. TLDI 2005: 91-102 - [c4]Bor-Yuh Evan Chang, K. Rustan M. Leino:
Abstract Interpretation with Alien Expressions and Heap Structures. VMCAI 2005: 147-163 - [c3]Bor-Yuh Evan Chang
, K. Rustan M. Leino:
Inferring Object Invariants: Extended Abstract. AIOOL@VMCAI 2005: 63-74 - 2003
- [c2]Bor-Yuh Evan Chang
, Manu Sridharan
:
PML: Toward a High-Level Formal Language for Biological Systems. BioConcur@CONCUR 2003: 15-30 - 2002
- [c1]Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning:
Trustless Grid Computing in ConCert. GRID 2002: 112-125
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint