Bor-Yuh Evan Chang

According to our database1, Bor-Yuh Evan Chang authored at least 56 papers between 2002 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Shape Analysis.
Found. Trends Program. Lang., 2020

2019
Static analysis with demand-driven value refinement.
Proc. ACM Program. Lang., 2019

Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact).
Dagstuhl Artifacts Ser., 2019

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

Type-Directed Bounding of Collections in Reactive Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Lifestate: Event-Driven Protocols and Callback Control Flow.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018
Mining framework usage graphs from app corpora.
Proceedings of the 25th International Conference on Software Analysis, 2018

Safe stream-based programming with refinement types.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

DroidStar: callback typestates for Android classes.
Proceedings of the 40th International Conference on Software Engineering, 2018

Differential Performance Debugging With Discriminant Regression Trees.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

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

Learning Asynchronous Typestates for Android Classes.
CoRR, 2017

Abstracting Event-Driven Systems with Lifestate Rules.
CoRR, 2017

Discriminating Traces with Time.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Semantic-directed clumping of disjunctive abstract states.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

ChimpCheck: property-based randomized test generation for interactive apps.
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2016
A vision for online verification-validation.
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

2015
Preface.
Electron. Notes Theor. Comput. Sci., 2015

Synthesizing Short-Circuiting Validation of Data Structure Invariants.
CoRR, 2015

In defense of soundiness: a manifesto.
Commun. ACM, 2015

Shape Analysis for Unstructured Sharing.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Droidel: a general approach to Android framework modeling.
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2015

Selective control-flow abstraction via jumping.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Abstract Domains and Solvers for Sets Reasoning.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages.
Proceedings of the Programming Languages and Systems, 2015

2014
A bit too precise? Verification of quantized digital filters.
Int. J. Softw. Tools Technol. Transf., 2014

Refuting Heap Reachability.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

An Abstract Domain Combinator for Separately Conjoining Memory Abstractions.
Proceedings of the Static Analysis - 21st International Symposium, 2014

Automatic Analysis of Open Objects in Dynamic Language Programs.
Proceedings of the Static Analysis - 21st International Symposium, 2014

Fissile type analysis: modular checking of almost everywhere invariants.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Construction of Abstract Domains for Heterogeneous Properties (Position Paper).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Android apps consistency scrutinized.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Modular Construction of Shape-Numeric Analyzers.
Proceedings of the Semantics, 2013

Reduced Product Combination of Abstract Domains for Shapes.
Proceedings of the Verification, 2013

Thresher: precise refutations for heap reachability.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

QUIC Graphs: Relational Invariant Generation for Containers.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012
A Bit Too Precise? Bounded Verification of Quantized Digital Filters.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).
Proceedings of the Static Analysis - 19th International Symposium, 2012

Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

2011
Access Nets: Modeling Access to Physical Spaces.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

The Flow-Insensitive Precision of Andersen's Analysis in Practice.
Proceedings of the Static Analysis - 18th International Symposium, 2011

Calling context abstraction with shapes.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2010
Mixing type checking and symbolic execution.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Separating Shape Graphs.
Proceedings of the Programming Languages and Systems, 2010

2008
Relational inductive shape analysis.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007
PML: Toward a High-Level Formal Language for Biological Systems.
Electron. Notes Theor. Comput. Sci., 2007

Shape Analysis with Structural Invariant Checkers.
Proceedings of the Static Analysis, 14th International Symposium, 2007

2006
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety.
Proceedings of the Verification, 2006

Analysis of Low-Level Code Using Cooperating Decompilers.
Proceedings of the Static Analysis, 13th International Symposium, 2006

2005
Inferring Object Invariants: Extended Abstract.
Electron. Notes Theor. Comput. Sci., 2005

Abstract Interpretation with Alien Expressions and Heap Structures.
Proceedings of the Verification, 2005

Type-based verification of assembly language for compiler debugging.
Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

The open verifier framework for foundational verifiers.
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.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2002
Trustless Grid Computing in ConCert.
Proceedings of the Grid Computing, 2002


  Loading...