 | 2011 |
|---|
| 18 |       | Adam Chlipala:
Mostly-automated verification of low-level programs in computational separation logic.
PLDI 2011: 234-245 |
| 2010 |
|---|
| 17 | | Adam Chlipala:
Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications.
OSDI 2010: 105-118 |
| 16 | | Adam Chlipala:
Ur: statically-typed metaprogramming with type-level record computation.
PLDI 2010: 122-133 |
| 15 | | Adam Chlipala:
A verified compiler for an impure functional language.
POPL 2010: 93-106 |
| 2009 |
|---|
| 14 | | Adam 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 Chlipala:
Parametric higher-order abstract syntax for mechanized semantics.
ICFP 2008: 143-156 |
| 12 | | Adam Chlipala:
Modular development of certified program verifiers with a proof assistant, .
J. Funct. Program. 18(5-6): 599-647 (2008) |
| 2007 |
|---|
| 11 | | Adam Chlipala:
A certified type-preserving compiler from lambda calculus to assembly language.
PLDI 2007: 54-65 |
| 10 | | Adam Chlipala:
Position Paper: Thoughts on Programming with Proof Assistants.
Electr. Notes Theor. Comput. Sci. 174(7): 17-21 (2007) |
| 2006 |
|---|
| 9 | | Adam Chlipala:
Modular development of certified program verifiers with a proof assistant.
ICFP 2006: 160-171 |
| 8 | | Bor-Yuh Evan Chang,
Adam 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 Chlipala,
George C. Necula,
Robert R. Schneck:
The open verifier framework for foundational verifiers.
TLDI 2005: 1-12 |
| 6 | | Adam Chlipala,
Leaf Petersen,
Robert Harper:
Strict bidirectional type checking.
TLDI 2005: 71-78 |
| 5 | | 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 |
| 2004 |
|---|
| 4 | | Dirk Beyer,
Adam Chlipala,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
Generating Tests from Counterexamples.
ICSE 2004: 326-335 |
| 3 | | Dirk Beyer,
Adam 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 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 Chlipala,
Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar:
The Blast Query Language for Software Verification..
SAS 2004: 2-18 |
Data released under the ODC-BY 1.0 license — See also our legal information page