Fri 13 Nov 2020 01:35 - 01:36 at Virtual room 2 - SAT and Synthesis
We present a new framework and associated synthesis algorithms for
program synthesis over noisy data, i.e., data that may contain
incorrect/corrupted input-output examples. This framework is based on
an extension of finite tree automata called {\em state-weighted finite tree
automata}. We show how to apply this framework to formulate and solve
a variety of program synthesis problems over noisy data. Results from
our implemented system running on problems from the SyGuS 2018 benchmark
suite highlight its ability to successfully synthesize programs in the
face of noisy data sets, including the ability to synthesize a correct
program even when every input-output example in the data set is corrupted.
Fri 13 NovDisplayed time zone: (UTC) Coordinated Universal Time change
Fri 13 Nov
Displayed time zone: (UTC) Coordinated Universal Time change
01:30 - 02:00 | |||
01:30 2mTalk | 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 2mTalk | 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 1mTalk | 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 1mTalk | 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 1mTalk | 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 19mTalk | 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 | ||