Bor-Yuh Evan Chang

	2012
17		Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang: A Bit Too Precise? Bounded Verification of Quantized Digital Filters. TACAS 2012: 33-47
	2011
16		Xavier Rival, Bor-Yuh Evan Chang: Calling context abstraction with shapes. POPL 2011: 173-186
15		Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan: The Flow-Insensitive Precision of Andersen's Analysis in Practice. SAS 2011: 60-76
14		Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan: Access Nets: Modeling Access to Physical Spaces. VMCAI 2011: 184-198
	2010
13		Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival: Separating Shape Graphs. ESOP 2010: 387-406
12		Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster: Mixing type checking and symbolic execution. PLDI 2010: 436-447
	2008
11		Bor-Yuh Evan Chang, Xavier Rival: Relational inductive shape analysis. POPL 2008: 247-260
	2007
10		Bor-Yuh Evan Chang, Xavier Rival, George C. Necula: Shape Analysis with Structural Invariant Checkers. SAS 2007: 384-401
9		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		Bor-Yuh Evan Chang, Matthew Harren, George C. Necula: Analysis of Low-Level Code Using Cooperating Decompilers. SAS 2006: 318-335
7		Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula: A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety. VMCAI 2006: 174-189
	2005
6		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		Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck: The open verifier framework for foundational verifiers. TLDI 2005: 1-12
4		Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck: Type-based verification of assembly language for compiler debugging. TLDI 2005: 91-102
3		Bor-Yuh Evan Chang, K. Rustan M. Leino: Abstract Interpretation with Alien Expressions and Heap Structures. VMCAI 2005: 147-163
2		Bor-Yuh Evan Chang, K. Rustan M. Leino: Inferring Object Invariants: Extended Abstract. Electr. Notes Theor. Comput. Sci. 131: 63-74 (2005)
	2002
1		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

Coauthor Index

1	Michael Barnett	[6]
2	Sam Blackshear	[15]
3	Adam Chlipala	[4] [5] [7]
4	Arlen Cox	[17]
5	Karl Crary	[1]
6	Margaret DeLap	[1]
7	Robert DeLine	[6]
8	Jeffrey S. Foster	[12]
9	Robert Frohardt	[14]
10	Robert Harper	[1]
11	Matthew Harren	[8]
12	Bart Jacobs	[6]
13	Yit Phang Khoo	[12]
14	Vincent Laviron	[13]
15	K. Rustan M. Leino	[2] [3] [6]
16	Jason Liszka	[1]
17	George C. Necula	[4] [5] [7] [8] [10]
18	Frank Pfenning	[1]
19	Xavier Rival	[10] [11] [13] [16]
20	Sriram Sankaranarayanan	[14] [15] [17]
21	Robert R. Schneck	[4] [5]
22	Manu Sridharan	[9] [15]
23	Tom Murphy VII	[1]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page