☰

Michael F. RIngenburg, Ph.D. - Publications

Affiliations: 
2014 Computer Science and Engineering University of Washington, Seattle, Seattle, WA 
Tree Info Similar researchers PubMed Report error

4 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
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.364
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.366
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.363
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.32
Show low-probability matches.