Personal information

Emails & domains

Verified email addresses

Verified email domains

Websites & social links

Website

Activities

Collapse all

Employment (2)

University of Colorado Boulder: Boulder, Colorado, US

2017-07 to present | Associate Professor (Computer Science)
Employment
Source: Self-asserted source
Bor-Yuh Evan Chang

University of Colorado Boulder: Boulder, Colorado, US

2009-01 to 2017-06 | Assistant Professor (Computer Science)
Employment
Source: Self-asserted source
Bor-Yuh Evan Chang

Education and qualifications (4)

University of Maryland, College Park: College Park, Maryland, US

2008-08 to 2008-12 | Postdoc (Computer Science)
Education
Source: Self-asserted source
Bor-Yuh Evan Chang

University of California, Berkeley: Berkeley, California, US

2002-08 to 2008-08 | Ph.D. (Computer Science)
Education
Source: Self-asserted source
Bor-Yuh Evan Chang

University of California, Berkeley: Berkeley, California, US

2002-08 to 2005-05 | M.S. (Computer Science)
Education
Source: Self-asserted source
Bor-Yuh Evan Chang

Carnegie Mellon University: Pittsburgh, Pennsylvania, US

1998-08 to 2002-05 | B.S. (Computer Science)
Education
Source: Self-asserted source
Bor-Yuh Evan Chang

Professional activities (1)

National Science Foundation: Alexandria, VA, US

2011 | CAREER Award
Distinction
Source: Self-asserted source
Bor-Yuh Evan Chang

Funding (8)

IUCRC Proposal Phase I University of Colorado Boulder: Center for Pervasive Personalized Intelligence (PPI)

2020-06-01 to 2025-05-31 | Grant
Directorate for Computer & Information Science & Engineering (Arlington, US)
URL: https://app.dimensions.ai/details/grant/grant.9213968
GRANT_NUMBER: 1941898
Source: Self-asserted source
Bor-Yuh Evan Chang via DimensionsWizard

SHF: Small: Programming with Semantic Revision Requests

2020-06-01 to 2023-05-31 | Grant
Directorate for Computer & Information Science & Engineering (Arlington, US)
URL: https://app.dimensions.ai/details/grant/grant.9215139
GRANT_NUMBER: 2008369
Source: Self-asserted source
Bor-Yuh Evan Chang via DimensionsWizard

IUCRC Planning University of Colorado Boulder: Center for Pervasive Personalized Intelligence (PPI)

2018-08-01 to 2019-07-31 | Grant
Directorate for Computer & Information Science & Engineering (Arlington, US)
URL: https://app.dimensions.ai/details/grant/grant.7704780
GRANT_NUMBER: 1822135
Source: Self-asserted source
Bor-Yuh Evan Chang via DimensionsWizard

SHF: Small: Collaborative Research: Online Verification-Validation

2016-09-01 to 2020-08-31 | Grant
Directorate for Computer & Information Science & Engineering (Arlington, US)
URL: https://app.dimensions.ai/details/grant/grant.5126016
GRANT_NUMBER: 1619282
Source: Self-asserted source
Bor-Yuh Evan Chang via DimensionsWizard

SHF: Small: Modular Reflection

2012-10-01 to 2016-09-30 | Grant
Directorate for Computer & Information Science & Engineering (Arlington, US)
URL: https://app.dimensions.ai/details/grant/grant.3479629
GRANT_NUMBER: 1218208
Source: Self-asserted source
Bor-Yuh Evan Chang via DimensionsWizard

CAREER: Cooperative Program Analysis: Bridging the Gap Between User and Tool Reasoning

2011-06-01 to 2018-05-31 | Grant
Directorate for Computer & Information Science & Engineering (Arlington, US)
URL: https://app.dimensions.ai/details/grant/grant.3121636
GRANT_NUMBER: 1055066
Source: Self-asserted source
Bor-Yuh Evan Chang via DimensionsWizard

Funding to Support Student Attendees to POPL 2011

2010-09-01 to 2011-08-31 | Grant
Directorate for Computer & Information Science & Engineering (Arlington, US)
URL: https://app.dimensions.ai/details/grant/grant.3122187
GRANT_NUMBER: 1058624
Source: Self-asserted source
Bor-Yuh Evan Chang via DimensionsWizard

EAGER: Exploratory Research on Gradual Programming

2009-08-01 to 2011-07-31 | Grant
Directorate for Computer & Information Science & Engineering (Arlington, US)
URL: https://app.dimensions.ai/details/grant/grant.3106989
GRANT_NUMBER: 0939991
Source: Self-asserted source
Bor-Yuh Evan Chang via DimensionsWizard

Works (50 of 54)

Items per page:
Page 1 of 2

Interactive Abstract Interpretation with Demanded Summarization

ACM Transactions on Programming Languages and Systems
2024-03-31 | Journal article
DOI: 10.1145/3648441
Contributors: Benno Stein; Bor-Yuh Evan Chang; Manu Sridharan
Source: check_circle
Crossref

Lifting On-Demand Analysis to Higher-Order Languages

2023 | Book chapter
DOI: 10.1007/978-3-031-44245-2_20
Contributors: Daniel Schoepe; David Seekatz; Ilina Stoilkovska; Sandro Stucki; Daniel Tattersall; Pauline Bolignano; Franco Raimondi; Bor-Yuh Evan Chang
Source: check_circle
Crossref

Historia: Refuting Callback Reachability with Message-History Logics

Proceedings of the ACM on Programming Languages
2023-10-16 | Journal article
DOI: 10.1145/3622865
Contributors: Shawn Meier; Sergio Mover; Gowtham Kaki; Bor-Yuh Evan Chang
Source: check_circle
Crossref

Demanded abstract interpretation

PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021
2021 | Conference paper
DOI: 10.1145/3453483.3454044
Source: Self-asserted source
Bor-Yuh Evan Chang
grade
Preferred source (of 2)‎

Selectively-Amortized Resource Bounding

Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings
2021 | Conference paper
DOI: 10.1007/978-3-030-88806-0\_14
Source: Self-asserted source
Bor-Yuh Evan Chang

Shape Analysis

Found. Trends Program. Lang.
2020 | Journal article
DOI: 10.1561/2500000037
Source: Self-asserted source
Bor-Yuh Evan Chang

Lifestate: Event-Driven Protocols and Callback Control Flow

33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom
2019 | Conference paper
DOI: 10.4230/LIPIcs.ECOOP.2019.1
Source: Self-asserted source
Bor-Yuh Evan Chang

Static analysis with demand-driven value refinement

Proc. ACM Program. Lang.
2019 | Journal article
DOI: 10.1145/3360566
Source: Self-asserted source
Bor-Yuh Evan Chang

Type-Directed Bounding of Collections in Reactive Programs

Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
2019 | Conference paper
DOI: 10.1007/978-3-030-11245-5\_13
Source: Self-asserted source
Bor-Yuh Evan Chang

Differential Performance Debugging With Discriminant Regression Trees

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018
2018 | Conference paper
URI:

https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16647
Source: Self-asserted source
Bor-Yuh Evan Chang

DroidStar: callback typestates for Android classes

Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018
2018 | Conference paper
DOI: 10.1145/3180155.3180232
Source: Self-asserted source
Bor-Yuh Evan Chang

Mining framework usage graphs from app corpora

25th International Conference on Software Analysis, Evolution and Reengineering, SANER 2018, Campobasso, Italy, March 20-23, 2018
2018 | Conference paper
DOI: 10.1109/SANER.2018.8330216
Source: Self-asserted source
Bor-Yuh Evan Chang

Safe stream-based programming with refinement types

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018
2018 | Conference paper
DOI: 10.1145/3238147.3238174
Source: Self-asserted source
Bor-Yuh Evan Chang

ChimpCheck: property-based randomized test generation for interactive apps

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017
2017 | Conference paper
DOI: 10.1145/3133850.3133853
Source: Self-asserted source
Bor-Yuh Evan Chang

Discriminating Traces with Time

Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
2017 | Conference paper
DOI: 10.1007/978-3-662-54580-5\_2
Source: Self-asserted source
Bor-Yuh Evan Chang

Semantic-directed clumping of disjunctive abstract states

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017
2017 | Conference paper
DOI: 10.1145/3009837.3009881
Source: Self-asserted source
Bor-Yuh Evan Chang

A vision for online verification-validation

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, Amsterdam, The Netherlands, October 31 - November 1, 2016
2016 | Conference paper
DOI: 10.1145/2993236.2993255
Source: Self-asserted source
Bor-Yuh Evan Chang

Abstract Domains and Solvers for Sets Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
2015 | Conference paper
DOI: 10.1007/978-3-662-48899-7\_25
Source: Self-asserted source
Bor-Yuh Evan Chang

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages

Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings
2015 | Conference paper
DOI: 10.1007/978-3-662-46669-8\_20
Source: Self-asserted source
Bor-Yuh Evan Chang

Droidel: a general approach to Android framework modeling

Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA, June 15 - 17, 2015
2015 | Conference paper
DOI: 10.1145/2771284.2771288
Source: Self-asserted source
Bor-Yuh Evan Chang

In defense of soundiness: a manifesto

Commun. ACM
2015 | Journal article
DOI: 10.1145/2644805
Source: Self-asserted source
Bor-Yuh Evan Chang

Selective control-flow abstraction via jumping

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015
2015 | Conference paper
DOI: 10.1145/2814270.2814293
Source: Self-asserted source
Bor-Yuh Evan Chang

Shape Analysis for Unstructured Sharing

Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
2015 | Conference paper
DOI: 10.1007/978-3-662-48288-9\_6
Source: Self-asserted source
Bor-Yuh Evan Chang

A bit too precise? Verification of quantized digital filters

Int. J. Softw. Tools Technol. Transf.
2014 | Journal article
DOI: 10.1007/s10009-013-0279-9
Source: Self-asserted source
Bor-Yuh Evan Chang

An Abstract Domain Combinator for Separately Conjoining Memory Abstractions

Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
2014 | Conference paper
DOI: 10.1007/978-3-319-10936-7\_18
Source: Self-asserted source
Bor-Yuh Evan Chang

Android apps consistency scrutinized

CHI Conference on Human Factors in Computing Systems, CHI'14, Toronto, ON, Canada - April 26 - May 01, 2014, Extended Abstracts
2014 | Conference paper
DOI: 10.1145/2559206.2581352
Source: Self-asserted source
Bor-Yuh Evan Chang

Automatic Analysis of Open Objects in Dynamic Language Programs

Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
2014 | Conference paper
DOI: 10.1007/978-3-319-10936-7\_9
Source: Self-asserted source
Bor-Yuh Evan Chang

Construction of Abstract Domains for Heterogeneous Properties (Position Paper)

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
2014 | Conference paper
DOI: 10.1007/978-3-662-45231-8\_40
Source: Self-asserted source
Bor-Yuh Evan Chang

Fissile type analysis: modular checking of almost everywhere invariants

The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014
2014 | Conference paper
DOI: 10.1145/2535838.2535855
Source: Self-asserted source
Bor-Yuh Evan Chang

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

Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
2014 | Conference paper
DOI: 10.1007/978-3-319-08867-9\_57
Source: Self-asserted source
Bor-Yuh Evan Chang

Refuting Heap Reachability

Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
2014 | Conference paper
DOI: 10.1007/978-3-642-54013-4\_8
Source: Self-asserted source
Bor-Yuh Evan Chang

Modular Construction of Shape-Numeric Analyzers

Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013
2013 | Conference paper
DOI: 10.4204/EPTCS.129.11
Source: Self-asserted source
Bor-Yuh Evan Chang

QUIC Graphs: Relational Invariant Generation for Containers

ECOOP 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
2013 | Conference paper
DOI: 10.1007/978-3-642-39038-8\_17
Source: Self-asserted source
Bor-Yuh Evan Chang

Reduced Product Combination of Abstract Domains for Shapes

Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
2013 | Conference paper
DOI: 10.1007/978-3-642-35873-9\_23
Source: Self-asserted source
Bor-Yuh Evan Chang

Thresher: precise refutations for heap reachability

ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013
2013 | Conference paper
DOI: 10.1145/2491956.2462186
Source: Self-asserted source
Bor-Yuh Evan Chang

A Bit Too Precise? Bounded Verification of Quantized Digital Filters

Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
2012 | Conference paper
DOI: 10.1007/978-3-642-28756-5\_4
Source: Self-asserted source
Bor-Yuh Evan Chang

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

Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
2012 | Conference paper
DOI: 10.1007/978-3-642-33125-1\_12
Source: Self-asserted source
Bor-Yuh Evan Chang

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

International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012
2012 | Conference paper
DOI: 10.1145/2338965.2336786
Source: Self-asserted source
Bor-Yuh Evan Chang

Access Nets: Modeling Access to Physical Spaces

Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
2011 | Conference paper
DOI: 10.1007/978-3-642-18275-4\_14
Source: Self-asserted source
Bor-Yuh Evan Chang

Calling context abstraction with shapes

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011
2011 | Conference paper
DOI: 10.1145/1926385.1926406
Source: Self-asserted source
Bor-Yuh Evan Chang

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

Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
2011 | Conference paper
DOI: 10.1007/978-3-642-23702-7\_9
Source: Self-asserted source
Bor-Yuh Evan Chang

Mixing type checking and symbolic execution

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010
2010 | Conference paper
DOI: 10.1145/1806596.1806645
Source: Self-asserted source
Bor-Yuh Evan Chang

Separating Shape Graphs

Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
2010 | Conference paper
DOI: 10.1007/978-3-642-11957-6\_21
Source: Self-asserted source
Bor-Yuh Evan Chang

Relational inductive shape analysis

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008
2008 | Conference paper
DOI: 10.1145/1328438.1328469
Source: Self-asserted source
Bor-Yuh Evan Chang

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

Electron. Notes Theor. Comput. Sci.
2007 | Journal article
DOI: 10.1016/j.entcs.2004.01.039
Source: Self-asserted source
Bor-Yuh Evan Chang

Shape Analysis with Structural Invariant Checkers

Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
2007 | Conference paper
DOI: 10.1007/978-3-540-74061-2\_24
Source: Self-asserted source
Bor-Yuh Evan Chang

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

Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
2006 | Conference paper
DOI: 10.1007/11609773\_12
Source: Self-asserted source
Bor-Yuh Evan Chang

Analysis of Low-Level Code Using Cooperating Decompilers

Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
2006 | Conference paper
DOI: 10.1007/11823230\_21
Source: Self-asserted source
Bor-Yuh Evan Chang

Abstract Interpretation with Alien Expressions and Heap Structures

Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
2005 | Conference paper
DOI: 10.1007/978-3-540-30579-8\_11
Source: Self-asserted source
Bor-Yuh Evan Chang

Boogie: A Modular Reusable Verifier for Object-Oriented Programs

Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
2005 | Conference paper
DOI: 10.1007/11804192\_17
Source: Self-asserted source
Bor-Yuh Evan Chang
Items per page:
Page 1 of 2
How many people are using ORCID?