dblp.uni-trier.dewww.uni-trier.de

Bor-Yuh Evan Chang

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EEBor-Yuh Evan Chang, Xavier Rival: Relational inductive shape analysis. POPL 2008: 247-260
2007
10EEBor-Yuh Evan Chang, Xavier Rival, George C. Necula: Shape Analysis with Structural Invariant Checkers. SAS 2007: 384-401
9EEBor-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
8EEBor-Yuh Evan Chang, Matthew Harren, George C. Necula: Analysis of Low-Level Code Using Cooperating Decompilers. SAS 2006: 318-335
7EEBor-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
6EEMichael 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
5EEBor-Yuh Evan Chang, Adam J. Chlipala, George C. Necula, Robert R. Schneck: The open verifier framework for foundational verifiers. TLDI 2005: 1-12
4EEBor-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
3EEBor-Yuh Evan Chang, K. Rustan M. Leino: Abstract Interpretation with Alien Expressions and Heap Structures. VMCAI 2005: 147-163
2EEBor-Yuh Evan Chang, K. Rustan M. Leino: Inferring Object Invariants: Extended Abstract. Electr. Notes Theor. Comput. Sci. 131: 63-74 (2005)
2002
1EEBor-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

1Michael Barnett [6]
2Adam J. Chlipala [4] [5] [7]
3Karl Crary [1]
4Margaret DeLap [1]
5Robert DeLine [6]
6Robert Harper [1]
7Matthew Harren [8]
8Bart Jacobs [6]
9K. Rustan M. Leino [2] [3] [6]
10Jason Liszka [1]
11George C. Necula [4] [5] [7] [8] [10]
12Frank Pfenning [1]
13Xavier Rival [10] [11]
14Robert R. Schneck [4] [5]
15Manu Sridharan [9]
16Tom Murphy VII [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)