Paul Twohey

According to our database, Paul Twohey authored at least 4 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

Using model checking to find serious file system errors.

Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi

ACM Trans. Comput. Syst., 2006

Automatically Generating Malicious Disks using Symbolic Execution.

Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

From Uncertainty to Belief: Inferring the Specification Within.

Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

2004

Using Model Checking to Find Serious File System Errors (Awarded Best Paper!).

Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi

Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004