11 citations · 17 across the 8 of their papers we have counts for
5 papers · 1 filter
Advantages of maintaining a multi-task project-specific bot: an experience report
Théo Zimmermann, Julien Coolen, Jason Gross +2
Bots are becoming a popular method for automating basic everyday tasks in many software projects. This is true in particular because of the availability of many off-the-shelf task-…
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
Jason Gross, Théo Zimmermann, Rajashree Agrawal +1
As the adoption of proof assistants increases, there is a need for efficiency in identifying, documenting, and fixing compatibility issues that arise from proof assistant evolution…
Extending the team with a project-specific bot
Théo Zimmermann, Julien Coolen, Jason Gross +2
While every other software team is adopting off-the-shelf bots to automate everyday tasks, the Coq team has made a different choice by developing and maintaining a project-specific…
A grounded theory of Community Package Maintenance Organizations-Registered Report
Théo Zimmermann, Jean-Rémy Falleri
a) Context: In many programming language ecosystems, developers rely more and more on external open source dependencies, made available through package managers. Key ecosystem pack…
A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages
Théo Zimmermann
One of the biggest strength of many modern programming languages is their rich open source package ecosystem. Indeed, modern language-specific package managers have made it much ea…