default search action

combined dblp search
author search
venue search
publication search

ask others

Robert R. Schneck

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2005
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/ChangCNS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/ChangCNS05
Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck:
The open verifier framework for foundational verifiers. TLDI 2005: 1-12
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/ChangCNS05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/ChangCNS05a
Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck:
Type-based verification of assembly language for compiler debugging. TLDI 2005: 91-102
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/NeculaS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/NeculaS03
George C. Necula, Robert R. Schneck:
A Sound Framework for Untrusted Verification-Condition Generators. LICS 2003: 248-260
2002
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/SchneckN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SchneckN02
Robert R. Schneck, George C. Necula:
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code. CADE 2002: 47-62
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/isss2/NeculaS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isss2/NeculaS02
George C. Necula, Robert R. Schneck:
Proof-Carrying Code with Untrusted Proof Rules. ISSS 2002: 283-298

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.