The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stephen N. Freund: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ole Agesen, Stephen N. Freund, John C. Mitchell
    Adding Type Parameterization to the Java Language. [Citation Graph (1, 0)][DBLP]
    OOPSLA, 1997, pp:49-65 [Conf]
  2. Michael Burrows, Stephen N. Freund, Janet L. Wiener
    Run-Time Type Checking for Binary Programs. [Citation Graph (0, 0)][DBLP]
    CC, 2003, pp:90-105 [Conf]
  3. Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
    Thread-Modular Verification for Shared-Memory Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:262-277 [Conf]
  4. Cormac Flanagan, Stephen N. Freund
    Dynamic Architecture Extraction. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:209-224 [Conf]
  5. Cormac Flanagan, Stephen N. Freund
    Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  6. Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
    Exploiting purity for atomicity. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:221-231 [Conf]
  7. Stephen N. Freund, John C. Mitchell
    A Type System for Object Initialization in the Java Bytecode Language. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1998, pp:310-327 [Conf]
  8. Stephen N. Freund, John C. Mitchell
    A Formal Framework for the Java Bytecode Language and Verifier. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1999, pp:147-166 [Conf]
  9. Cormac Flanagan, Stephen N. Freund
    Detecting race conditions in large programs. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:90-96 [Conf]
  10. Cormac Flanagan, Stephen N. Freund
    Type-based race detection for Java. [Citation Graph (0, 0)][DBLP]
    PLDI, 2000, pp:219-232 [Conf]
  11. Cormac Flanagan, Stephen N. Freund
    Atomizer: a dynamic atomicity checker for multithreaded programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:256-267 [Conf]
  12. Cormac Flanagan, Stephen N. Freund
    Type Inference Against Races. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:116-132 [Conf]
  13. Stephen N. Freund, Eric S. Roberts
    Thetis: an ANSI C programming environment designed for introductory use. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1996, pp:300-304 [Conf]
  14. Cormac Flanagan, Stephen N. Freund, Marina Lifshin
    Type inference for atomicity. [Citation Graph (0, 0)][DBLP]
    TLDI, 2005, pp:47-58 [Conf]
  15. Stephen N. Freund, John C. Mitchell
    A Type System For Object Initialization In the Java Bytecode Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
  16. Stephen N. Freund, John C. Mitchell
    A Type System for the Java Bytecode Language and Verifier. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:30, n:3-4, pp:271-321 [Journal]
  17. Stephen N. Freund, Shaz Qadeer
    Checking Concise Specifications for Multithreaded Software. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:6, pp:81-101 [Journal]
  18. Cormac Flanagan, Stephen N. Freund
    Type inference against races. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:64, n:1, pp:140-165 [Journal]
  19. Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia
    Modular verification of multithreaded programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:153-183 [Journal]
  20. Martín Abadi, Cormac Flanagan, Stephen N. Freund
    Types for safe locking: Static race detection for Java. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2006, v:28, n:2, pp:207-255 [Journal]
  21. Stephen N. Freund, John C. Mitchell
    The type system for object initializatiion in the Jave bytecode language. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:6, pp:1196-1250 [Journal]
  22. Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
    Exploiting Purity for Atomicity. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:4, pp:275-291 [Journal]

  23. SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. [Citation Graph (, )][DBLP]


  24. The RoadRunner dynamic analysis framework for concurrent programs. [Citation Graph (, )][DBLP]


  25. FastTrack: efficient and precise dynamic race detection. [Citation Graph (, )][DBLP]


  26. Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. [Citation Graph (, )][DBLP]


  27. Adversarial memory for detecting destructive races. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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