PAClab: A Program Analysis Collaboratory (Video, ESEC/FSE 2020)
"PAClab: A Program Analysis Collaboratory (Video, ESEC/FSE 2020)
Rebecca Brunner, Robert Dyer, Maria Paquin, and Elena Sherman
(Bowling Green State University, USA; Bowling Green State University, USA; Boise State University, USA; Boise State University, USA)
Abstract: We present a web-based Program Analysis Collaboratory (PAClab) tool that helps researchers to obtain realistic program benchmarks using user-defined selection criteria. Based on selection criteria, PAClab identifies relevant projects and its programs from open-source repositories, obtains those programs, and if necessary performs sound program transformations to adapt them to the targeted verification tool. PAClab makes the resulting program benchmarks available for download. PAClab is designed as a scalable, modular, and parametrizable tool that takes advantage of a computer cluster to handle multiple user requests.
Article: https://doi.org/10.1145/3368089.3417936
Submitted to the conference by Robert Dyer on 2020-11-01
Video Tags: program analysis, program benchmarks, collaboratory, fse20demo-p32-p, DOI: 10.1145/3368089.3417936
Presentation at the ESEC/FSE 2020 conference, November 8–13, 2020, https://2020.esec-fse.org/
Sponsored by ACM SIGSOFT, https://www.sigsoft.org/
Twitter: / fseconf
Reddit: / esecfse "
ISSTA 2021: Panels Celebrating 30 editions of ISSTA (statements from panel in timeband 1)
ISSTA 2021: Panels Celebrating 30 editions of ISSTA (statements from panel in timeband 3)