Awards

Test of Time Award Winning Paper from ESEC/FSE 2013

Aravind Machiry, Rohan Tahiliani, Mayur Naik: “Dynodroid: an input generation system for Android apps”

For designing Dynodroid, an efficient and robust heuristic-guided random testing framework that has had a major impact on Android app testing in the last decade

Distinguished Papers

• Baldur: Whole-Proof Generation and Repair with Large Language Models E. First, M. Rabe, T. Ringer, Y. Brun

• Speeding up SMT Solving via Compiler Optimization B. Mikek, Q. Zhang

• Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors R. Sun, M. Xue, G. Tyson, T. Dong, S. Li, S. Wang, H. Zhu, S. Camtepe, S. Nepal

• A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing M. Hsu, F. Hetzelt, D. Gens, M. Maitland, M. Franz

• An Automated Approach to Extracting Local Variables X. Chi, H. Liu, G. Li, W. Wang, Y. Xia, Y. Jiang, Y. Zhang, W. Ji

• Can Machine Learning Pipelines Be Better Configured? Y. Wang, Y. Wang, T. Zhang, Y. Yu, S. Cheung, H. Yu, Z. Zhu

• NeuRI: Diversifying DNN Generation via Inductive Rule Inference J. Liu, J. Peng, Y. Wang, L. Zhang

• Benchmarking Robustness of AI-enabled Multi-sensor Fusion Systems: Challenges and Opportunities X. Gao, Z. Wang, Y. Feng, L. Ma, Z. Chen, B. Xu

• A Longitudinal Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention Z. Fang, M. Endres, T. Zimmermann, D. Ford, W. Weimer, K. Leach, Y. Huang

• LExecutor: Learning-Guided Execution B. Souza, M. Pradel

• TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts C. Ma, W. Song, J. Huang

• Recommending Analogical APIs via Knowledge Graph Embedding M. Liu, Y. Yang, Y. Lou, X. Peng, Z. Zhou, X. Du, T. Yang

Distinguished Reviewers

Bram Adams, Arpád Beszédes, Nimrod Busany, Preetha Chaterjee, Chunrong Fang, Fernanda Madeiral, Martin Pinzger, Mike Papadakis, Joanna Cecilia da Silva Santos, Shiyi Wei, Jason (Minhui) Xue, Chengyu Zhang

Best Artifact Award

The Artifacts Evaluation Committee has selected the two best artifacts to recognize the effort of authors creating and sharing outstanding research artifacts.

• Arthur Correnson, Dominic Steinhöfel: Engineering a Formally Verified Automated Bug Finder
• Yaohui Peng, Jing Xie, Qiongling Yang, Hanwen Guo, Qingan Li, Jingling Xue, Yuan Mengting: Statistical Type Inference for incomplete Programs