Parents
Sign in to add mentor| Greg Morrisett | grad student | 2003 | Cornell | |
| (Safe programming at the C level of abstraction.) | ||||
Children
Sign in to add trainee| Benjamin Lerner | grad student | 2011 | University of Washington |
| Laura Effinger-Dean | grad student | 2012 | University of Washington |
| Thomas Bergan | grad student | 2014 | University of Washington |
| Colin S. Gordon | grad student | 2014 | University of Washington |
| Michael F. RIngenburg | grad student | 2014 | University of Washington |
BETA: Related publications
See more...
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. |
| Gordon CS, Ernst MD, Grossman D, et al. (2017) Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types Acm Transactions On Programming Languages and Systems. 39: 11 |
| 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 |
| 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 |
| Bergan T, Ceze L, Grossman D. (2013) Input-covering schedules for multithreaded programs Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 677-692 |
| Gordon CS, Ernst MD, Grossman D. (2013) 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 |
| Kim M, Notkin D, Grossman D, et al. (2013) Identifying and summarizing systematic code changes via rule inference Ieee Transactions On Software Engineering. 39: 45-62 |
| Gordon CS, Dietl W, Ernst MD, et al. (2013) 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 |
| Effinger-Dean L, Lucia B, Ceze L, et al. (2012) IFRit: Interference-free regions for dynamic data-race detection Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 467-483 |
| Devietti J, Nelson J, Bergan T, et al. (2012) RCDC: A relaxed consistency deterministic computer Acm Sigplan Notices. 47: 67-77 |