Peter Ohmann

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 11

Top Topics

Programming Assignments

Hypergraph Model

Top Venues

Autom. Softw. Eng.

Publications

Carla Michini, Peter Ohmann, Ben Liblit, Jeff T. Linderoth
A Set-Covering Approach to Customized Coverage Instrumentation. INFORMS J. Comput. 36 (1) (2024)
Alexa Hennen, Cameron Hahnfeldt, Grace Potter, Mengzhen Li, Peter Ohmann
SynpleTest: Using Program Synthesis as a Teaching Aid. SIGCSE (2) (2023)
Peter Ohmann, Ed Novak, Scott J. Reckinger, Shanon M. Reckinger
Have You Tried Oral Exams in Your CS Class? SIGCSE (2) (2023)
Peter Ohmann
An Assessment of Oral Exams in Introductory CS. SIGCSE (2019)
Denis Gopan, Peter Ohmann, David Melski
Vertx: Automated Validation of Binary Transformations. FEAST@CCS (2017)
Peter Ohmann, Ben Liblit
Lightweight control-flow instrumentation and postmortem analysis in support of debugging. Autom. Softw. Eng. 24 (4) (2017)
Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit
Control-flow recovery from partial failure reports. PLDI (2017)
Peter Ohmann, David Bingham Brown, Naveen Neelakandan, Jeff T. Linderoth, Ben Liblit
Optimizing customized program coverage. ASE (2016)
Peter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps
Recovering execution data from incomplete observations. WODA@SPLASH (2015)
Peter Ohmann, Ben Liblit
CSIclipse: presenting crash analysis data to developers. ETX (2015)
Peter Ohmann
Making your crashes work for you (doctoral symposium). ISSTA (2015)
Peter Ohmann, Ben Liblit
Lightweight control-flow instrumentation and postmortem analysis in support of debugging. ASE (2013)
Peter Ohmann
CSI: crash scene investigation. SPLASH (Companion Volume) (2013)