If you have used ARG-V/PAClab in a research paper, please contact us and let us know so we can include the publication in this list!
| Title | Author | Date | Venue | URL |
|---|---|---|---|---|
| Leveraging Code Embeddings to Identify and Address Blind Spots in Benchmark Creation | Charles Moloney | April 23, 2026 | A master's thesis at the University of Nebraska-Lincoln | TODO |
| Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP | Charles Moloney, Robert Dyer, Elena Sherman | April 15, 2026 | International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | https://doi.org/10.1007/978-3-032-22749-2 |
| PAClab: a Program Analysis Collaboratory | Rebecca Brunner, Maria Paquin, Robert Dyer, and Elena Sherman | Nov. 8, 2020 | 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020) | https://doi.org/10.1145/3368089.3417936 |
| Enabling Efficient Storage of Git Repositories in PAClab | Rebecca Brunner | Aug. 1, 2020 | A master's thesis at Bowling Green State University | http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1594630887906346 |
| Obtaining Real-World Benchmark Programs from Open-Source Repositories Through Abstract-Semantics Preserving Transformations | Maria Anne Rachel Paquin | May 4, 2020 | A master's thesis at Boise State University | https://scholarworks.boisestate.edu/td/1644/ |
| Software Engineering Collaboratories (SEClabs) and Collaboratories as a Service (CaaS) | Elena Sherman and Robert Dyer | Nov. 6, 2018 | 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering New Ideas and Emerging Results (ESEC/FSE 2018 NIER) | https://doi.org/10.1145/3236024.3264839 |