Bor-Yuh Evan Chang (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

10 Bor-Yuh Evan Chang, Xavier Rival, George C. Necula: Shape Analysis with Structural Invariant Checkers. SAS 2007: 384-401

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

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

Selection of 5 from 19 records - Bor-Yuh Evan Chang has 28 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

10		Bor-Yuh Evan Chang, Xavier Rival, George C. Necula: Shape Analysis with Structural Invariant Checkers. SAS 2007: 384-401
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
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