Chris Hawblitzel

From MaRDI portal
Person:1852266

Available identifiers

zbMath Open hawblitzel.chrisMaRDI QIDQ1852266

List of research outcomes





PublicationDate of PublicationType
Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms2023-11-24Paper
Automated verification of practical garbage collectors2015-07-03Paper
Towards modularly comparing programs using automated theorem provers2013-06-14Paper
Automated verification of practical garbage collectors2010-09-21Paper
Mobile object layer: a runtime substrate for parallel adaptive and irregular computations2003-01-09Paper

Research outcomes over time

This page was built for person: Chris Hawblitzel

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1852266&oldid=6523900"
Powered by MediaWiki