bibliographer - Christian Ferdinand

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Closing the Gap -- The Formally Verified Optimizing Compiler CompCert Daniel Kastner Xavier Leroy Sandrine Blazy Bernhard Schommer Michael Schmidt Christian Ferdinand [github]

The worst-case execution-time problem---overview of methods and survey of tools Reinhard Wilhelm Jakob Engblom Andreas Ermedahl Niklas Holsti Stephan Thesing David Whalley Guillem Bernat Christian Ferdinand Reinhold Heckmann Tulika Mitra Frank Mueller Isabelle Puaut Peter Puschner Jan Staschulat Per Stenstrøm [github]

Library Size: 13G (2 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]