ASE 2025
Sun 16 - Thu 20 November 2025 Seoul, South Korea

This program is tentative and subject to change.

Tue 18 Nov 2025 11:50 - 12:00 at Grand Hall 3 - Formal Method & Verification 2

This paper studies programmer visual attention on function call graphs during code summarization. Programmer visual attention refers to where people look when performing a software engineering task, and code summarization is the task of writing a natural language description about a section of source code. Prior work has studied programmers’ visual attention during code summarization, with the vast majority of research effort placed on details in single functional units of code. There have not been any techniques developed to understand code comprehension at the project level due to the difficulty of this task, despite the nature of most real-world methods as embedded within complex project context. This paper focuses on the visual attention paid to the call graph context in which a method sits. We analyze visual attention coverage of call graphs with graph-based metrics, such as the depth that programmers traverse or the amount of coverage they attain. We use these metrics, among other means, to reevaluate an existing dataset from a previous eye-tracking study of programmers ($n=10$) that considered basic properties of programmer visual attention in a project context. We then created a new dataset ($n=12$) using the same procedures specifically for this paper, resulting in a total of 88 hours of recorded visual behavior on source code. We used our proposed metrics to analyze how participants’ visual strategies correlated with their code summary quality, and confidence in their summaries. Interestingly, we found that higher coverage of the call graph was associated with \textit{decreases} in both summary quality and participants’ confidence.

This program is tentative and subject to change.

Tue 18 Nov

Displayed time zone: Seoul change

11:00 - 12:30
Formal Method & Verification 2Research Papers at Grand Hall 3
11:00
10m
Talk
SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization
Research Papers
Chuan Luo Beihang University, Shaoke Cui Beihang University, Jianping Song Beihang University, Xindi Zhang State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China, Wei Wu Central South University; Xiangjiang Laboratory, Chanjuan Liu Dalian University of Technology, Shaowei Cai Institute of Software at Chinese Academy of Sciences, Chunming Hu Beihang University
11:10
10m
Talk
Efficient and Verifiable Proof Logging for MaxSAT Solving
Research Papers
Raoul van Doren ETH Zurich, Timos Antonopoulos Yale University, Ruzica Piskac Yale University
11:20
10m
Talk
Destabilizing Neurons to Generate Challenging Neural Network Verification Benchmarks
Research Papers
Linhan Li George Mason University, ThanhVu Nguyen George Mason University
11:30
10m
Talk
RELIA: Accelerating Analysis of Cloud Access Control Policies
Research Papers
Dan Wang Xi'an Jiaotong University, Peng Zhang Xi'an Jiaotong University, Zhenrong Gu Xi'an Jiaotong University, Weibo Lin Huawei Cloud, Shibiao Jiang Huawei Cloud, Zhu He Huawei Cloud, Xu Du Huawei Cloud, Longfei Chen Huawei Cloud, Jun Li Huawei, Xiaohong Guan Xi'an Jiaotong University
11:40
10m
Talk
Evolution-Aware Heuristics for GR(1) Realizability Checking
Research Papers
Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Jan Oliver Ringert Bauhaus-University Weimar
11:50
10m
Talk
Programmers’ Visual Attention on Function Call Graphs During Code Summarization
Research Papers
Samantha McLoughlin Vanderbilt University, Zachary Karas Vanderbilt University, Robert Wallace University of Notre Dame, Aakash Bansal Louisiana State University, Collin McMillan University of Notre Dame, Yu Huang Vanderbilt University
12:00
10m
Talk
LLM-Assisted Synthesis of High-Assurance C Programs
Research Papers
Prasita Mukherjee Purdue University, Minghai Lu Purdue University, Benjamin Delaware Purdue University
Pre-print
12:10
10m
Talk
Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring
Research Papers
Shinhae Kim Cornell University, Saikat Dutta Cornell University, Owolabi Legunsen Cornell University
12:20
10m
Talk
Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations
Research Papers
Ranit Debnath Akash University of Illinois Chicago, Ashish Kumar Pennsylvania State University, Verya Monjezi University of Texas at El Paso, Ashutosh Trivedi University of Colorado Boulder, Gang (Gary) Tan Pennsylvania State University, Saeid Tizpaz-Niari University of Illinois Chicago