☰

Adam J. Chlipala, Ph.D. - Publications

Affiliations: 
2007 University of California, Berkeley, Berkeley, CA, United States 
Area:
Programming Systems (PS); Security (SEC); software engineering, security, program analysis
Tree Info Similar researchers PubMed Report error

9 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Grégoire T, Chlipala A. Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms Journal of Automated Reasoning. 62: 193-213. DOI: 10.1007/S10817-018-9451-Y  0.301
2017 Appel AW, Beringer L, Chlipala A, Pierce BC, Shao Z, Weirich S, Zdancewic S. Position paper: the science of deep specification. Philosophical Transactions. Series a, Mathematical, Physical, and Engineering Sciences. 375. PMID 28871056 DOI: 10.1098/Rsta.2016.0331  0.303
2017 Chajed T, Chen H, Chlipala A, Kaashoek MF, Zeldovich N, Ziegler D. Certifying a file system using crash hoare logic: correctness in the presence of crashes Communications of the Acm. 60: 75-84. DOI: 10.1145/3051092  0.329
2016 Chlipala A. Ur/Web: a simple model for programming the web Communications of the Acm. 59: 93-100. DOI: 10.1145/2958736  0.332
2010 Chlipala A. An Introduction to Programming and Proving with Dependent Types in Coq Journal of Formalized Reasoning. 3: 1-93. DOI: 10.6092/Issn.1972-5787/1978  0.368
2008 Chlipala A. Modular development of certified program verifiers with a proof assistant1,2 Journal of Functional Programming. 18: 599-647. DOI: 10.1017/S0956796808006904  0.429
2007 Chlipala A. Position Paper: Thoughts on Programming with Proof Assistants Electronic Notes in Theoretical Computer Science. 174: 17-21. DOI: 10.1016/J.Entcs.2006.10.035  0.398
2004 Beyer D, Chlipala AJ, Henzinger TA, Jhala R, Majumdar R. The BLAST query language for software verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3148: 2-18.  0.34
2004 Beyer D, Chlipala AJ, Henzinger TA, Jhala R, Majumdar R. Invited talk: The blast query language for software verification Proceedings of the Acm Sigplan Symposium On Partial Evaluation and Semantics-Based Program Manipulation. 201-202.  0.343
Show low-probability matches.