Mayur Naik

Sporq: 使用示例查询的交互式代码探索环境

Naik 等人开发了 Sporq 系统，通过示例查询和高保真关系程序表示，使用户能够交互式发现代码库中的 bug 和代码异味，实验证明能显著降低编写自定义分析的成本。