A. Chlipala
发表
Adam Chlipala,
Arvind,
Joonwon Choi,
2017,
Proc. ACM Program. Lang..
Adam Chlipala,
A. Chlipala,
2011,
PLDI '11.
Adam Chlipala,
Stephanie Wang,
M. Frans Kaashoek,
2017,
SOSP.
Adam Chlipala,
M. Frans Kaashoek,
Nickolai Zeldovich,
2018,
OSDI.
G. Bernstein,
Jonathan Ragan-Kelley,
A. Chlipala,
2022,
Proc. ACM Program. Lang..
G. Tolle,
A. Chlipala,
J. Hui,
2022
.
B. Pierce,
S. Zdancewic,
A. Chlipala,
2022,
Proc. ACM Program. Lang..
Nils Anders Danielsson,
Tiago L. Alves,
Brett Gordon Giles,
2002
.
A. Chlipala,
2004
.
Adam Chlipala,
A. Chlipala,
2006
.
A. Chlipala,
2006
.
A. Chlipala,
2017
.
A. Chlipala,
Thomas Bourgeat,
Clément Pit-Claudel,
2020
.
Jason Gross,
A. Chlipala,
Jade Philipoom,
2022,
ArXiv.
A. Chlipala,
B. E. Chang,
A. Chakrabarti,
2022
.
Andrew W. Appel,
Zhong Shao,
Adam Chlipala,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
A. Chlipala,
Thomas Braibant,
2013
.
A. Chlipala,
D. Jamner,
Jade Philipoom,
2022,
PLDI.
A. Chlipala,
2022
.
Adam Chlipala,
Arvind,
Thomas Bourgeat,
2020,
PLDI.
Jason Gross,
Daniel Genkin,
A. Chlipala,
2022,
2211.10665.
Jason Gross,
Daniel Genkin,
A. Chlipala,
2022,
ArXiv.
Adam Chlipala,
Robert H. Sloan,
Andres Erbsen,
2019,
2019 IEEE Symposium on Security and Privacy (SP).
Adam Chlipala,
Ziv Scully,
A. Chlipala,
2017,
POPL.
Adam Chlipala,
Peng Wang,
Benjamin Delaware,
2017,
SNAPL.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2004,
SAS.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2004,
PPDP '04.
Jason Gross,
Daniel Genkin,
A. Chlipala,
2022,
ArXiv.
Adam Chlipala,
A. Chlipala,
2013
.
Adam Chlipala,
M. Frans Kaashoek,
Nickolai Zeldovich,
2015,
USENIX Annual Technical Conference.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2004,
Proceedings. 26th International Conference on Software Engineering.
Adam Chlipala,
A. Chlipala,
2015,
Commun. ACM.
Jason Gross,
Daniel Genkin,
A. Chlipala,
2023,
2305.19586.
Adam Chlipala,
Qianchuan Ye,
Benjamin Delaware,
2019,
Proc. ACM Program. Lang..
Adam Chlipala,
Mohsen Lesani,
Christian J. Bell,
2016,
POPL.
Peng Wang,
Adam Chlipala,
Di Wang,
2017,
Proc. ACM Program. Lang..
Adam Chlipala,
A. Chlipala,
2013,
ICFP.
Adam Chlipala,
Thomas Braibant,
A. Chlipala,
2013,
CAV.
George C. Necula,
Adam Chlipala,
G. Necula,
2006
.
Adam Chlipala,
A. Chlipala,
2010,
POPL '10.
Adam Chlipala,
A. Chlipala,
2007,
PLDI '07.
Adam Chlipala,
M. Frans Kaashoek,
Nickolai Zeldovich,
2017,
Commun. ACM.
George C. Necula,
Bor-Yuh Evan Chang,
Adam Chlipala,
2005,
TLDI '05.
A. Chlipala,
A. Charguéraud,
Samuel Gruetter,
2023,
ACM Trans. Program. Lang. Syst..
Adam Chlipala,
A. Chlipala,
2010,
OSDI.
Xi Wang,
Adam Chlipala,
Nickolai Zeldovich,
2014,
OSDI.
R. Cunningham,
Benjamin Kaiser,
A. Chlipala,
2022,
2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Adam Chlipala,
A. Chlipala,
2021,
Proc. ACM Program. Lang..
Adam Chlipala,
Gregory Malecha,
Patrick Hulin,
2013,
ArXiv.
Adam Chlipala,
Arvind,
Muralidaran Vijayaraghavan,
2015,
CAV.
Adam Chlipala,
Thomas Bourgeat,
Andres Erbsen,
2021,
ArXiv.
Adam Chlipala,
A. Chlipala,
2013
.
Adam Chlipala,
A. Chlipala,
2015,
Communications of the ACM.
A. Chlipala,
2016
.
Adam Chlipala,
A. Chlipala,
2015,
ICFP.
Adam Chlipala,
A. Chlipala,
2010,
PLDI '10.
A. Chlipala,
Thomas Grégoire,
2016,
Journal of Automated Reasoning.
A. Chlipala,
2013
.
A. Chlipala,
2006
.
Bryan Parno,
N. Zeldovich,
B. Lampson,
2016
.
Jason Gross,
Daniel Genkin,
A. Chlipala,
2023,
Proc. ACM Program. Lang..
Adam Chlipala,
Joonwon Choi,
Andres Erbsen,
2021,
PLDI.
Adam Chlipala,
Arvind,
Thomas Bourgeat,
2021,
ASPLOS.
Adam Chlipala,
A. Chlipala,
2006,
ICFP '06.
Adam Chlipala,
Robert Harper,
Leaf Petersen,
2005,
TLDI '05.
George C. Necula,
Adam Chlipala,
G. Necula,
2007
.
A. Chlipala,
2004
.
Georges Gonthier,
J. Meseguer,
S. Owre,
2006
.
A. Chlipala,
Andres Erbsen,
Mirai Ikebuchi,
2022,
Proc. ACM Program. Lang..
A. Chlipala,
Antonis Stampoulis,
2014
.
Adam Chlipala,
David I. Spivak,
Jason Gross,
2014,
ITP.
A. Chlipala,
Thomas Braibant,
Mit,
2022
.