Travelled to:1 × Austria
1 × Canada
1 × Cyprus
1 × Denmark
1 × Estonia
1 × Germany
1 × Korea
1 × The Netherlands
1 × United Kingdom
2 × Italy
4 × France
9 × USA
Collaborated with:X.Rival S.Sankaranarayanan A.Cox M.Sridharan G.C.Necula S.Blackshear D.Coughlin A.Toubhans H.Li ∅ K.R.M.Leino B.S.0002 R.Frohardt V.Laviron Y.P.Khoo J.S.Foster M.Harren A.Chlipala M.A.Hammer D.V.Horn E.S.L.Lam Peilun Zhang Shawn Meier S.Mover A.Diwan J.G.Siek A.Sánchez C.Sánchez L.Clapp B.B.Nielsen A.Møller Francois Berenger
Talks about:abstract (9) analysi (9) shape (6) program (5) invari (4) generat (3) precis (3) check (3) type (3) heap (3)
Person: Bor-Yuh Evan Chang
DBLP: Chang:Bor=Yuh_Evan
Contributed to:
2015
2015
2015
2014
20142014
2014
2013
20132013
20122012
20122011201120112010201020082007200620062005
2016
2018
2017201920192017Wrote 30 papers:
- ESOP-2015-CoxCR #abstraction #multi #source code
- Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages (AC, BYEC, XR), pp. 483–509.
- OOPSLA-2015-BlackshearCS #abstraction #control flow
- Selective control-flow abstraction via jumping (SB, BYEC, MS), pp. 163–182.
- SAS-2015-LiRC #analysis
- Shape Analysis for Unstructured Sharing (HL, XR, BYEC), pp. 90–108.
- CAV-2014-CoxCS #abstraction #library #named #parametricity #reuse #set
- QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers (AC, BYEC, SS), pp. 866–873.
- POPL-2014-CoughlinC #analysis #composition #invariant
- Fissile type analysis: modular checking of almost everywhere invariants (DC, BYEC), pp. 73–86.
- SAS-2014-CoxCR #analysis #automation #source code
- Automatic Analysis of Open Objects in Dynamic Language Programs (AC, BYEC, XR), pp. 134–150.
- SAS-2014-ToubhansCR #abstract domain #abstraction #combinator #memory management
- An Abstract Domain Combinator for Separately Conjoining Memory Abstractions (AT, BYEC, XR), pp. 285–301.
- VMCAI-2014-Chang #reachability
- Refuting Heap Reachability (BYEC), pp. 137–141.
- ECOOP-2013-CoxCS #generative #graph #invariant #relational
- QUIC Graphs: Relational Invariant Generation for Containers (AC, BYEC, SS), pp. 401–425.
- PLDI-2013-BlackshearCS #named #precise #reachability
- Thresher: precise refutations for heap reachability (SB, BYEC, MS), pp. 275–286.
- VMCAI-2013-ToubhansCR #abstract domain
- Reduced Product Combination of Abstract Domains for Shapes (AT, BYEC, XR), pp. 375–395.
- ISSTA-2012-CoughlinCDS #source code #what
- Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say (DC, BYEC, AD, JGS), pp. 276–286.
- SAS-2012-SanchezSSC #generative #invariant #self #using
- Invariant Generation for Parametrized Systems Using Self-reflection — (Extended Version) (AS, SS, CS, BYEC), pp. 146–163.
- TACAS-2012-CoxSC #bound #precise #verification
- A Bit Too Precise? Bounded Verification of Quantized Digital Filters (AC, SS, BYEC), pp. 33–47.
- POPL-2011-RivalC #abstraction
- Calling context abstraction with shapes (XR, BYEC), pp. 173–186.
- SAS-2011-BlackshearCSS #analysis #precise
- The Flow-Insensitive Precision of Andersen’s Analysis in Practice (SB, BYEC, SS, MS), pp. 60–76.
- VMCAI-2011-FrohardtCS #modelling #physics
- Access Nets: Modeling Access to Physical Spaces (RF, BYEC, SS), pp. 184–198.
- ESOP-2010-LavironCR #graph
- Separating Shape Graphs (VL, BYEC, XR), pp. 387–406.
- PLDI-2010-KhooCF #execution #symbolic computation #type checking
- Mixing type checking and symbolic execution (YPK, BYEC, JSF), pp. 436–447.
- POPL-2008-ChangR #analysis #induction #relational
- Relational inductive shape analysis (BYEC, XR), pp. 247–260.
- SAS-2007-ChangRN #analysis #invariant
- Shape Analysis with Structural Invariant Checkers (BYEC, XR, GCN), pp. 384–401.
- SAS-2006-ChangHN #analysis #low level #using
- Analysis of Low-Level Code Using Cooperating Decompilers (BYEC, MH, GCN), pp. 318–335.
- VMCAI-2006-ChangCN #framework #program analysis #safety
- A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety (BYEC, AC, GCN), pp. 174–189.
- VMCAI-2005-ChangL #abstract interpretation
- Abstract Interpretation with Alien Expressions and Heap Structures (BYEC, KRML), pp. 147–163.
- GPCE-2016-HammerCH #online
- A vision for online verification-validation (MAH, BYEC, DVH), pp. 190–201.
- ASE-2018-SteinCSC #programming #refinement
- Safe stream-based programming with refinement types (BS0, LC, MS, BYEC), pp. 565–576.
- Onward-2017-LamZC #generative #interactive #named #random #testing
- ChimpCheck: property-based randomized test generation for interactive apps (ESLL, PZ, BYEC), pp. 58–77.
- ECOOP-2019-MeierMC #control flow #named #protocol
- Lifestate: Event-Driven Protocols and Callback Control Flow (SM, SM, BYEC), p. 29.
- OOPSLA-2019-SteinNCM #refinement #static analysis
- Static analysis with demand-driven value refinement (BS0, BBN, BYEC, AM), p. 29.
- POPL-2017-LiBCR #semantics
- Semantic-directed clumping of disjunctive abstract states (HL, FB, BYEC, XR), pp. 32–45.