🏠홈📊트렌드🏆논문👤마이
CS-Pedia
TrendsBest Papers
Best Papers/FSE

FSE Best Papers

ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

60 papers · 2020–2025

← FSE Conference Info

🏆 2025(13)

Distinguished Paper Award
Demystifying LLM-based Software Engineering Agents
Xia, Deng, Dunn & Zhang
LLMSoftware Agents
Distinguished Paper Award
Hallucination Detection in Large Language Models with Metamorphic Relations
Yang, Al Mamun, Zhang & Uddin
LLMHallucination Detection
Distinguished Paper Award
Less is More: On the Importance of Data Quality for Unit Test Generation
Zhang, Hu, Gao, Xia, Lo & Li
Unit TestingLLM
Distinguished Paper Award
Mystique: Automated Vulnerability Patch Porting with Semantic and Syntactic-Enhanced LLM
Wu, Wang, Cao, Chen, Zhou, Huang, Zhao & Peng
Vulnerability PatchingLLM
Distinguished Paper Award
Pinning Is Futile: You Need More Than Local Dependency Versioning to Defend Against Supply Chain Attacks
He, Vasilescu & Kästner
Supply Chain SecuritySoftware Dependencies
Best Paper Award
Gleipner: A Benchmark for Gadget Chain Detection in Java Deserialization Vulnerabilities
Bruno Kreyssig & Alexandre Bartel
BenchmarkingDetection
Best Paper Award
UnitCon: Synthesizing Targeted Unit Tests for Java Runtime Exceptions
Sujin Jang, Yeonhee Ryou, Heewon Lee, Kihong Heo
Best Paper Award
COFFE: A Code Efficiency Benchmark for Code Generation
Yun Peng, Jun Wan, Yichen Li, Xiaoxue Ren
Code GenerationBenchmarkingGenerative Models
Best Paper Award
QSF: Multi-Objective Optimization based Efficient Solving for Floating-Point Constraints
Xu Yang, Zhenbang Chen, Wei Dong, Ji Wang
OptimizationEfficiency
Best Paper Award
A Causal Learning Framework for Enhancing Robustness of Source Code Models
Junyao Ye, Zhen Li, Xi Tang, Deqing Zou, Shouhuai Xu, Qiang Weizhong, Hai Jin
Robustness
Best Paper Award
PDCAT: Preference-Driven Compiler Auto-Tuning
Mingxuan Zhu, Zeyu Sun, Dan Hao
Compilers
Best Paper Award
Expressing and Checking Statistical Assumptions
Alexi Turcotte, Zheyuan Wu
Best Paper Award
Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle
Xiaokun Luan, David Sanán, Zhe Hou, Qiyuan Xu, Chengwei Liu, Yufan Cai, Yang Liu, Meng Sun
Proof Assistants

🏆 2024(12)

Distinguished Paper Award
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification
Beyer, Chien, Jankola, Lee
VerificationModel Checking
Distinguished Paper Award
Only diff Is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language Model
Li, Faragó, Petrov, Ahmed
LLMCode Generation
Best Paper Award
A Transferability Study of Interpolation-Based Hardware Model Checking to Software Verification
Dirk Beyer, Po-Chun Chien, Marek Jankola, Nian-Ze Lee
Hardware
Best Paper Award
"The Law Doesn't Work Like a Computer": Exploring Software Licensing Issues Faced by Legal Practitioners
Nathan Wintersgill, Trevor Stalnaker, Laura A. Heymann, Oscar Chaparro, Denys Poshyvanyk
Best Paper Award
Improving the Learning of Code Review Successive Tasks with Cross-Task Knowledge Distillation
Oussama Ben Sghaier & Houari Sahraoui
Code Review
Best Paper Award
Component Security Ten Years Later: An Empirical Study of Cross-Layer Threats in Real-World Mobile Applications
Keke Lian, Lei Zhang, Guangliang Yang, Shuo Mao, Xinjie Wang, Yuan Zhang, Min Yang
Best Paper Award
Understanding Developers' Discussions and Perceptions on Non-functional Requirements: The Case of the Spring Ecosystem
Anderson Oliveira, João Lucas Correia, Wesley K.G. Assunção, Juliana Alves Pereira, Rafael de Mello, Daniel Coutinho, Caio Barbosa, Paulo Vítor C. F. Libório
Best Paper Award
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu
Best Paper Award
Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning
Aashish Yadavally, Yi Li, Tien N. Nguyen
Best Paper Award
TraStrainer: Adaptive Sampling for Distributed Traces with System Runtime State
Haiyu Huang, Xiaoyu Zhang, Pengfei Chen, Zilong He, Zhiming Chen, Guangba Yu, Hongyang Chen, Chen Sun
Best Paper Award
Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing
Xiao Cheng, Jiawei Ren, Yulei Sui
Best Paper Award
ProveNFix: Temporal Property-Guided Program Repair
Yahui Song, Xiang Gao, Wenhua Li, Wei-Ngan Chin, Abhik Roychoudhury
Program Repair

🏆 2023(13)

Best Paper Award
Recommending Analogical APIs via Knowledge Graph Embedding
Liu et al.
APIKnowledge Graph
Best Paper Award
TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts
Chenyang Ma, Wei Song, Jeff Huang
TransactionsDetection
Best Paper Award
LExecutor: Learning-Guided Execution
Beatriz Souza & Michael Pradel
Best Paper Award
A Longitudinal Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention
Zihan Fang, Madeline Endres, Thomas Zimmermann, Denae Ford, Westley R Weimer, Kevin Leach, Yu Huang
Best Paper Award
Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities
Xinyu Gao, Zhijie Wang, Yang Feng, Lei Ma, Zhenyu Chen, Baowen Xu
RobustnessSensors
Best Paper Award
NeuRI: Diversifying DNN Generation via Inductive Rule Inference
Jiawei Liu, Jinjun Peng, Yuyao Wang, Lingming Zhang
Generative Models
Best Paper Award
Can Machine Learning Pipelines Be Better Configured?
Yibo Wang, Ying Wang, Tingwei Zhang, Yue Yu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu
Best Paper Award
An Automated Approach to Extracting Local Variables
Xiaye Chi, Hui Liu, Guangjie Li, Weixiao Wang, Yunni Xia, Yanjie Jiang, Yuxia Zhang, Weixing Ji
Best Paper Award
A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing
Min-Yih Hsu, Felicitas Hetzelt, David Gens, Michael Maitland, Michael Franz
Network PerformanceTracing
Best Paper Award
Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors
Ruoxi Sun, Minhui Xue, Gareth Tyson, Tian Dong, Shaofeng Li, Shuo Wang, Haojin Zhu, Seyit Camtepe
RobustnessMalware DetectionExplainable AI
Best Paper Award
Speeding up SMT Solving via Compiler Optimization
Benjamin Mikek & Qirun Zhang
OptimizationCompilersSMT Solving
Best Paper Award
Baldur: Whole-Proof Generation and Repair with Large Language Models
Emily First, Markus Rabe, Talia Ringer, Yuriy Brun
LLMGenerative Models
Best Paper Award
A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention
Zihan Fang, Madeline Endres, Thomas Zimmermann, Denae Ford, Westley R Weimer, Kevin Leach, Yu Huang

🏆 2022(7)

Best Paper Award
Using Nudges to Accelerate Code Reviews at Scale
Shan et al.
Code ReviewNudges
Best Paper Award
Minerva: Browser API Fuzzing with Dynamic Mod-Ref Analysis
Chijin Zhou, Quan Zhang, Mingzhe Wang, Lihua Guo, Jie Liang, Zhe Liu, Mathias Payer, Yu Jiang
Fuzzing
Best Paper Award
The Evolution of Type Annotations in Python: An Empirical Study
Luca Di Grazia & Michael Pradel
Best Paper Award
Online Testing of RESTful APIs: Promises and Challenges
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
Best Paper Award
Asynchronous Technical Interviews: Reducing the Effect of Supervised Think-Aloud on Communication Ability
Mahnaz (Mana) Behroozi, Chris Brown, Chris Parnin
Best Paper Award
SPINE: A Scalable Log Parser with Feedback Guidance
Xuheng Wang, Xu Zhang, Liqun Li, Shilin He, Hongyu Zhang, Yudong Liu, Lingling Zheng, Yu Kang
Logging
Best Paper Award
First Come First Served: The Impact of File Position on Code Review
Enrico Fregnan, Larissa Braz, Marco D'Ambros, Gül Calikli, Alberto Bacchelli
Code Review

🏆 2021(8)

Distinguished Paper Award
Bias in Machine Learning Software: Why? How? What to Do?
Joymallya Chakraborty, Suvodeep Majumder, Tim Menzies
fairnessbiasML software engineering
Distinguished Paper Award
Probabilistic Delta Debugging
Guancheng Wang, Ruobing Shen, Junjie Chen, Yingfei Xiong, Lu Zhang
debuggingdelta debuggingprogram analysis
Best Paper Award
A longitudinal analysis of bloated Java dependencies
César Soto-Valero, Thomas Durieux, Benoit Baudry
Best Paper Award
AlloyMax: bringing maximum satisfaction to relational specifications
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang
Relational Databases
Best Paper Award
Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module Recontextualization
Nikos Vasilakis, Grigoris Ntousakis, Veit Heller, Martin C. Rinard
Efficiency
Best Paper Award
Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic Bugs
Jibesh Patra & Michael Pradel
Best Paper Award
SmartCommit: A Graph-Based Interactive Assistant for Activity-Oriented Commits
Bo Shen, Wei Zhang, Christian Kästner, Haiyan Zhao, Zhao Wei, Guangtai Liang, Zhi Jin
Best Paper Award
Vet: Identifying and Avoiding UI Exploration Tarpits
Wenyu Wang, Wei Yang, Tianyin Xu, Tao Xie
HCIExploration

🏆 2020(7)

Best Paper Award
A Principled Approach to GraphQL Query Cost Analysis
Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim Alain Laredo
Best Paper Award
Boosting fuzzer efficiency: an information theoretic perspective
Marcel Bohme, Valentin J. Manes, Sang-kil Cha
Best Paper Award
Community expectations for research artifacts and evaluation processes
Ben Hermann, Stefan Winter, Janet Siegmund
Best Paper Award
Deep learning library testing via effective model generation
Zan Wang, Ming Yan, Junjie Chen, Shuang Liu, Dongdi Zhang
Deep LearningGenerative Models
Best Paper Award
Detecting numerical bugs in neural network architectures
Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, S. C. Cheung, Tao Xie
Neural Networks
Best Paper Award
On decomposing a deep neural network into modules
Rangeet Pan & Hridesh Rajan
Neural Networks
Best Paper Award
Testing self-adaptive software with probabilistic guarantees on performance metrics
Claudio Mandrioli, Martina Maggio

CS-Pedia — 한국 CS 연구자를 위한 학회 통합 플랫폼

데이터 출처: DBLP (CC0), OpenAlex (CC0), Semantic Scholar, aideadlin.es (MIT), 한국연구재단, 한국정보과학회, jeffhuang.com

제출 전 데드라인·학회 일정은 공식 웹사이트에서 반드시 확인하세요.

소개·개인정보 처리방침·이용약관·문의