SANER 2024
Tue 12 - Fri 15 March 2024 Rovaniemi , Finland
Thu 14 Mar 2024 16:16 - 16:24 at KURU - Short Papers and Posters Chair(s): Luca Pascarella
Fri 15 Mar 2024 10:21 - 10:28 at KURU - Program Analysis Chair(s): Xiaozhou Li

Thu 14 Mar

Displayed time zone: Athens change

16:00 - 17:00
Short Papers and PostersShort Papers and Posters Track at KURU
Chair(s): Luca Pascarella ETH Zurich
16:00
8m
Talk
Engineering Formality and Software Risk in Debian Python Packages
Short Papers and Posters Track
Matthew Gaughan Northwestern University, Kaylea Champion University of Washington, Sohyeon Hwang Northwestern University
Pre-print
16:08
8m
Talk
LogPM: Character-based Log Parser Benchmark
Short Papers and Posters Track
Shayan Hashemi , Jesse Nyyssölä University of Helsinki, Mika Mäntylä University of Helsinki and University of Oulu
16:16
8m
Talk
On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants
Short Papers and Posters Track
Jan H. Boockmann University of Bamberg, Gerald Luettgen University of Bamberg
16:24
8m
Talk
OppropBERL: A GNN and BERT-style Reinforcement Learning-based Type Inference System
Short Papers and Posters Track
Piyush Jha University of Waterloo, Werner Dietl University of Waterloo
16:32
8m
Talk
Debloating Feature-Rich Closed-Source Software
Short Papers and Posters Track
Zhen Huang DePaul University
16:40
8m
Talk
Web API Change-Proneness Prediction
Short Papers and Posters Track
Rediana Koçi Universitat Politècnica de Catalunya, Xavier Franch Universitat Politècnica de Catalunya, Petar Jovanovic Universitat Politècnica De Catalunya - Barcelona Tech, Alberto Abello Universitat Politècnica de Catalunya
16:48
8m
Talk
Towards Efficient Program Repair with APR Tools Based on Genetic Algorithms
Short Papers and Posters Track
Kanon Harada Ritsumeikan University, Katsuhisa Maruyama Ritsumeikan University

Fri 15 Mar

Displayed time zone: Athens change

09:00 - 10:30
09:00
7m
Talk
Comparing Execution Trace Using Merkle-Tree to Detect Backward Incompatibilities
Early Research Achievement (ERA) Track
Atsuhito Yamaoka Nara Institute of Science and Technology, Teyon Son Nara Institute of Science and Technology, Kazumasa Shimari Nara Institute of Science and Technology, Takashi Ishio Future University Hakodate, Kenichi Matsumoto Nara Institute of Science and Technology
09:07
7m
Talk
Towards Inter-service Data Flow Analysis of Serverless Applications
Early Research Achievement (ERA) Track
Giuseppe Raffa Royal Holloway, University of London, Jorge Blasco Universidad Politécnica de Madrid, Dan O'Keeffe Royal Holloway University of London, Santanu Dash Royal Holloway, University of London
09:14
15m
Talk
Exploring Strategies for Guiding Symbolic Analysis with Machine Learning Prediction
Research Papers
Mingyue Yang University of Toronto, Canada, David Lie University of Toronto, Canada, Nicolas Papernot University of Toronto, Canada
09:29
15m
Talk
ReIFunc: Identifying Recurring Inline Functions in Binary Code
Research Papers
Wei Lin Institute of Information Engineering, Chinese Academy of Sciences, Qingli Guo Institute of Information Engineering, Chinese Academy of Sciences, DongSong Yu Zhongguancun Laboratory, Jiawei Yin Institute of Information Engineering, Chinese Academy of Sciences, Qi Gong Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China, Xiaorui Gong Institute of Information Engineering, Chinese Academy of Science
09:44
15m
Talk
Reducing False Positives of Static Bug Detectors through Code Representation Learning
Research Papers
Yixin Yang Beihang University, Ming Wen Huazhong University of Science and Technology, Xiang Gao Beihang University, Yuting Zhang Huazhong University of Science and Technology, Hailong Sun Beihang University
09:59
15m
Talk
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability
Research Papers
Anna-Katharina Wickert TU Darmstadt, Germany, Michael Schlichtig Heinz Nixdorf Institut and Paderborn University, Marvin Vogel Uni Hamburg, Lukas Winter unaffiliated, Mira Mezini TU Darmstadt, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print Media Attached
10:14
7m
Talk
LogPM: Character-based Log Parser Benchmark
Short Papers and Posters Track
Shayan Hashemi , Jesse Nyyssölä University of Helsinki, Mika Mäntylä University of Helsinki and University of Oulu
10:21
7m
Talk
On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants
Short Papers and Posters Track
Jan H. Boockmann University of Bamberg, Gerald Luettgen University of Bamberg