 | 2009 |
|---|
| 14 |       | Adam J. Chlipala,
J. Gregory Malecha,
Greg Morrisett,
Avraham Shinnar,
Ryan Wisnesky:
Effective interactive proofs for higher-order imperative programs.
ICFP 2009: 79-90 |
| 2008 |
|---|
| 13 | | Adam J. Chlipala:
Parametric higher-order abstract syntax for mechanized semantics.
ICFP 2008: 143-156 |
| 12 | | Adam J. Chlipala:
Modular development of certified program verifiers with a proof assistant, .
J. Funct. Program. 18(5-6): 599-647 (2008) |
| 2007 |
|---|
| 11 | | Adam J. Chlipala:
A certified type-preserving compiler from lambda calculus to assembly language.
PLDI 2007: 54-65 |
| 10 | | Adam J. Chlipala:
Position Paper: Thoughts on Programming with Proof Assistants.
Electr. Notes Theor. Comput. Sci. 174(7): 17-21 (2007) |
| 2006 |
|---|
| 9 | | Adam J. Chlipala:
Modular development of certified program verifiers with a proof assistant.
ICFP 2006: 160-171 |
| 8 | | Bor-Yuh Evan Chang,
Adam J. Chlipala,
George C. Necula:
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety.
VMCAI 2006: 174-189 |
| 2005 |
|---|
| 7 | | Bor-Yuh Evan Chang,
Adam J. Chlipala,
George C. Necula,
Robert R. Schneck:
The open verifier framework for foundational verifiers.
TLDI 2005: 1-12 |
| 6 | | Adam J. Chlipala,
Leaf Petersen,
Robert Harper:
Strict bidirectional type checking.
TLDI 2005: 71-78 |
| 5 | | Bor-Yuh Evan Chang,
Adam J. Chlipala,
George C. Necula,
Robert R. Schneck:
Type-based verification of assembly language for compiler debugging.
TLDI 2005: 91-102 |
| 2004 |
|---|
| 4 | | Dirk Beyer,
Adam J. Chlipala,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
Generating Tests from Counterexamples.
ICSE 2004: 326-335 |
| 3 | | Dirk Beyer,
Adam J. Chlipala,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
Invited talk: the blast query language for software verification.
PEPM 2004: 201-202 |
| 2 | | Dirk Beyer,
Adam J. Chlipala,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
Invited talk: the blast query language for software verification.
PPDP 2004: 1-2 |
| 1 | | Dirk Beyer,
Adam J. Chlipala,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
The Blast Query Language for Software Verification..
SAS 2004: 2-18 |
