Paul Twohey

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
Using model checking to find serious file system errors. ACM Trans. Comput. Syst. 24 (4) (2006)
Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler
From Uncertainty to Belief: Inferring the Specification Within. OSDI (2006)
Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler
Automatically Generating Malicious Disks using Symbolic Execution. IEEE Symposium on Security and Privacy (2006)
Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). OSDI (2004)