Peter Ohmann

Orcid: 0000-0002-7670-7374

According to our database1, Peter Ohmann authored at least 11 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Have You Tried Oral Exams in Your CS Class?
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

SynpleTest: Using Program Synthesis as a Teaching Aid.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2019
An Assessment of Oral Exams in Introductory CS.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

2017
Lightweight control-flow instrumentation and postmortem analysis in support of debugging.
Autom. Softw. Eng., 2017

Control-flow recovery from partial failure reports.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Vertx: Automated Validation of Binary Transformations.
Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, 2017

2016
Optimizing customized program coverage.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015
Recovering execution data from incomplete observations.
Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

Making your crashes work for you (doctoral symposium).
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

CSIclipse: presenting crash analysis data to developers.
Proceedings of the 2015 Workshop on Eclipse Technology eXchange, 2015

2013
CSI: crash scene investigation.
Proceedings of the SPLASH'13, 2013


  Loading...