• Adarsh Yoga, Santosh Nagarakatte and Aarti Gupta. Parallel Data Race Detection for Task Parallel Programs with Locks
  • Yepang Liu, Chang Xu, Shing-Chi Cheungand Valerio Terragni. Understanding and Detecting Wake Lock Misuses for Android Applications
  • Danilo Silva, Nikolaos Tsantalis and Marco Tulio Valente. Why-We-Refactor Dataset
  • Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang and Gang Huang. Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors
  • Jianjun Huang, Xiangyu Zhang and Lin Tan. Artifact: Detecting Sensitive Data Disclosure via Bi-directional Text Correlation Analysis
  • Dirk Beyer, Matthias Dangl, Daniel Dietschand Matthias Heizmann. Correctness Witnesses: Exchanging Verification Results Between Verifiers
  • Fang-Hsiang Su, Jonathan Bell, Kenneth Harvey, Simha Sethumadhavan, Gail Kaiser and Tony Jebara. Code Relatives: Detecting Similarly Behaving Software
  • Monika Dhok and Murali Krishna Ramanathan. Artifact : Directed Test Generation to Detect Loop Inefficiencies
  • Michael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch and Mira Mezini. Call Graph Construction for Java Libraries using OPAL
  • Niranjan Hasabnis and R Sekar. Artifact: Extracting Instruction Semantics Via Symbolic Execution of Code Generators
  • Quinn Hanam, Fernando Brito and Ali Mesbah. A Dataset of Bug Patterns in JavaScript
  • Yulei Sui Jingling Xue. On-Demand Strong Update Analysis via Value-Flow Refinement
  • Chungha Sung, Markus Kusano, Nishant Sinha and Chao Wang. Static DOM Event Dependency Analysis for Testing Web Applications
  • Sven Apel, Dirk Beyer, Vitaly Mordan, Vadim Mutilin, and Andreas Stahlbauer. Replication Package for On-The-Fly Decomposition of Specifications in Software Model Checking
  • Weihang Wang, Yunhui Zheng, Xinyu Xing,Yonghwi Kwon, Xiangyu Zhang and Patrick Eugster. WebRanz Artifact Evaluation
  • Zhaogui Xu, Peng Liu, Xiangyu Zhang and Baowen Xu. Python Predictive Analysis for Bug Detection
  • Zhaogui Xu, Xiangyu Zhang, Lin Chen, Kexin Pei, and Baowen Xu. Python Probabilistic Type Inference with Natural Language Support