The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dan Grossman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael F. Ringenburg, Dan Grossman
    Preventing format-string attacks via automatic and efficient dynamic checking. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer and Communications Security, 2005, pp:354-363 [Conf]
  2. Dan Grossman
    Existential Types for Imperative Languages. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:21-35 [Conf]
  3. Michael F. Ringenburg, Dan Grossman
    AtomCaml: first-class atomicity via rollback. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:92-104 [Conf]
  4. Steve Zdancewic, Dan Grossman, J. Gregory Morrisett
    Principals in Programming Languages: A Syntactic Proof Technique. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:197-207 [Conf]
  5. Miryung Kim, David Notkin, Dan Grossman
    Automatic Inference of Structural Changes for Matching across Program Versions. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:333-343 [Conf]
  6. Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim
    Experience with safe manual memory-management in cyclone. [Citation Graph (0, 0)][DBLP]
    ISMM, 2004, pp:73-84 [Conf]
  7. Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney
    Region-Based Memory Management in Cyclone. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:282-293 [Conf]
  8. Michael W. Godfrey, Dan Grossman
    JDuck: building a software engineering tool in Java as a CS2 project. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1999, pp:48-52 [Conf]
  9. Dan Grossman
    Type-safe multithreading in cyclone. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:13-25 [Conf]
  10. Dan Grossman, J. Gregory Morrisett
    Scalable Certification for Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 2000, pp:117-146 [Conf]
  11. Dan Grossman
    Type-safe multithreading in cyclone. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:13-25 [Conf]
  12. Michael F. Ringenburg, Dan Grossman
    Types for describing coordinated data structures. [Citation Graph (0, 0)][DBLP]
    TLDI, 2005, pp:25-36 [Conf]
  13. Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang
    Cyclone: A Safe Dialect of C. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, General Track, 2002, pp:275-288 [Conf]
  14. Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim
    Compiling for template-based run-time code generation. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:3, pp:677-708 [Journal]
  15. Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
    Safe manual memory management in Cyclone. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:62, n:2, pp:122-144 [Journal]
  16. Dan Grossman
    Quantified types in an imperative language. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2006, v:28, n:3, pp:429-475 [Journal]
  17. Dan Grossman, J. Gregory Morrisett, Steve Zdancewic
    Syntactic type abstraction. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:6, pp:1037-1080 [Journal]
  18. Dan Grossman
    The transactional memory / garbage collection analogy. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:695-706 [Conf]
  19. Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers
    Searching for type-error messages. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:425-434 [Conf]
  20. Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha
    Enforcing isolation and ordering in STM. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:78-88 [Conf]
  21. Benjamin S. Lerner, Dan Grossman, Craig Chambers
    Seminal: searching for ML type-error messages. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:63-73 [Conf]

  22. What do high-level memory models mean for transactions? [Citation Graph (, )][DBLP]


  23. Atomicity via source-to-source translation. [Citation Graph (, )][DBLP]


  24. CoreDet: a compiler and runtime system for deterministic multithreaded execution. [Citation Graph (, )][DBLP]


  25. Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts. [Citation Graph (, )][DBLP]


  26. Estimating the progress of MapReduce pipelines. [Citation Graph (, )][DBLP]


  27. Transactional events for ML. [Citation Graph (, )][DBLP]


  28. A theory of platform-dependent low-level software. [Citation Graph (, )][DBLP]


  29. High-level small-step operational semantics for transactions. [Citation Graph (, )][DBLP]


  30. ParaTimer: a progress indicator for MapReduce DAGs. [Citation Graph (, )][DBLP]


  31. Programming Idioms for Transactional Events [Citation Graph (, )][DBLP]


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