Register for ACM India Industry Webinar on 14 December with Sriram Rajamani: "Program Synthesis Meets Machine Learning"
December 3, 2019
At the next ACM India Industry Webinar, another eminent technology leader will speak about an extremely interesting topic of immense significance to the computing industry.
Register now for the next session of the ACM India Industry Webinar series, "Program Synthesis Meets Machine Learning", to be presented on Saturday 14 December 2019 at 11am IST by Sriram Rajamani, Managing Director, Microsoft Research India. All students, faculty and industry professionals are welcome to attend the webinar. Feel free to forward this communication to those who would be interested.
Note : You can also stream this webinar on your mobile device, including smartphone and tablet.
Abstract: We give a tutorial overview of program synthesis, from its first formulation by Church in 1957, through its pragmatic evolution through sketching and programming-by-examples, and compare program synthesis with supervised machine learning. We then present our recent efforts in combining program synthesis and machine learning techniques to solve the problem of synthesizing extractors from heterogeneous data, as well as in solving NLP problems. Finally, we explore several opportunities at the intersection of program synthesis (and more broadly the PL community) and machine learning, such as pruning and ranking programs during synthesis and neural program synthesis.
(Joint work with collaborators Suresh Parthasarathy, Arjun Radhakrishna, Arun Iyer, Manohar Jonnalagedda, Monojit Choudhury, Partho Sarthi)
Duration : 60 minutes (including audience Q&A)
Presenter:
Sriram Rajamani is Distinguished Scientist and Managing Director of Microsoft Research India. His research interests include formal verification, systems, security and privacy, and machine learning. He was awarded Computer Aided Verification Award (2011), was elected ACM Fellow (2015), and INAE Fellow (2016). His current research is in combining Program Synthesis and Machine Learning.
Sriram did his Bachelor's from Anna University, Master's from University of Virginia and PhD from University of California, Berkeley, all in Computer Science.
Host:
Dr. Hemant Pande, Executive Director, ACM India
