Dan Grossman

Affiliations: 
University of Washington, Seattle, Seattle, WA 
Google:
"Dan Grossman"

Parents

Sign in to add mentor
Greg Morrisett grad student 2003 Cornell
 (Safe programming at the C level of abstraction.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Bornholt J, Torlak E, Grossman D, et al. (2016) Optimizing synthesis with metasketches Acm Sigplan Notices. 51: 775-788
Henrikson NB, Opel DJ, Grothaus L, et al. (2015) Physician Communication Training and Parental Vaccine Hesitancy: A Randomized Trial. Pediatrics. 136: 70-9
Ernst MD, Grossman D, Jacky J, et al. (2015) Toward a dependability case language and workflow for a radiation therapy system Leibniz International Proceedings in Informatics, Lipics. 32: 103-112
Boston B, Sampson A, Grossman D, et al. (2015) Probability type inference for flexible approximate programming Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 470-487
Ringenburg M, Sampson A, Ackerman I, et al. (2015) 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
Burge J, Fox A, Grossman D, et al. (2015) SPOCs: What, why, and how Sigcse 2015 - Proceedings of the 46th Acm Technical Symposium On Computer Science Education. 595-596
Bergan T, Grossman D, Ceze L. (2014) Symbolic execution of multithreaded programs from arbitrary program contexts Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 491-506
Perelman D, Gulwani S, Grossman D, et al. (2014) Test-driven synthesis Acm Sigplan Notices. 49: 408-418
Sampson A, Panchekha P, Mytkowicz T, et al. (2014) Expressing and verifying probabilistic assertions Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 112-122
Murphy-Hill E, Grossman D. (2014) How programming languages will co-evolve with software engineering: A bright decade ahead Future of Software Engineering, Fose 2014 - Proceedings. 145-154
See more...