このフレームワークには以下が含まれます。
- 構文解析器（Python, Java, Verilog, Fortran, C/C++）
- 上記構文解析器を利用したソースコード比較ツール Diff/AST
- 構文解析結果や比較結果のデータベース操作のためのスクリプト群
- 関連オントロジー群
詳細はこちらにて。
Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes (ESEC/FSE2018)
Delta debugging (DD) is an approach to automating the debugging activities based on systematic testing. DD algorithms find the cause of a regression of a program by minimizing the changes applied between a working version and a faulty version of the program. However, it is still an open problem to minimize a huge set of changes while avoiding any invalid subsets that do not result in testable programs, especially in case that no software configuration management system is available. 続きを読む
An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels (ICPE2017)
The process of performance tuning is time consuming and costly even if it is carried out automatically. It is crucial to learn from the experience of experts. Our long-term goal is to construct a database of facts extracted from specific performance tuning histories of computation-intensive applications such that we can search the database for promising optimization patterns that fit a given kernel. 続きを読む