Adam Chlipala
发表
Antonis Stampoulis,
Adam Chlipala,
2018,
Proc. ACM Program. Lang..
Adam Chlipala,
2007
.
Adam Chlipala,
2010,
J. Formaliz. Reason..
Adam Chlipala,
A. Chlipala,
2015,
Communications of the ACM.
Adam Chlipala,
Thomas Grégoire,
2018,
Journal of Automated Reasoning.
Adam Chlipala,
2004
.
Adam Chlipala,
Gregory Malecha,
Thomas Braibant,
2014,
ITP.
George C. Necula,
Adam Chlipala,
G. Necula,
2007
.
Adam Chlipala,
A. Chlipala,
2013
.
Xi Wang,
Adam Chlipala,
Nickolai Zeldovich,
2014,
OSDI.
Adam Chlipala,
Robert H. Sloan,
Andres Erbsen,
2019,
2019 IEEE Symposium on Security and Privacy (SP).
Adam Chlipala,
Thomas Braibant,
A. Chlipala,
2013,
CAV.
Adam Chlipala,
2010,
MSFP '10.
Adam Chlipala,
2008,
ICFP.
Adam Chlipala,
Ziv Scully,
A. Chlipala,
2017,
POPL.
Adam Chlipala,
A. Chlipala,
2011,
PLDI '11.
Adam Chlipala,
M. Frans Kaashoek,
Nickolai Zeldovich,
2017,
Commun. ACM.
Adam Chlipala,
A. Chlipala,
2013,
ICFP.
Adam Chlipala,
Peng Wang,
Benjamin Delaware,
2017,
SNAPL.
Adam Chlipala,
2012
.
Adam Chlipala,
Michael Carbin,
Benjamin Sherman,
2018,
LICS.
Eddie Kohler,
Adam Chlipala,
M. Frans Kaashoek,
2015,
HotOS.
Adam Chlipala,
Arvind,
Thomas Bourgeat,
2020,
PLDI.
Adam Chlipala,
2013
.
Adam Chlipala,
J. Gregory Morrisett,
Gregory Malecha,
2009,
ICFP.
Adam Chlipala,
Robert Harper,
Leaf Petersen,
2005,
TLDI '05.
Adam Chlipala,
A. Chlipala,
2007,
PLDI '07.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2004,
Proceedings. 26th International Conference on Software Engineering.
Adam Chlipala,
Stephanie Wang,
M. Frans Kaashoek,
2017,
SOSP.
Adam Chlipala,
Mohsen Lesani,
Christian J. Bell,
2016,
POPL.
Adam Chlipala,
M. Frans Kaashoek,
Nickolai Zeldovich,
2015,
USENIX Annual Technical Conference.
Adam Chlipala,
Benjamin Delaware,
Clément Pit-Claudel,
2018,
ArXiv.
Adam Chlipala,
2013
.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2004,
PEPM.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2004,
SAS.
Adam Chlipala,
Benjamin Delaware,
Jason Gross,
2015,
POPL.
Adam Chlipala,
A. Chlipala,
2010,
OSDI.
Adam Chlipala,
Arvind,
Joonwon Choi,
2017,
Proc. ACM Program. Lang..
George C. Necula,
Bor-Yuh Evan Chang,
Adam Chlipala,
2005,
TLDI '05.
Adam Chlipala,
2013
.
Adam Chlipala,
Arvind,
Muralidaran Vijayaraghavan,
2015,
CAV.
George C. Necula,
Bor-Yuh Evan Chang,
Adam Chlipala,
2006,
VMCAI.
Adam Chlipala,
Carsten Schürmann,
2012,
ICFP 2012.
Adam Chlipala,
A. Chlipala,
2010,
PLDI '10.
Adam Chlipala,
2015,
PLMW '15.
Adam Chlipala,
2013
.
Adam Chlipala,
Thomas Grégoire,
2016,
ITP.
Adam Chlipala,
Gregory Malecha,
Patrick Hulin,
2013,
ArXiv.
Peng Wang,
Adam Chlipala,
Di Wang,
2017,
Proc. ACM Program. Lang..
Adam Chlipala,
A. Chlipala,
2015,
ICFP.
Adam Chlipala,
A. Chlipala,
2006,
ICFP '06.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2004,
PPDP '04.
Adam Chlipala,
2015
.
Adam Chlipala,
2008,
J. Funct. Program..
Adam Chlipala,
M. Frans Kaashoek,
Nickolai Zeldovich,
2018,
OSDI.
Adam Chlipala,
2013
.
Adam Chlipala,
2007,
Electron. Notes Theor. Comput. Sci..
Adam Chlipala,
A. Chlipala,
2015,
Commun. ACM.
Adam Chlipala,
Qianchuan Ye,
Benjamin Delaware,
2019,
Proc. ACM Program. Lang..
Adam Chlipala,
2020,
CPP.
Adam Chlipala,
2015,
POPL.
Adam Chlipala,
Andres Erbsen,
Jason Gross,
2018,
ITP.
Adam Chlipala,
A. Chlipala,
2010,
POPL '10.
Adam Chlipala,
David I. Spivak,
Jason Gross,
2014,
ITP.
Adam Chlipala,
2008,
ICFP 2008.
Adam Chlipala,
2013
.
George C. Necula,
Bor-Yuh Evan Chang,
Adam Chlipala,
2005,
TLDI '05.
Peng Wang,
Adam Chlipala,
Santiago Cuellar,
2014,
OOPSLA.
Adam Chlipala,
A. Chlipala,
2013
.
Jeremy Avigad,
Adam Chlipala,
2016,
CPP.
Adam Chlipala,
Andres Erbsen,
Samuel Gruetter,
2021,
Artifact Digital Object Group.
Adam Chlipala,
Joonwon Choi,
Andres Erbsen,
2021,
PLDI.
Adam Chlipala,
Arvind,
Thomas Bourgeat,
2021,
ASPLOS.
Adam Chlipala,
A. Chlipala,
2021,
Proc. ACM Program. Lang..
Adam Chlipala,
Thomas Bourgeat,
Andres Erbsen,
2021,
ArXiv.
George C. Necula,
Adam Chlipala,
G. Necula,
2006
.
Adam Chlipala,
Ziv Scully,
2017,
POPL.
Adam Chlipala,
A. Chlipala,
2006
.
Adam Chlipala,
J. Gregory Morrisett,
Gregory Malecha,
2009,
ICFP.
Adam Chlipala,
2013
.
Adam Chlipala,
2009
.
Andrew W. Appel,
Zhong Shao,
Adam Chlipala,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Adam Chlipala,
2013
.
Adam Chlipala,
Andres Erbsen,
Jason Gross,
2016
.