Tho Zimmermann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | STOC | Determination of the Fifth Busy Beaver Value. | Justin Blanchard, Daniel Briggs, Konrad Deka, Nathan Fenner, Yannick Forster, Georgi Georgiev (Skelet), Matthew L. House, Maja Kadziolka, Pavel Kropitz, Shawn Ligocki, mxdys, Mateusz Nasciszewski, Tristan Strin, Chris Xu, Jason Yuen, Tho Zimmermann |
| 2025 | MSR | Does Functional Package Management Enable Reproducible Builds at Scale? Yes. | Julien Malka, Stefano Zacchiroli, Tho Zimmermann |
| 2024 | ICSE | Reproducibility of Build Environments through Space and Time. | Julien Malka, Stefano Zacchiroli, Tho Zimmermann |
| 2023 | ITP | Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. | Ana de Almeida Borges, Annal Casanueva Arts, Jean-Rmy Falleri, Emilio Jess Gallego Arias, rik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Tho Zimmermann |
| 2022 | ITP | Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. | Jason Gross, Tho Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala |
| 2020 | ICSE | A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages. | Tho Zimmermann |
| 2016 | CIKM | Design and development of a tool based on Coq to write and format mathematical proofs. | Tho Zimmermann |