Personal profile
Fingerprint
Dive into the research topics where Théo Zimmermann is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Does Functional Package Management Enable Reproducible Builds at Scale? Yes.
Malka, J., Zacchiroli, S. & Zimmermann, T., 1 Jan 2025, Proceedings - 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories, MSR 2025. Institute of Electrical and Electronics Engineers Inc., p. 775-787 13 p. (Proceedings - 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories, MSR 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users
de Almeida Borges, A., Casanueva Artís, A., Falleri, J. R., Gallego Arias, E. J., Martin-Dorel, É., Palmskog, K., Serebrenik, A. & Zimmermann, T., 1 Mar 2025, In: Journal of Automated Reasoning. 69, 1, 8.Research output: Contribution to journal › Article › peer-review
Open Access -
The impact of the COVID-19 pandemic on women’s contribution to public code
Casanueva, A., Rossi, D., Zacchiroli, S. & Zimmermann, T., 1 Feb 2025, In: Empirical Software Engineering. 30, 1, 25.Research output: Contribution to journal › Article › peer-review
Open Access -
Reproducibility of Build Environments through Space and Time
Malka, J., Zacchiroli, S. & Zimmermann, T., 24 May 2024, Proceedings - 2024 ACM/IEEE 46th International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2024. IEEE Computer Society, p. 97-101 5 p. (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
A grounded theory of community package maintenance organizations
Zimmermann, T. & Falleri, J. R., 1 Jul 2023, In: Empirical Software Engineering. 28, 4, 101.Research output: Contribution to journal › Article › peer-review
Open Access -
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users
de Almeida Borges, A., Artís, A. C., Falleri, J. R., Arias, E. J. G., Martin-Dorel, É., Palmskog, K., Serebrenik, A. & Zimmermann, T., 1 Jul 2023, 14th International Conference on Interactive Theorem Proving, ITP 2023. Naumowicz, A. & Thiemann, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 268).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
Gross, J., Zimmermann, T., Poddar-Agrawal, M. & Chlipala, A., 1 Aug 2022, 13th International Conference on Interactive Theorem Proving, ITP 2022. Andronick, J. & de Moura, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 237).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report
Zimmermann, T., Coolen, J., Gross, J., Pedrot, P. M. & Gilbert, G., 1 Jan 2022, In: IEEE Software. 39, 5, p. 32-37 6 p.Research output: Contribution to journal › Article › peer-review
Open Access -
A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages
Zimmermann, T., 27 Jun 2020, Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020. Association for Computing Machinery, Inc, p. 711-718 8 p. (Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Impact of Switching Bug Trackers: A Case Study on a Medium-Sized Open Source Project
Zimmermann, T. & Casanueva Artis, A., 1 Sept 2019, Proceedings - 2019 IEEE International Conference on Software Maintenance and Evolution, ICSME 2019. Institute of Electrical and Electronics Engineers Inc., p. 13-23 11 p. 8919119. (Proceedings - 2019 IEEE International Conference on Software Maintenance and Evolution, ICSME 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review