| 2008 |
|---|
| 13 | EE | Adam J. Chlipala:
Parametric higher-order abstract syntax for mechanized semantics.
ICFP 2008: 143-156 |
| 12 | EE | Adam J. Chlipala:
Modular development of certified program verifiers with a proof assistant, .
J. Funct. Program. 18(5-6): 599-647 (2008) |
| 2007 |
|---|
| 11 | EE | Adam J. Chlipala:
A certified type-preserving compiler from lambda calculus to assembly language.
PLDI 2007: 54-65 |
| 10 | EE | Adam J. Chlipala:
Position Paper: Thoughts on Programming with Proof Assistants.
Electr. Notes Theor. Comput. Sci. 174(7): 17-21 (2007) |
| 2006 |
|---|
| 9 | EE | Adam J. Chlipala:
Modular development of certified program verifiers with a proof assistant.
ICFP 2006: 160-171 |
| 8 | EE | 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 | EE | 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 | EE | Adam J. Chlipala,
Leaf Petersen,
Robert Harper:
Strict bidirectional type checking.
TLDI 2005: 71-78 |
| 5 | EE | 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 | EE | Dirk Beyer,
Adam J. Chlipala,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
Generating Tests from Counterexamples.
ICSE 2004: 326-335 |
| 3 | EE | 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 | EE | 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 | EE | Dirk Beyer,
Adam J. Chlipala,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
The Blast Query Language for Software Verification..
SAS 2004: 2-18 |
