Login / Signup
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)