Robert R. Schneck

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Publications

Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck
The open verifier framework for foundational verifiers. TLDI (2005)
Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck
Type-based verification of assembly language for compiler debugging. TLDI (2005)
George C. Necula, Robert R. Schneck
A Sound Framework for Untrusted Verification-Condition Generators. LICS (2003)
Robert R. Schneck, George C. Necula
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code. CADE (2002)
George C. Necula, Robert R. Schneck
Proof-Carrying Code with Untrusted Proof Rules. ISSS (2002)