Visual Sketching: From Image Sketches to Code (ICSE 2020 - New Ideas and Emerging Results) - ICSE 2020

Write a Blog >>

Wed 24 June - Thu 16 July 2020

Who

Marcelo d'Amorim, Rui Abreu, Carlos Mello

Track

ICSE 2020 New Ideas and Emerging Results

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

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

When

Fri 10 Jul 2020 16:54 - 17:00 at Silla - A24-Testing and Debugging 4 Chair(s): Yijun Yu

Abstract

Writing code is difficult and time consuming. This vision paper proposes Visual Sketching, a synthesis technique that produces code that implements the likely intent associated with an image. We describe potential applications of Visual Sketching, how to realize it, and implications of the technology.

Link to Preprint

https://www.inesc-id.pt/publications/15234/pdf/

Marcelo d'Amorim

Federal University of Pernambuco

Brazil

Rui Abreu

Instituto Superior Técnico, U. Lisboa & INESC-ID

Portugal

Carlos Mello

Federal University of Pernambuco

Visual Sketching: From Image Sketches to Code

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

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

Session Program

Fri 10 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

	16:05 - 17:05: A24-Testing and Debugging 4Paper Presentations / Technical Papers / New Ideas and Emerging Results / Journal First / Demonstrations at Silla Chair(s): Yijun YuThe Open University, UK

	16:05 - 16:11 Talk		Manifold for Machine Learning AssuranceNIER New Ideas and Emerging Results Taejoon ByunUniversity of Minnesota, Sanjai RayadurgamUniversity of Minnesota
	16:11 - 16:23 Talk		On Learning Meaningful Assert Statements for Unit Test CasesTechnical Technical Papers Cody WatsonWashington and Lee University, Michele TufanoMicrosoft, Kevin MoranWilliam & Mary/George Mason University, Gabriele BavotaUniversità della Svizzera italiana, Denys PoshyvanykWilliam and Mary Pre-print Media Attached
	16:23 - 16:35 Talk		TRADER: Trace Divergence Analysis and Embedding Regulation for Debugging Recurrent Neural NetworksTechnical Technical Papers Guanhong TaoPurdue University, Shiqing MaRutgers University, Yingqi LiuPurdue University, USA, Qiuling XuPurdue University, Xiangyu ZhangPurdue University Pre-print
	16:35 - 16:38 Talk		DeepMutation: A Neural Mutation ToolDemo Demonstrations Michele TufanoMicrosoft, Jason KimkoWilliam & Mary, Shiya WangWilliam & Mary, Cody WatsonWashington and Lee University, Gabriele BavotaUniversità della Svizzera italiana, Massimiliano Di PentaUniversity of Sannio, Denys PoshyvanykWilliam and Mary Pre-print
	16:38 - 16:46 Talk		Specification Patterns for Robotic MissionsJ1 Journal First Claudio MenghiUniversity of Luxembourg, Christos TsigkanosTU Vienna, Patrizio PelliccioneUniversity of L'Aquila and Chalmers \| University of Gothenburg, Carlo GhezziPolitecnico di Milano, Thorsten BergerChalmers \| University of Gothenburg
	16:46 - 16:54 Talk		ProXray: Protocol Model Learning and Guided Firmware AnalysisJ1 Journal First Farhaan FowzeUniversity of Florida, Dave (Jing) TianPurdue University, Grant HernandezUniversity of Florida, Kevin ButlerUniv. Florida, Tuba YavuzUniversity of Florida
	16:54 - 17:00 Talk		Visual Sketching: From Image Sketches to CodeNIER New Ideas and Emerging Results Marcelo d'AmorimFederal University of Pernambuco, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID, Carlos MelloFederal University of Pernambuco Pre-print Media Attached