Paul Twohey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2004–2006
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | OSDI | From Uncertainty to Belief: Inferring the Specification Within. | Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler |
| 2006 | SP | Automatically Generating Malicious Disks using Symbolic Execution. | Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler |
| 2004 | OSDI | Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). | Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi |