[madPL] Roopsha Samanta PL Seminar

[JOHN CYPHERT <jcyphert@xxxxxxxx>]

Hi everyone,

We will be having a PL seminar this Friday Apr 30, at 1pm. Roopsha Samanta from Purdue will be giving a talk on MANTIS: Semantics-Guided Inductive Program Synthesis.

Abstract:

The dream of classical program synthesis is to generate programs from complete, formal specifications of their expected behavior. An increasingly favored paradigm of synthesis is inductive program synthesis, where specifications of program behavior are provided in the form of examples. Inductive program synthesis not only helps make program synthesis more tractable, but also has the potential to democratize programming!

Unfortunately, inductive synthesis engines encounter challenges like overfitting, ambiguity, and brittleness, similar to other inductive learning engines such as AI-based systems. PL researchers have typically attacked these problems by applying syntactic biases to the search space in the form of tailored DSLs, grammars and ranking functions. In this talk, I will show how one can further enhance the generalizability and robustness of such synthesis engines by applying semantic biases to the search space.

I will also briefly discuss our Discover[i] project on formal reasoning about distributed systems.

Bio:

Roopsha Samanta is an Assistant Professor the Department of Computer Science at Purdue University. She leads the Purdue Formal Methods (PurForM) group and is a member of the Purdue Programming Languages (PurPL) group. Before joining Purdue in 2016, she completed her PhD at UT Austin in 2013, advised by E. Allen Emerson and Vijay K. Garg, and was a postdoctoral researcher at IST Austria from 2014-2016 with Thomas A. Henzinger. She is a recipient of the 2019 NSF CAREER award.

Her research interests are in program verification, program synthesis, and concurrency. She likes to work at the intersection of formal methods and programming languages to develop frameworks to assist programmers write reliable programs. Her current research agenda is centered around two themes—formal reasoning about distributed systems and semantics-guided inductive program synthesis.

See you on Friday,

John

Topic: Roopsha Samanta PL Seminar

Time: Apr 30, 2021 01:00 PM Central Time (US and Canada)

Join Zoom Meeting

https://uwmadison.zoom.us/j/95462602659?pwd=T0sxSjFHUGJvU2NOMDc4REJKeWJSQT09

Meeting ID: 954 6260 2659

Passcode: 473197

One tap mobile

+13017158592,,95462602659#,,,,*473197# US (Washington DC)

+13126266799,,95462602659#,,,,*473197# US (Chicago)

Dial by your location

        +1 301 715 8592 US (Washington DC)

        +1 312 626 6799 US (Chicago)

        +1 929 205 6099 US (New York)

        +1 253 215 8782 US (Tacoma)

        +1 346 248 7799 US (Houston)

        +1 669 900 6833 US (San Jose)

Meeting ID: 954 6260 2659

Passcode: 473197

Find your local number: https://uwmadison.zoom.us/u/acDYhoUYVq

Join by SIP

95462602659@xxxxxxxxxxx

Join by H.323

162.255.37.11 (US West)

162.255.36.11 (US East)

115.114.131.7 (India Mumbai)

115.114.115.7 (India Hyderabad)

213.19.144.110 (Amsterdam Netherlands)

213.244.140.110 (Germany)

103.122.166.55 (Australia Sydney)

103.122.167.55 (Australia Melbourne)

149.137.40.110 (Singapore)

64.211.144.160 (Brazil)

69.174.57.160 (Canada Toronto)

65.39.152.160 (Canada Vancouver)

207.226.132.110 (Japan Tokyo)

149.137.24.110 (Japan Osaka)

Meeting ID: 954 6260 2659

Passcode: 473197