Syntax Guided Program Synthesis

Rajeev Alur (University of Pennsylvania) https://simons.berkeley.edu/talks/

https://pldi22.sigplan.org/details/pldi-2022-pldi/4/Can-Reactive-

3 minutes descriptive video for Neurips 2019 Paper Link: https://arxiv.org/abs/1906.04604.

Leading

Mark Santolucito (Barnard College) ...

Invited Talk: Neuro-Symbolic

Authors: Andrew Reynolds, Haniel Barbosa, Daniel Larraz, and Cesare Tinelli Aired: 2020-02-04 14:00:00 CEST (UTC+2)

Camera Ready Video Demonstration for FSE 2023.

... program synthesis techniques, we propose a new combination of optimizing rewrites and

Accelerating

Panel discussion with Francois Chollet, Kevin Ellis, and Zenna Tavares on why

Andrew J. Reynolds (University of Iowa) https://simons.berkeley.edu/talks/

In this tutorial, we introduce you to the basic usage of Rosette to

Personal website: https://sbaziotis.com 00:00 Introduction 2:19 Part 1: Overview of Hoare Logic 4:05 Part 1 - Assertions are not ...

Kevin Ellis (Cornell) and Zenna Tavares (BASIS) argue that the next wave of AI needs to learn like humans do: building abstract ...

In this lecture, I'm providing an introduction to

Loris D'Antoni (University of Wisconsin-Madison) https://simons.berkeley.edu/talks/tbd-274