Push-Button Synthesis of Watch Companions for Android Apps (ICSE 2022 - Technical Track)

Who

Cong Li, Yanyan Jiang, Chang Xu

Track

ICSE 2022 Technical Track

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Abstract

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.

Link to Publication

https://connglli.github.io/pdfs/jigsaw_icse22.pdf

Link to Preprint

https://cs.nju.edu.cn/changxu/1_publications/22/ICSE22.pdf

DOI

https://doi.org/10.1145/3510003.351056

Cong Li

Nanjing University

China

Yanyan Jiang

Nanjing University

China

Chang Xu

Nanjing University

China

Jigsaw ICSE 2022 Talk (20Min Version)

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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

03:00 - 04:00	Synthesis and AnalysisSEIP - Software Engineering in Practice / Technical Track at ICSE room 4-odd hours Chair(s): Jie Zhang UCL

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 Link to publication 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