research
∙
04/27/2022
Advantages of maintaining a multi-task project-specific bot: an experience report
Bots are becoming a popular method for automating basic everyday tasks i...
share
research
∙
03/18/2022
Reliably Reproducing Machine-Checked Proofs with the Coq Platform
The Coq Platform is a continuously developed distribution of the Coq pro...
research
∙
02/28/2022
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
As the adoption of proof assistants increases, there is a need for effic...
research
∙
12/14/2021
Extending the team with a project-specific bot
While every other software team is adopting off-the-shelf bots to automa...
research
∙
08/17/2021
A grounded theory of Community Package Maintenance Organizations-Registered Report
a) Context: In many programming language ecosystems, developers rely mor...
research
∙
04/07/2020