Thu 21 Oct 2021 11:35 - 11:50 at Zurich D - Specification Synthesis Chair(s): Zoe Paraskevopoulou
Thu 21 Oct 2021 19:35 - 19:50 at Zurich D - Specification Synthesis - mirror Chair(s): Toby Murray
Thu 21 Oct 2021 19:35 - 19:50 at Zurich D - Specification Synthesis - mirror Chair(s): Toby Murray
We present an approach to learn contracts for object-oriented programs where guarantees of correctness of the contracts are made with respect to a test generator. Our contract synthesis approach is based on a novel notion of tight contracts and an online learning algorithm that works in tandem with a test generator to synthesize tight contracts. We implement our approach in a tool called Precis and evaluate it on a suite of programs written in C#, studying the safety and strength of the synthesized contracts, and compare them to those synthesized by Daikon.
Thu 21 OctDisplayed time zone: Central Time (US & Canada) change
Thu 21 Oct
Displayed time zone: Central Time (US & Canada) change
10:50 - 12:10 | |||
10:50 15mTalk | Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence RelationsVirtual OOPSLA Didier Ishimwe University of Nebraska-Lincoln, KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University DOI | ||
11:05 15mTalk | Static Detection of Silent Misconfigurations with Deep Interaction AnalysisIn-Person OOPSLA Jialu Zhang Yale University, Ruzica Piskac Yale University, Ennan Zhai Alibaba Group, Tianyin Xu University of Illinois at Urbana-Champaign DOI | ||
11:20 15mTalk | Data-Driven Abductive Inference of Library SpecificationsIn-Person OOPSLA Zhe Zhou Purdue University, Robert Dickerson Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University DOI | ||
11:35 15mTalk | Synthesizing Contracts Correct Modulo a Test GeneratorIn-Person OOPSLA Angello Astorga University of Illinois at Urbana-Champaign, Shambwaditya Saha Tufts University, Ahmad Dinkins University of Illinois at Urbana-Champaign, Felicia Wang University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign, Tao Xie Peking University DOI | ||
11:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
18:50 - 20:10 | |||
18:50 15mTalk | Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence RelationsVirtual OOPSLA Didier Ishimwe University of Nebraska-Lincoln, KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University DOI | ||
19:05 15mTalk | Static Detection of Silent Misconfigurations with Deep Interaction AnalysisIn-Person OOPSLA Jialu Zhang Yale University, Ruzica Piskac Yale University, Ennan Zhai Alibaba Group, Tianyin Xu University of Illinois at Urbana-Champaign DOI | ||
19:20 15mTalk | Data-Driven Abductive Inference of Library SpecificationsIn-Person OOPSLA Zhe Zhou Purdue University, Robert Dickerson Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University DOI | ||
19:35 15mTalk | Synthesizing Contracts Correct Modulo a Test GeneratorIn-Person OOPSLA Angello Astorga University of Illinois at Urbana-Champaign, Shambwaditya Saha Tufts University, Ahmad Dinkins University of Illinois at Urbana-Champaign, Felicia Wang University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign, Tao Xie Peking University DOI | ||
19:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||