SANER 2024
Tue 12 - Fri 15 March 2024 Rovaniemi , Finland
Fri 15 Mar 2024 09:07 - 09:14 at KURU - Program Analysis Chair(s): Xiaozhou Li

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