2020 Nov 24 Exact Bayesian Inference by Symbolic Disintegration 12:00pm to 1:15pm Mark Goldstein will present the following paper and lead the discussion. Chung-chieh Shan and Norman Ramsey. 2017. “Exact Bayesian Inference by Symbolic Disintegration.” Principles of Programming Languages (POPL). PDF
2020 Nov 19 Class: Vid2Player 12:00pm to 1:15pm Anthony Yim will present the following paper and lead the discussion. Haotian Zhang, Cristobal Sciutto, Maneesh Agrawala, and Kayvon Fatahalian. 8/11/2020. “Vid2Player: Controllable Video Sprites that Behave and Appear like Professional Tennis Players.” arXiv:2008.04524 . PDF
2020 Nov 17 Class: Program Synthesis from Polymorphic Refinement Types 12:00pm to 1:15pm Felix Sosa will present the following paper and lead the discussion. Nadia Polikarpova, Ivan Kuraj, and Armando Solar-Lezama. 2016. “Program Synthesis from Polymorphic Refinement Types.” In PLDI. PDF
2020 Nov 12 Class: Preventing undesirable behavior of intelligent machines 12:00pm to 1:15pm Yafah Edelman will present the following paper and lead the discussion. Philip S. Thomas, Bruno Castro da Silva, Andrew G. Barto, Stephen Giguere, Yuriy Brun, and Emma Brunskill. 2019. “Preventing undesirable behavior of intelligent machines.” Science, 366, 6468, Pp. 999–1004. Publisher's Version Read more about Class: Preventing undesirable behavior of intelligent machines