The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Brian Hackett: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang
    Modular checking for buffer overflows in the large. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:232-241 [Conf]
  2. Brian Hackett, Radu Rugina
    Region-based shape analysis with tracked locations. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:310-323 [Conf]
  3. Brian Hackett, Alex Aiken
    How is aliasing used in systems software? [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:69-80 [Conf]
  4. Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins
    An overview of the saturn project. [Citation Graph (0, 0)][DBLP]
    PASTE, 2007, pp:43-48 [Conf]

  5. Unifying type checking and property checking for low-level code. [Citation Graph (, )][DBLP]


  6. Towards Scalable Modular Checking of User-Defined Properties. [Citation Graph (, )][DBLP]


Search in 0.026secs, Finished in 0.027secs
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