Peter Ohmann

21 papers A* 3A 2Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
2026 — conf
Alternative Assessment in the Era of AI.
SIGCSE (2)
Peter Ohmann, Ed Novak, Scott J. Reckinger, Shanon M. Reckinger
2026 — conf
Systematically Thinking about the Complexity of Code Structuring Exercises at Introductory Level.
SIGCSE (1)
Georgiana Haldeman, Peter Ohmann, Paul Denny
2025 — conf
A Multi-Institutional Assessment of Oral Exams in Software Courses.
SIGCSE (1)
Peter Ohmann, Ed Novak
2025 — conf
Ethics in Motion Interactive Software for Ethical Decision-Making in Autonomous Vehicles.
SIGCSE (2)
Tony Krystofiak, Anna Byron, Peter Ohmann, Heather Amthauer
2025 J jnl
From Conditionals to Consequences: A Framework for Integrating Ethics Labs Across the CS Curriculum.
J. Comput. Sci. Coll.
Heather Amthauer, Peter Ohmann
2025 — conf
Oral Exams in Computer Science Education Amidst ChatGPT Dependency.
SIGCSE (2)
Ed Novak, Peter Ohmann, Scott J. Reckinger, Shanon M. Reckinger
2025 J jnl
Systematically Thinking about the Complexity of Code Structuring Exercises at Introductory Level.
CoRR
Georgiana Haldeman, Peter Ohmann, Paul Denny
2024 J jnl
A Set-Covering Approach to Customized Coverage Instrumentation.
INFORMS J. Comput.
Carla Michini, Peter Ohmann, Ben Liblit, Jeff T. Linderoth
2023 — conf
Have You Tried Oral Exams in Your CS Class?
SIGCSE (2)
Peter Ohmann, Ed Novak, Scott J. Reckinger, Shanon M. Reckinger
2023 J jnl
Oral Exams in CS-Education: Pros and Cons in the Age of AI Assisted Programming.
J. Comput. Sci. Coll.
Ed Novak, Peter Ohmann
2023 — conf
SynpleTest: Using Program Synthesis as a Teaching Aid.
SIGCSE (2)
Alexa Hennen, Cameron Hahnfeldt, Grace Potter, Mengzhen Li, Peter Ohmann
2019 A conf
An Assessment of Oral Exams in Introductory CS.
SIGCSE
Peter Ohmann
2017 A* conf
Control-flow recovery from partial failure reports.
PLDI
Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit
2017 J jnl
Lightweight control-flow instrumentation and postmortem analysis in support of debugging.
Autom. Softw. Eng.
Peter Ohmann, Ben Liblit
2017 — conf
Vertx: Automated Validation of Binary Transformations.
FEAST@CCS
Denis Gopan, Peter Ohmann, David Melski
2016 A* conf
Optimizing customized program coverage.
ASE
Peter Ohmann, David Bingham Brown, Naveen Neelakandan, Jeff T. Linderoth, Ben Liblit
2015 — conf
CSIclipse: presenting crash analysis data to developers.
ETX
Peter Ohmann, Ben Liblit
2015 A conf
Making your crashes work for you (doctoral symposium).
ISSTA
Peter Ohmann
2015 — conf
Recovering execution data from incomplete observations.
WODA@SPLASH
Peter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps
2013 — conf
CSI: crash scene investigation.
SPLASH (Companion Volume)
Peter Ohmann
2013 A* conf
Lightweight control-flow instrumentation and postmortem analysis in support of debugging.
ASE
Peter Ohmann, Ben Liblit