Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
ICSE 2022 (series) / NIER - New Ideas and Emerging Results /

Statistical Reasoning About Programs

ICSE 2022 NIER - New Ideas and Emerging Results
Tue 10 May 2022 03:05 - 03:10 at ICSE room 4-odd hours - Software Testing 3 Chair(s): Christoph Reichenbach
Tue 10 May 2022 13:05 - 13:10 at ICSE room 3-odd hours - Program Analysis 4 Chair(s): Miguel Goulao

We discuss the advent of a new program analysis paradigm that allows anyone to make precise statements about the behavior of programs as they run in production across hundreds and millions of machines or devices. The scale-oblivious analysis leverages an almost inconceivable rate of user-generated program executions across large fleets to analyze programs of arbitrary size and composition with negligible performance overhead.

In this paper, we reflect on the program analysis problem, the prevalent paradigm, and the practical reality of program analysis at large software companies. We illustrate the new paradigm using several success stories and suggest a number of exciting new research directions.

https://mboehme.github.io/paper/ICSE22.NIER.pdf
https://doi.org/10.1145/3510455.3512796

Tue 10 May

Displayed time zone: Eastern Time (US & Canada) change

03:00 - 04:00
Software Testing 3Journal-First Papers / Technical Track / NIER - New Ideas and Emerging Results at ICSE room 4-odd hours
Chair(s): Christoph Reichenbach Lund University
03:00
5m
Talk
The secret life of test smells - an empirical study on test smell evolution and maintenance
Journal-First Papers
Dong Jae Kim Concordia University, Tse-Hsun (Peter) Chen Concordia University, Jinqiu Yang Concordia University
Link to publication DOI Media Attached
03:05
5m
Talk
Statistical Reasoning About Programs
NIER - New Ideas and Emerging Results
Marcel Böhme MPI-SP, Germany and Monash University, Australia
DOI Pre-print Media Attached
03:10
5m
Talk
SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External ParametersDistinguished Paper Award
Technical Track
Sooyoung Cha Sungkyunkwan University, Myungho Lee Korea University, Seokhyun Lee Korea University, South Korea, Hakjoo Oh Korea University
Pre-print Media Attached
03:15
5m
Talk
Path Transitions Tell More: Optimizing Fuzzing Schedules via Runtime Program States
Technical Track
Kunpeng Zhang Tsinghua Shenzhen International Graduate School, Tsinghua University, Xi Xiao Tsinghua Shenzhen International Graduate School, Tsinghua University, Xiaogang Zhu Swinburne University of Technology, Ruoxi Sun The University of Adelaide, Minhui (Jason) Xue University of Adelaide, Sheng Wen Swinburne University of Technology
DOI Pre-print Media Attached
03:20
5m
Talk
WindRanger: A Directed Greybox Fuzzer driven by DeviationBasic Blocks
Technical Track
Zhengjie Du Nanjing University, Yuekang Li Nanyang Technological University, Yang Liu Nanyang Technological University, Bing Mao Nanjing University
Pre-print Media Attached
03:25
5m
Talk
μAFL: Non-intrusive Feedback-driven Fuzzing for Microcontroller Firmware
Technical Track
Wenqiang Li , Jiameng Shi , Fengjun Li , Jingqiang Lin , Wei Wang , Le Guan
DOI Pre-print Media Attached
13:00 - 14:00
Program Analysis 4SEIP - Software Engineering in Practice / Technical Track / Journal-First Papers / NIER - New Ideas and Emerging Results at ICSE room 3-odd hours
Chair(s): Miguel Goulao NOVA-LINCS, FCT/UNL
13:00
5m
Talk
TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses
Journal-First Papers
Linghui Luo Amazon Web Services, Felix Pauck Paderborn University, Germany, Goran Piskachev Fraunhofer IEM, Manuel Benz Paderborn University, Ivan Pashchenko University of Trento, Martin Mory Paderborn University, Eric Bodden , Ben Hermann Technical University Dortmund, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam
Link to publication DOI Pre-print Media Attached File Attached
13:05
5m
Talk
Statistical Reasoning About Programs
NIER - New Ideas and Emerging Results
Marcel Böhme MPI-SP, Germany and Monash University, Australia
DOI Pre-print Media Attached
13:10
5m
Talk
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript
SEIP - Software Engineering in Practice
Saikat Dutta University of Illinois at Urbana-Champaign, Diego Garbervetsky University of Buenos Aires and CONICET, Argentina, Shuvendu K. Lahiri Microsoft Research, Max Schaefer GitHub, Inc.
DOI Pre-print Media Attached
13:15
5m
Talk
Striking a Balance: Pruning False-Positives from Static Call GraphsNominated for Distinguished Paper
Technical Track
Akshay Utture University of California, Los Angeles (UCLA), Shuyang Liu University of California, Los Angeles, Christian Gram Kalhauge Technical University of Denmark, Jens Palsberg University of California at Los Angeles
DOI Pre-print Media Attached
13:20
5m
Talk
DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs
Technical Track
Mohammad Wardat Dept. of Computer Science, Iowa State University, Breno Dantas Cruz Dept. of Computer Science, Iowa State University, Wei Le Iowa State University, Hridesh Rajan Iowa State University
Pre-print Media Attached

Information for Participants
Tue 10 May 2022 03:00 - 04:00 at ICSE room 4-odd hours - Software Testing 3 Chair(s): Christoph Reichenbach
Info for room ICSE room 4-odd hours:

Click here to go to the room on Midspace

Tue 10 May 2022 13:00 - 14:00 at ICSE room 3-odd hours - Program Analysis 4 Chair(s): Miguel Goulao
Info for room ICSE room 3-odd hours:

Click here to go to the room on Midspace

Marcel Böhme

Marcel Böhme

MPI-SP, Germany and Monash University, Australia