Michael Schmidt
Research interests
- Compiler construction
- Code generation
- Graph visualization
- macOS
Selected publications
- Closing the Gap — The Formally Verified Optimizing Compiler CompCert.
D. Kästner, X. Leroy, S. Blazy, B. Schommer, M. Schmidt, C. Ferdinand.
In Proceedings of the 25th Safety-Critical System Symposium SSS 2017, February 2017, Bristol, UK.
- Run-Time Guarantees for Real-Time Systems — The USES Approach.
Christian Ferdinand,
Daniel Kästner,
Marc Langenbach,
Florian Martin,
Michael Schmidt,
Jörn Schneider,
Henrik Theiling,
Stephan Thesing,
and Reinhard Wilhelm.
Proceedings of the ATPS99, Paderborn, Germany.