Concepedia

Adam Chlipala

AC

51

Publications

2.5K

Citations

25

H-Index

2004

Active since

Affiliations

Massachusetts Institute of Technology(Current)

Harvard University Press

University of California, Berkeley

Adam Chlipala is an author at Massachusetts Institute of Technology specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationVerificationAutomated ReasoningSystem SoftwareSoftware Engineering

Publications per year

2004–2023

51

Publications

51

Using Crash Hoare logic for certifying the FSCQ file system

Haogang Chen, Daniel Ziegler, Tej Chajed et al. · 2015 · 197 citations · Full text

Distributed File System, Engineering, Verification +21

Mostly-automated verification of low-level programs in computational separation logic

Adam Chlipala · ACM SIGPLAN Notices · 2011 · 131 citations

Program Checking, Engineering, Verification +16

Parametric higher-order abstract syntax for mechanized semantics

Adam Chlipala · ACM SIGPLAN Notices · 2008 · 128 citations

Engineering, Type Theory, Verification +24

Parametric higher-order abstract syntax for mechanized semantics

Adam Chlipala · 2008 · 124 citations

Syntax, Engineering, Operational Semantics +9

Generating tests from counterexamples

Dirk Beyer, Adam Chlipala, Thomas A. Henzinger et al. · Proceedings. 26th International Conference on Software Engineering · 2004 · 121 citations

Program Checking, Engineering, Verification +21

Rows per page

1–5 of 51