☰

Dan Grossman - Publications

Affiliations: 
University of Washington, Seattle, Seattle, WA 
Tree Info Similar researchers PubMed Report error

33 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2017 Gordon CS, Ernst MD, Grossman D, Parkinson MJ. Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types Acm Transactions On Programming Languages and Systems. 39: 11. DOI: 10.1145/3064850  0.736
2015 Boston B, Sampson A, Grossman D, Ceze L. Probability type inference for flexible approximate programming Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 470-487. DOI: 10.1145/2814270.2814301  0.355
2015 Ringenburg M, Sampson A, Ackerman I, Ceze L, Grossman D. Monitoring and debugging the quality of results in approximate programs International Conference On Architectural Support For Programming Languages and Operating Systems - Asplos. 2015: 399-411. DOI: 10.1145/2694344.2694365  0.742
2014 Bergan T, Grossman D, Ceze L. Symbolic execution of multithreaded programs from arbitrary program contexts Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 491-506. DOI: 10.1145/2660193.2660200  0.563
2013 Bergan T, Ceze L, Grossman D. Input-covering schedules for multithreaded programs Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 677-692. DOI: 10.1145/2509136.2509508  0.57
2013 Gordon CS, Ernst MD, Grossman D. Rely-guarantee references for refinement types over aliased mutable data Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 73-83. DOI: 10.1145/2462156.2462160  0.311
2013 Kim M, Notkin D, Grossman D, Wilson G. Identifying and summarizing systematic code changes via rule inference Ieee Transactions On Software Engineering. 39: 45-62. DOI: 10.1109/Tse.2012.16  0.428
2013 Gordon CS, Dietl W, Ernst MD, Grossman D. Java UI : Eeffects for controlling UI object access Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7920: 179-204. DOI: 10.1007/978-3-642-39038-8-8  0.329
2012 Effinger-Dean L, Lucia B, Ceze L, Grossman D, Boehm HJ. IFRit: Interference-free regions for dynamic data-race detection Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 467-483. DOI: 10.1145/2384616.2384650  0.709
2012 Devietti J, Nelson J, Bergan T, Ceze L, Grossman D. RCDC: A relaxed consistency deterministic computer Acm Sigplan Notices. 47: 67-77. DOI: 10.1145/2248487.1950376  0.573
2012 Devietti J, Wood BP, Strauss K, Ceze L, Grossman D, Qadeer S. RADISH: Always-on sound and complete race detection in software and hardware Proceedings - International Symposium On Computer Architecture. 201-212. DOI: 10.1109/ISCA.2012.6237018  0.321
2011 Grossman D. Session details: Compilation Sigplan Notices. 46. DOI: 10.1145/3261731  0.303
2011 Sampson A, Dietl W, Fortuna E, Gnanapragasam D, Ceze L, Grossman D. EnerJ: Approximate data types for safe and general low-power computation Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 164-174. DOI: 10.1145/1993498.1993518  0.302
2010 Kehrt M, Effinger-Dean L, Schmitz M, Grossman D. Programming Idioms for Transactional Events Arxiv: Programming Languages. 17: 43-48. DOI: 10.4204/Eptcs.17.4  0.743
2010 Wood BP, Sampson A, Ceze L, Grossman D. Composable specifications for structured shared-memory communication Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 140-159. DOI: 10.1145/1869459.1869473  0.35
2010 Bergan T, Anderson O, Devietti J, Ceze L, Grossman D. CoreDet: A compiler and runtime system for deterministic multithreaded execution International Conference On Architectural Support For Programming Languages and Operating Systems - Asplos. 53-64. DOI: 10.1145/1736020.1736029  0.606
2010 Chung J, Yen L, Diestelhorst S, Pohlack M, Hohmuth M, Christie D, Grossman D. ASF: AMD64 extension for lock-free data structures and transactional memory Proceedings of the Annual International Symposium On Microarchitecture, Micro. 39-50. DOI: 10.1109/MICRO.2010.40  0.372
2009 Allen J, Ariola Z, Curien PL, Fluet M, Foster J, Grossman D, Harper R, Herbelin H, Smaragdakis Y, Walker D, Zdancewic S. An overview of the oregon programming languages summer school Acm Sigplan Notices. 44: 1-3. DOI: 10.1145/1816027.1816029  0.737
2008 Effinger-Dean L, Kehrt M, Grossman D. Transactional events for ML Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 103-114. DOI: 10.1145/1411204.1411222  0.761
2008 Nita M, Grossman D, Chambers C. A theory of platform-dependent low-level software Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 209-220. DOI: 10.1145/1328438.1328465  0.37
2008 Moore KF, Grossman D. High-level small-step operational semantics for transactions Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 51-62. DOI: 10.1145/1328438.1328448  0.352
2006 Lerner B, Grossman D, Chambers C. SEMINAL: Searching for ML type-error messages Proceedings of the Acm Sigplan 2006 Workshop On Ml. 2006: 62-73. DOI: 10.1145/1159876.1159887  0.73
2006 Grossman D. Quantified types in an imperative language Acm Transactions On Programming Languages and Systems. 28: 429-475. DOI: 10.1145/1133651.1133653  0.358
2006 Swamy N, Hicks M, Morrisett G, Grossman D, Jim T. Safe manual memory management in Cyclone Science of Computer Programming. 62: 122-144. DOI: 10.1016/J.Scico.2006.02.003  0.666
2005 Ringenburg MF, Grossman D. Preventing format-string attacks via automatic and efficient dynamic checking Proceedings of the Acm Conference On Computer and Communications Security. 354-363. DOI: 10.1145/1102120.1102166  0.754
2005 Ringenburg MF, Grossman D. AtomCaml: First-class atomicity via rollback Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 92-104. DOI: 10.1145/1086365.1086378  0.742
2005 Ringenburg MF, Grossman D. Types for describing coordinated data structures Proceedings of the Tldi'05: 2005 Acm Sigplan International Workshop On Types in Languages Design and Implementation. 25-36.  0.733
2004 Hicks M, Grossman D, Morrisett G, Jim T. Experience with safe manual memory-management in cyclone International Symposium On Memory Management, Ismm. 73-84.  0.656
2003 Smith F, Grossman D, Morrisett G, Hornof L, Jim T. Compiling for template-based run-time code generation Journal of Functional Programming. 13: 677-708. DOI: 10.1017/S095679680200463X  0.66
2002 Grossman D, Morrisett G, Jim T, Hicks M, Wang Y, Cheney J. Region-based memory management in Cyclone Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 282-293.  0.659
2001 Grossman D, Morrisett G. Scalable certification for typed assembly language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2071: 117-145. DOI: 10.1007/3-540-45332-6_5  0.672
2000 Grossman D, Morrisett G, Zdancewic S. Syntactic type abstraction Acm Transactions On Programming Languages and Systems. 22: 1037-1080. DOI: 10.1145/371880.371887  0.698
2000 Grossman D, Morrisett G, Zdancewic S. Syntactic type abstraction Acm Transactions On Programming Languages and Systems. 22: 1037-1080.  0.678
Show low-probability matches.