Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Wed 11 May 2022 13:10 - 13:15 at ICSE room 4-odd hours - Synthesis and Reverse Engineering Chair(s): Reed Milewicz
Thu 12 May 2022 03:15 - 03:20 at ICSE room 4-odd hours - Synthesis and Analysis Chair(s): Jie Zhang

Most Android apps lack their counterparts on convenient smartwatch devices, possibly due to non-trivial engineering efforts required in the new app design and code development. Inspired by the observation that widgets on a smartphone can be mirrored to a smartwatch, this paper presents the Jigsaw framework to greatly alleviate such engineering efforts. Particularly, Jigsaw enables a push-button development of smartphone’s companion watch apps by leveraging the programming by example paradigm, version space algebra, and constraint solving. Our experiments on 16 popular open-source apps validated the effectiveness of our synthesis algorithm, as well as their practical usefulness in synthesizing usable watch companions.

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
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

03:00 - 04:00
03:00
5m
Talk
Analyzing the CMake Build System
SEIP - Software Engineering in Practice
KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University, Quoc-Sang Phan Facebook, Inc.
03:05
5m
Talk
A Software Impact Analysis Tool based on Change History Learning and its Evaluation
SEIP - Software Engineering in Practice
Haruya Iwasaki Shibaura Institute of Technologies, Tsuyoshi Nakajima Shibaura Institute of Technology, Ryota Tsukamoto Mitsubishi Electric Corporation, Kazuko Takahashi Mitsubishi Electric Corporation, Shuichi Tokumoto Mitsubishi Electric Corporation
DOI Media Attached
03:10
5m
Talk
Adaptive Performance Anomaly Detection for Online Service Systems via Pattern Sketching
Technical Track
Zhuangbin Chen Chinese University of Hong Kong, China, Jinyang Liu , Yuxin Su Sun Yat-sen University, Hongyu Zhang University of Newcastle, Xiao Ling Huawei Technologies, Yongqiang Yang Huawei Technologies, Michael Lyu The Chinese University of Hong Kong
Pre-print Media Attached
03:15
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
DOI Pre-print Media Attached
03:20
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

Information for Participants
Info for room ICSE room 4-odd hours:

Click here to go to the room on Midspace