Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Wed 11 May 2022 13:25 - 13:30 at ICSE room 4-odd hours - Synthesis and Reverse Engineering Chair(s): Reed Milewicz
Thu 12 May 2022 04:00 - 04:05 at ICSE room 3-even hours - Testing and Analysis Chair(s): Jie Zhang
Wed 25 May 2022 09:30 - 09:35 at Room 306+307 - Papers 4: Verification and Analysis Chair(s): Gregory Gay
Wed 25 May 2022 13:30 - 15:00 at Ballroom Gallery - Posters 1

The recently introduced WebAssembly standard aims to be a portable compilation target, enabling the cross-platform distribution of programs written in a variety of languages. We propose an approach to slice WebAssembly programs in order to enable applications in reverse engineering, code comprehension, and security among others. Given a program and a location in that program, program slicing produces a minimal version of the program that preserves the behavior at the given location. Specifically, our approach is a static, intra-procedural, backwards slicing approach that takes into account WebAssembly-specific dependences to identify the instructions of the slice. To do so it must correctly overcome the considerable challenges of performing dependence analysis at the binary level. Furthermore, for the slice to be executable, the approach needs to ensure that the stack behavior of its output complies with WebAssembly’s validation requirements. We implemented and evaluated our approach on a suite of 8,386 real-world WebAssembly binaries, finding that the average size of the 97,728,325 slices computed is 46% of the original code, an improvement over the 60% attained by related work on slicing ARM binaries. To gain a more qualitative understanding of the slices produced by our approach, we compared them to 1,956 source-level slices of benchmark C programs. This inspection helps to illustrate the slicer’s strengths and to uncover potential future improvements.

Wed 11 May

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

13:00 - 14:00
Synthesis and Reverse EngineeringTechnical Track / Journal-First Papers at ICSE room 4-odd hours
Chair(s): Reed Milewicz Sandia National Laboratories
13:00
5m
Talk
Learning to Find Usages of Library Functions in Optimized Binaries
Journal-First Papers
Toufique Ahmed University of California at Davis, Prem Devanbu Department of Computer Science, University of California, Davis, Anand Ashok Sawant University of California, Davis
Link to publication DOI Pre-print Media Attached
13:05
5m
Talk
Dynamic Update for Synthesized GR(1) Controllers
Technical Track
Gal Amram Tel Aviv University, Shahar Maoz Tel Aviv University, Israel, Itai Segall Nokia Bell-Labs, Matan Yossef Tel Aviv University
Pre-print Media Attached
13:10
5m
Talk
Push-Button Synthesis of Watch Companions for Android Apps
Technical Track
Cong Li Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University
Link to publication DOI Pre-print Media Attached
13:15
5m
Talk
Jigsaw: Large Language Models meet Program Synthesis
Technical Track
Naman Jain Microsoft Research, Skanda Vaidyanath Stanford, Arun Iyer Microsoft Research, India, Nagarajan Natarajan Microsoft Research, India, Suresh Parthasarathy Microsoft Research, India, Sriram Rajamani Microsoft Research, Rahul Sharma Microsoft Research
Pre-print Media Attached
13:20
5m
Talk
SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions
Technical Track
Ripon Saha , Akira Ura Fujitsu Ltd., Sonal Mahajan Uber Technologies Inc., Chenguang Zhu University of Texas at Austin, Linyi Li University of Illinois at Urbana-Champaign, Yang Hu The University of Texas at Austin, Hiroaki Yoshida AMD, Sarfraz Khurshid The University of Texas at Austin, Mukul Prasad Fujitsu Research of America
Pre-print Media Attached
13:25
5m
Talk
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly BinariesBest Artifact Award
Technical Track
Quentin Stiévenart Vrije Universiteit Brussel, David Binkley Loyola University Maryland, Coen De Roover Vrije Universiteit Brussel
DOI Pre-print Media Attached

Thu 12 May

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

04:00 - 05:00
Testing and AnalysisTechnical Track at ICSE room 3-even hours
Chair(s): Jie Zhang UCL
04:00
5m
Talk
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly BinariesBest Artifact Award
Technical Track
Quentin Stiévenart Vrije Universiteit Brussel, David Binkley Loyola University Maryland, Coen De Roover Vrije Universiteit Brussel
DOI Pre-print Media Attached
04:05
5m
Talk
Automated Assertion Generation via Information Retrieval and Its Integration with Deep Learning
Technical Track
Hao Yu Peking University, Yiling Lou Purdue University, Ke Sun , Dezhi Ran Peking University, Tao Xie Peking University, Dan Hao Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Ge Li Peking University, Qianxiang Wang Huawei Technologies Co. Ltd
DOI Pre-print Media Attached
04:10
5m
Talk
Combinatorial Testing of RESTful APIs
Technical Track
Huayao Wu Nanjing University, Lixin Xu Nanjing University, Xintao Niu Nanjing University, Changhai Nie Nanjing University
Pre-print Media Attached
04:15
5m
Talk
History-Driven Test Program Synthesis for JVM Testing
Technical Track
Yingquan Zhao College of Intelligence and Computing, Tianjin University, Zan Wang Tianjin University, China, Junjie Chen Tianjin University, Mengdi Liu College of Intelligence and Computing, Tianjin University, Mingyuan Wu Southern University of Science and Technology, Yuqun Zhang Southern University of Science and Technology, Lingming Zhang University of Illinois at Urbana-Champaign
Pre-print Media Attached
04:20
5m
Talk
On the Reliability of Coverage-Based Fuzzer Benchmarking
Technical Track
Marcel Böhme MPI-SP, Germany and Monash University, Australia, Laszlo Szekeres Google, Jonathan Metzman Google
DOI Pre-print Media Attached

Wed 25 May

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

09:30 - 10:30
Papers 4: Verification and AnalysisTechnical Track / Journal-First Papers at Room 306+307
Chair(s): Gregory Gay Chalmers and the University of Gothenburg
09:30
5m
Talk
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly BinariesBest Artifact Award
Technical Track
Quentin Stiévenart Vrije Universiteit Brussel, David Binkley Loyola University Maryland, Coen De Roover Vrije Universiteit Brussel
DOI Pre-print Media Attached
09:35
5m
Talk
Diversity-Driven Automated Formal VerificationDistinguished Paper Award
Technical Track
Emily First University of Massachusetts Amherst, Yuriy Brun University of Massachusetts
DOI Pre-print Media Attached
09:40
5m
Talk
Control and Discovery of Environment Behaviour
Journal-First Papers
Maureen Keegan Intercom, Nicolás D’Ippolito Dept. of Computer Science FCEyN, University of Buenos Aires, Víctor Braberman ICC (UBA-CONICET), Nir Piterman University of Gothenberg, Sebastian Uchitel Universidad de Buenos Aires / Imperial College
Link to publication DOI Pre-print Media Attached
09:45
5m
Talk
Learning Lenient Parsing & Typing via Indirect Supervision
Journal-First Papers
Toufique Ahmed University of California at Davis, Prem Devanbu Department of Computer Science, University of California, Davis, Vincent J. Hellendoorn Carnegie Mellon University
Link to publication DOI Pre-print Media Attached
09:50
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
09:55
5m
Talk
SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C
Technical Track
Zachary Patterson University of Texas at Dallas, Zenong Zhang The University of Texas at Dallas, Brent Pappas University of Central Florida, Shiyi Wei University of Texas at Dallas, Paul Gazzillo University of Central Florida
Pre-print Media Attached
13:30 - 15:00
13:30
90m
Talk
In-IDE Code Generation from Natural Language: Promise and Challenges
Journal-First Papers
Frank Xu Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University, USA, Graham Neubig Carnegie Mellon University
13:30
90m
Talk
Strategies for Reuse and Sharing among Data Scientists in Software Teams
SEIP - Software Engineering in Practice
Will Epperson Carnegie Mellon University, April Wang University of Michigan, Robert DeLine Microsoft Research, Steven M. Drucker Microsoft Research
Pre-print Media Attached
13:30
90m
Talk
Debugging with Stack Overflow: Web Search Behavior in Novice and Expert Programmers
SEET - Software Engineering Education and Training
Annie Li University of Michigan, Madeline Endres University of Michigan, Westley Weimer University of Michigan
DOI Pre-print Media Attached
13:30
90m
Talk
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly BinariesBest Artifact Award
Technical Track
Quentin Stiévenart Vrije Universiteit Brussel, David Binkley Loyola University Maryland, Coen De Roover Vrije Universiteit Brussel
DOI Pre-print Media Attached
13:30
90m
Talk
Linear-time Temporal Logic guided Greybox Fuzzing
Technical Track
Ruijie Meng National University of Singapore, Singapore, Zhen Dong Fudan University, China, Jialin Li National University of Singapore, Singapore, Ivan Beschastnikh University of British Columbia, Abhik Roychoudhury National University of Singapore
DOI Pre-print Media Attached
13:30
90m
Talk
Individual differences limit predicting well-being and productivity using software repositories: a longitudinal industrial study
Journal-First Papers
Miikka Kuutila University of Oulu, Mika Mäntylä University of Oulu, Maëlick Claes University of Oulu, Marko Elovainio University of Helsinki, Bram Adams Queen's University, Kingston, Ontario
Link to publication Media Attached
13:30
90m
Talk
The Agile Success Model: A Mixed-methods Study of a Large-scale Agile Transformation
Journal-First Papers
Daniel Russo Department of Computer Science, Aalborg University
Link to publication DOI Pre-print
13:30
90m
Talk
PReach: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements
Technical Track
Seemanta Saha University of California Santa Barbara, Mara Downing University of California, Santa Barbara, Tegan Brennan , Tevfik Bultan University of California, Santa Barbara
Pre-print Media Attached
13:30
90m
Talk
Active Learning of Discriminative Subgraph Patterns for API Misuse Detection
Journal-First Papers
Hong Jin Kang Singapore Management University, David Lo Singapore Management University
Pre-print Media Attached File Attached
13:30
90m
Talk
Toward Among-Device AI from On-Device AI with Stream Pipelines
SEIP - Software Engineering in Practice
MyungJoo Ham Samsung Electronics, Sangjung Woo Samsung Electronics, Jaeyun Jung Samsung Electronics, Wook Song Samsung Electronics, Gichan Jang Samsung Electronics, Yongjoo Ahn Samsung Electronics, Hyoungjoo Ahn Samsung Electronics
Pre-print Media Attached
13:30
90m
Talk
Integrating Hackathons into an Online Cybersecurity Course
SEET - Software Engineering Education and Training
Abasi-amefon Obot Affia University of Tartu, Estonia, Alexander Nolte University of Tartu, Raimundas Matulevičius University of Tartu, Estonia
DOI Pre-print Media Attached
13:30
90m
Talk
Verifying Dynamic Trait Objects in Rust
SEIP - Software Engineering in Practice
Alexa VanHattum Cornell University, Daniel Schwartz-Narbonne Amazon, n.n., Nathan Chong Amazon, Adrian Sampson Cornell University
Pre-print Media Attached
13:30
90m
Talk
Automatically Identifying Shared Root Causes of Test Breakages in SAP HANA
SEIP - Software Engineering in Practice
Gabin An KAIST, Juyeon Yoon Korea Advanced Institute of Science and Technology, Jeongju Sohn University of Luxembourg, Jingun Hong SAP Labs, Dongwon Hwang SAP Labs, Shin Yoo KAIST
Pre-print Media Attached
13:30
90m
Talk
Guiding Peer-feedback in Learning Software Design using UML
SEET - Software Engineering Education and Training
Satrio Adi Rukmono Institut Teknologi Bandung, Michel Chaudron Eindhoven University of Technology, The Netherlands
Pre-print Media Attached
13:30
90m
Talk
Fairness-aware Configuration of Machine Learning Libraries
Technical Track
Saeid Tizpaz-Niari University of Texas at El Paso, Ashish Kumar , Gang Tan Pennsylvania State University, Ashutosh Trivedi University of Colorado Boulder
DOI Pre-print Media Attached
13:30
90m
Talk
Using Pre-Trained Models to Boost Code Review Automation
Technical Track
Rosalia Tufano Università della Svizzera Italiana, Simone Masiero Software Institute @ Università della Svizzera Italiana, Antonio Mastropaolo Università della Svizzera italiana, Luca Pascarella Università della Svizzera italiana (USI), Denys Poshyvanyk William and Mary, Gabriele Bavota Software Institute, USI Università della Svizzera italiana
Pre-print Media Attached
13:30
90m
Talk
Automatic Anti-Pattern Detection in Microservice Architectures based on Distributed Tracing
SEIP - Software Engineering in Practice
Tim Hubener ING Bank N.V., Yaping Luo ING; Eindhoven University of Technology, Pieter Vallen ING, Jonck van der Kogel ING Bank N.V., Tom Liefheid ING Bank N.V., Michel Chaudron Eindhoven University of Technology, The Netherlands
Media Attached
13:30
90m
Talk
Retrieving Data Constraint Implementations Using Fine-Grained Code Patterns
Technical Track
Juan Manuel Florez The University of Texas at Dallas, Jonathan Perry The University of Texas at Dallas, Shiyi Wei University of Texas at Dallas, Andrian Marcus University of Texas at Dallas
Pre-print Media Attached
13:30
90m
Talk
Verification of Consistency between Process Models, Object Life Cycles, and Context-dependent Semantic Specifications
Journal-First Papers
Ralph Hoch Institute of Computer Technology, TU Wien, Christoph Luckeneder Vienna University of Technology, Roman Popp TU Wien, Vienna, Austria, Hermann Kaindl Institute of Computer Technology, TU Wien
Link to publication DOI Pre-print Media Attached
13:30
90m
Talk
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components
Technical Track
Boyue Caroline Hu University of Toronto, Lina Marsso University of Toronto, Krzysztof Czarnecki University of Waterloo, Canada, Rick Salay University of Toronto, Huakun Shen University of Toronto, Marsha Chechik University of Toronto
DOI Pre-print Media Attached
13:30
90m
Talk
Preparing Software Engineers to Develop Robot Systems
SEET - Software Engineering Education and Training
Carl Hildebrandt University of Virginia, Meriel von Stein University of Virginia, Trey Woodlief University of Virginia, Sebastian Elbaum University of Virginia
DOI Pre-print Media Attached
13:30
90m
Poster
EUGAIN. The European Network For Gender Balance in Informatics
Technical Track
Valentina Lenarduzzi University of Oulu, Barbora Buhnova Masaryk University, Letizia Jaccheri Norwegian University of Science and Technology
13:30
90m
Talk
Detecting False Alarms from Automatic Static Analysis Tools: How Far are We?Nominated for Distinguished Paper
Technical Track
Hong Jin Kang Singapore Management University, Khai Loong Aw Singapore Management University, David Lo Singapore Management University
DOI Pre-print Media Attached File Attached
13:30
90m
Talk
An Ensemble Approach for Annotating Source Code Identifiers with Part-of-speech Tags
Journal-First Papers
Christian D. Newman Rochester Institute of Technology, Michael J. Decker Bowling Green State University, Reem S. Alsuhaibani Kent State University, Anthony Peruma Rochester Institute of Technology, Mohamed Wiem Mkaouer Rochester Institute of Technology, Satyajit Mohapatra Rochester Institute of Technology, Tejal Vishnoi Rochester Institute of Technology, Marcos Zampieri Rochester Institute of Technology, Timothy Sheldon BNY Mellon, Emily Hill Drew University
Link to publication DOI Pre-print Media Attached
13:30
90m
Talk
Counterfactual Explanations for Models of Code
SEIP - Software Engineering in Practice
Jürgen Cito TU Wien and Meta, Işıl Dillig University of Texas at Austin, Vijayaraghavan Murali Meta Platforms, Inc., Satish Chandra Facebook
Pre-print Media Attached
13:30
90m
Talk
Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies
Technical Track
Jibesh Patra University of Stuttgart, Michael Pradel University of Stuttgart
Pre-print Media Attached
13:30
90m
Talk
Learning to Find Usages of Library Functions in Optimized Binaries
Journal-First Papers
Toufique Ahmed University of California at Davis, Prem Devanbu Department of Computer Science, University of California, Davis, Anand Ashok Sawant University of California, Davis
Link to publication DOI Pre-print Media Attached
13:30
90m
Talk
DeepStability: A Study of Unstable Numerical Methods and Their Solutions in Deep Learning
Technical Track
Eliska Kloberdanz Iowa State University, Kyle Kloberdanz Cape Privacy, Wei Le Iowa State University
Pre-print Media Attached
13:30
90m
Talk
Fuzzing Class Specifications
Technical Track
Facundo Molina University of Rio Cuarto and CONICET, Argentina, Marcelo d'Amorim Federal University of Pernambuco, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina
Pre-print Media Attached
13:30
90m
Talk
Journal First Submission of the Article: What do class comments tell us? An investigation of comment evolution and practices in Pharo Smalltalk
Journal-First Papers
Pooja Rani University of bern, Sebastiano Panichella Zurich University of Applied Sciences, Manuel Leuenberger Software Composition Group, University of Bern, Switzerland, Mohammad Ghafari School of Computer Science, University of Auckland, Oscar Nierstrasz University of Bern, Switzerland
Link to publication DOI Authorizer link Media Attached

Information for Participants
Wed 11 May 2022 13:00 - 14:00 at ICSE room 4-odd hours - Synthesis and Reverse Engineering Chair(s): Reed Milewicz
Info for room ICSE room 4-odd hours:

Click here to go to the room on Midspace

Thu 12 May 2022 04:00 - 05:00 at ICSE room 3-even hours - Testing and Analysis Chair(s): Jie Zhang
Info for room ICSE room 3-even hours:

Click here to go to the room on Midspace