一句话：PAClab 是按用户标准从开源仓库发现、获取并转换真实程序基准的 Web 协作平台。
程序分析与验证研究常依赖真实程序基准，但研究者手工从开源仓库寻找、筛选并适配这些程序成本高昂。PAClab 是一个基于 Web 的程序分析协作平台，允许用户定义选择标准；平台据此从开源仓库中识别相关项目及其程序，自动获取这些程序，并在必要时执行可靠（sound）的程序变换，使其适配目标验证工具，最终提供可下载的基准。PAClab 采用可扩展、模块化、可参数化的设计，并利用计算机集群处理多个用户请求，从而支持共享和复用程序基准。摘要未报告定量评估，论文以工具系统介绍为主，强调其功能、架构与多请求可扩展性。
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.
DOI 原文 ·
@inproceedings{paperbot5741,
title = {PAClab: a program analysis collaboratory},
author = {Rebecca Brunner and Robert Dyer and Maria Paquin and Elena Sherman},
booktitle = {FSE},
year = {2020},
doi = {10.1145/3368089.3417936}
}