SANER 2024 (series) / Research Papers /
Exploring Strategies for Guiding Symbolic Analysis with Machine Learning Prediction
Fri 15 MarDisplayed time zone: Athens change
Fri 15 Mar
Displayed time zone: Athens change
09:00 - 10:30 | Program AnalysisShort Papers and Posters Track / Research Papers / Early Research Achievement (ERA) Track at KURU Chair(s): Xiaozhou Li University of Oulu | ||
09:00 7mTalk | 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 7mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 7mTalk | 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 7mTalk | On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants Short Papers and Posters Track | ||