Robert R. Schneck

According to our database, Robert R. Schneck authored at least 5 papers between 2002 and 2005.

Collaborative distances:

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

2005

Type-based verification of assembly language for compiler debugging.

Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

The open verifier framework for foundational verifiers.

Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

2003

A Sound Framework for Untrusted Verification-Condition Generators.

George C. Necula, Robert R. Schneck

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

2002

Proof-Carrying Code with Untrusted Proof Rules.

George C. Necula, Robert R. Schneck

Proceedings of the Software Security -- Theories and Systems, 2002

A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code.

Robert R. Schneck, George C. Necula

Proceedings of the Automated Deduction, 2002