The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Cormac Flanagan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe
    Theorem Proving Using Lazy Proof Explication. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:355-367 [Conf]
  2. Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia
    A Modular Checker for Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:180-194 [Conf]
  3. Cormac Flanagan, Martín Abadi
    Object Types against Races. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:288-303 [Conf]
  4. Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby
    Extending JML for Modular Specification and Verification of Multi-threaded Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2005, pp:551-576 [Conf]
  5. Cormac Flanagan
    Automatic Software Model Checking Using CLP. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:189-203 [Conf]
  6. Cormac Flanagan, Martín Abadi
    Types for Safe Locking. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:91-108 [Conf]
  7. 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]
  8. Cormac Flanagan, Stephen N. Freund
    Dynamic Architecture Extraction. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:209-224 [Conf]
  9. Cormac Flanagan, K. Rustan M. Leino
    Houdini, an Annotation Assistant for ESC/Java. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:500-517 [Conf]
  10. Cormac Flanagan, Rishiyur S. Nikhil
    pHluid: The Design of a Parallel Functional Language Implementation on Workstations. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:169-179 [Conf]
  11. Cormac Flanagan, Stephen N. Freund
    Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  12. Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
    Exploiting purity for atomicity. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:221-231 [Conf]
  13. Cormac Flanagan, Stephen N. Freund
    Detecting race conditions in large programs. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:90-96 [Conf]
  14. Cormac Flanagan, Stephen N. Freund
    Type-based race detection for Java. [Citation Graph (0, 0)][DBLP]
    PLDI, 2000, pp:219-232 [Conf]
  15. Cormac Flanagan, Matthias Felleisen
    Componential Set-Based Analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 1997, pp:235-248 [Conf]
  16. Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen
    Static Debugging: Browsing the Web of Program Invariants. [Citation Graph (0, 0)][DBLP]
    PLDI, 1996, pp:23-32 [Conf]
  17. Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
    Extended Static Checking for Java. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:234-245 [Conf]
  18. Cormac Flanagan, Shaz Qadeer
    A type and effect system for atomicity. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:338-349 [Conf]
  19. Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
    The Essence of Compiling with Continuations. [Citation Graph (0, 0)][DBLP]
    PLDI, 1993, pp:237-247 [Conf]
  20. Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
    The essence of compiling with continuations (with retrospective) [Citation Graph (0, 0)][DBLP]
    Best of PLDI, 1993, pp:502-514 [Conf]
  21. Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
    DrScheme: A Pedagogic Programming Environment for Scheme. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:369-388 [Conf]
  22. Cormac Flanagan
    Hybrid type checking. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:245-256 [Conf]
  23. Cormac Flanagan, Stephen N. Freund
    Atomizer: a dynamic atomicity checker for multithreaded programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:256-267 [Conf]
  24. Cormac Flanagan, Matthias Felleisen
    The Semantics of Future and Its Use in Program Optimizations. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:209-220 [Conf]
  25. Cormac Flanagan, Patrice Godefroid
    Dynamic partial-order reduction for model checking software. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:110-121 [Conf]
  26. Cormac Flanagan, Shaz Qadeer
    Predicate abstraction for software verification. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:191-202 [Conf]
  27. Cormac Flanagan, James B. Saxe
    Avoiding exponential explosion: generating compact verification conditions. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:193-205 [Conf]
  28. Aaron Tomb, Cormac Flanagan
    Automatic type inference via partial evaluation. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:106-116 [Conf]
  29. Cormac Flanagan, Stephen N. Freund
    Type Inference Against Races. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:116-132 [Conf]
  30. Cormac Flanagan
    Verifying Commit-Atomicity Using Model-Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:252-266 [Conf]
  31. Cormac Flanagan, Shaz Qadeer
    Thread-Modular Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:213-224 [Conf]
  32. Cormac Flanagan, Shaz Qadeer
    Types for atomicity. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:1-12 [Conf]
  33. Cormac Flanagan, Stephen N. Freund, Marina Lifshin
    Type inference for atomicity. [Citation Graph (0, 0)][DBLP]
    TLDI, 2005, pp:47-58 [Conf]
  34. Cormac Flanagan, Shaz Qadeer
    Types for atomicity. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:1-12 [Conf]
  35. Cormac Flanagan, Shaz Qadeer
    Transactions for Software Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
  36. Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino
    Annotation inference for modular checkers. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:77, n:2-4, pp:97-108 [Journal]
  37. Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen
    DrScheme: a programming environment for Scheme. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:2, pp:159-182 [Journal]
  38. Cormac Flanagan, Matthias Felleisen
    The Semantics of Future and an Application. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:1, pp:1-31 [Journal]
  39. Cormac Flanagan
    Automatic software model checking via constraint logic. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:50, n:1-3, pp:253-270 [Journal]
  40. 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]
  41. 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]
  42. 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]
  43. Cormac Flanagan, Matthias Felleisen
    Componential Set-Based Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:2, pp:370-416 [Journal]
  44. 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]
  45. Kenneth W. Knowles, Cormac Flanagan
    Type Reconstruction for General Refinement Types. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:505-519 [Conf]
  46. Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv
    Cartesian Partial-Order Reduction. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:95-112 [Conf]
  47. David Herman, Cormac Flanagan
    Status report: specifying javascript with ML. [Citation Graph (0, 0)][DBLP]
    ML, 2007, pp:47-52 [Conf]

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


  49. SideTrack: generalizing dynamic atomicity analysis. [Citation Graph (, )][DBLP]


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


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


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


  53. Efficient purely-dynamic information flow analysis. [Citation Graph (, )][DBLP]


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


  55. Effects for cooperable and serializable threads. [Citation Graph (, )][DBLP]


  56. Compositional reasoning and decidable checking for dependent contract types. [Citation Graph (, )][DBLP]


Search in 0.017secs, Finished in 0.020secs
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