The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bor-Yuh Evan Chang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs 0002, K. Rustan M. Leino
    Boogie: A Modular Reusable Verifier for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:364-387 [Conf]
  2. Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning
    Trustless Grid Computing in ConCert. [Citation Graph (0, 0)][DBLP]
    GRID, 2002, pp:112-125 [Conf]
  3. Bor-Yuh Evan Chang, Matthew Harren, George C. Necula
    Analysis of Low-Level Code Using Cooperating Decompilers. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:318-335 [Conf]
  4. Bor-Yuh Evan Chang, Adam J. Chlipala, George C. Necula, Robert R. Schneck
    The open verifier framework for foundational verifiers. [Citation Graph (0, 0)][DBLP]
    TLDI, 2005, pp:1-12 [Conf]
  5. Bor-Yuh Evan Chang, Adam J. Chlipala, George C. Necula, Robert R. Schneck
    Type-based verification of assembly language for compiler debugging. [Citation Graph (0, 0)][DBLP]
    TLDI, 2005, pp:91-102 [Conf]
  6. Bor-Yuh Evan Chang, Adam J. Chlipala, George C. Necula
    A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:174-189 [Conf]
  7. Bor-Yuh Evan Chang, K. Rustan M. Leino
    Abstract Interpretation with Alien Expressions and Heap Structures. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:147-163 [Conf]
  8. Bor-Yuh Evan Chang, K. Rustan M. Leino
    Inferring Object Invariants: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:63-74 [Journal]
  9. Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
    Shape Analysis with Structural Invariant Checkers. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:384-401 [Conf]
  10. Bor-Yuh Evan Chang, Manu Sridharan
    PML: Toward a High-Level Formal Language for Biological Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:3, pp:15-30 [Journal]

  11. Separating Shape Graphs. [Citation Graph (, )][DBLP]


  12. Mixing type checking and symbolic execution. [Citation Graph (, )][DBLP]


  13. Relational inductive shape analysis. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002