| 2008 |
|---|
| 11 | EE | Bor-Yuh Evan Chang,
Xavier Rival:
Relational inductive shape analysis.
POPL 2008: 247-260 |
| 2007 |
|---|
| 10 | EE | Bor-Yuh Evan Chang,
Xavier Rival,
George C. Necula:
Shape Analysis with Structural Invariant Checkers.
SAS 2007: 384-401 |
| 9 | EE | Bor-Yuh Evan Chang,
Manu Sridharan:
PML: Toward a High-Level Formal Language for Biological Systems.
Electr. Notes Theor. Comput. Sci. 180(3): 15-30 (2007) |
| 2006 |
|---|
| 8 | EE | Bor-Yuh Evan Chang,
Matthew Harren,
George C. Necula:
Analysis of Low-Level Code Using Cooperating Decompilers.
SAS 2006: 318-335 |
| 7 | EE | Bor-Yuh Evan Chang,
Adam J. Chlipala,
George C. Necula:
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety.
VMCAI 2006: 174-189 |
| 2005 |
|---|
| 6 | EE | 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 |
| 5 | EE | Bor-Yuh Evan Chang,
Adam J. Chlipala,
George C. Necula,
Robert R. Schneck:
The open verifier framework for foundational verifiers.
TLDI 2005: 1-12 |
| 4 | EE | Bor-Yuh Evan Chang,
Adam J. Chlipala,
George C. Necula,
Robert R. Schneck:
Type-based verification of assembly language for compiler debugging.
TLDI 2005: 91-102 |
| 3 | EE | Bor-Yuh Evan Chang,
K. Rustan M. Leino:
Abstract Interpretation with Alien Expressions and Heap Structures.
VMCAI 2005: 147-163 |
| 2 | EE | Bor-Yuh Evan Chang,
K. Rustan M. Leino:
Inferring Object Invariants: Extended Abstract.
Electr. Notes Theor. Comput. Sci. 131: 63-74 (2005) |
| 2002 |
|---|
| 1 | EE | 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 |
