Conversations on SAT and Synthesis (ESEC/FSE 2020 - Paper Presentations) - ESEC/FSE 2020

Write a Blog >>

Fri 6 - Mon 16 November 2020 Sacramento, California, United States

Who

Abtin Molavi, Jiayi Yang, Lucas Bang, Xie Li, Zifan Nan, Shivam Handa, Abhik Roychoudhury

Track

ESEC/FSE 2020 Paper Presentations

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

When

Fri 13 Nov 2020 01:41 - 02:00 at Virtual room 2 - SAT and Synthesis

Abtin Molavi

Harvey Mudd College, USA

Jiayi Yang

University of Texas at Austin, USA

Lucas Bang

Harvey Mudd College

Xie Li

Zifan Nan

North Carolina State University, USA

Shivam Handa

Massachusetts Institute of Technology, USA

Abhik RoychoudhuryModerator

National University of Singapore, Singapore

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

Session Program

Fri 13 Nov
Displayed time zone: (UTC) Coordinated Universal Time change

	01:30 - 02:00	SAT and SynthesisResearch Papers / Tool Demos / Paper Presentations at Virtual room 2

	01:30 2m Talk		AlloyMC: Alloy Meets Model Counting Tool Demos Jiayi Yang University of Texas at Austin, USA, Wenxi Wang University of Texas at Austin, USA, Darko Marinov University of Illinois at Urbana-Champaign, Sarfraz Khurshid University of Texas at Austin DOI
	01:32 2m Talk		HISyn: Human Learning-Inspired Natural Language Programming Research Papers Zifan Nan North Carolina State University, USA, Hui Guan North Carolina State University, USA, Xipeng Shen North Carolina State University, USA DOI
	01:35 1m Talk		Inductive Program Synthesis over Noisy Data Research Papers Shivam Handa Massachusetts Institute of Technology, USA, Martin C. Rinard Massachusetts Institute of Technology, USA DOI
	01:37 1m Talk		MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays Tool Demos Abtin Molavi Harvey Mudd College, USA, Mara Downing Harvey Mudd College, USA, Tommy Schneider Harvey Mudd College, USA, Lucas Bang Harvey Mudd College DOI
	01:39 1m Talk		SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM Tool Demos Xie Li , Yi Li Nanyang Technological University, Yong Li Institute of Software, Chinese Academy of Sciences, Xuechao Sun Institute of Software at Chinese Academy of Sciences, China, Andrea Turrini State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun Zhang Institute of Software, Chinese Academy of Sciences DOI
	01:41 19m Talk		Conversations on SAT and Synthesis Paper Presentations Abtin Molavi Harvey Mudd College, USA, Jiayi Yang University of Texas at Austin, USA, Lucas Bang Harvey Mudd College, Xie Li , Zifan Nan North Carolina State University, USA, Shivam Handa Massachusetts Institute of Technology, USA, M: Abhik Roychoudhury National University of Singapore, Singapore