Adam Chlipala
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Mostly-automated verification of low-level programs in computational separation logic
Adam Chlipala (2011) · 32nd ACM Conference on Programming Language Design and Implementation (PLDI)