Session chair: Juia Lawall

Understanding the Linux Kernel, Visually
Hanzhi Liu (Nanjing University), Yanyan Jiang (Nanjing University), Chang Xu (Nanjing University)
Paper

Understanding and Detecting SQL Function Bugs: Using Simple Boundary Arguments to Trigger Hundreds of DBMS Bugs
Jingzhou Fu (Tsinghua University), Jie Liang (Tsinghua University), Zhiyong Wu (Tsinghua University), Yanyang Zhao (Tsinghua University), Shanshan Li (National University of Defense Technology), Yu Jiang (Tsinghua University)
Paper

Extending Bugs Triggered by Runtime Testing via Static Analysis
Jia-Ju Bai (Beihang University)
Paper

HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection Joao Oliveira (INESC-ID, IST), Joao Goncalves (INESC-ID & IST U. Lisboa), Miguel Matos (IST Lisbon)
Paper