ABCD
1
DateSpeakerTitleAbstract
2
Sep 25
3
Oct 2
4
Oct 9Jialu Bao
5
Oct 16Yuhao Zhang
6
Oct 23Cindy Rubio Gonzalez (UCDavis)
7
Oct 30Zachary Susag
8
Nov 6Qinheping HuResource-guided synthesishttps://cseweb.ucsd.edu/~npolikarpova/publications/pldi19.pdf
9
Nov 13Aviral Goel (Northeastern)On the Design, Implementation, and Use of Laziness in R
In this talk, I will present the design and implementation of call-by-need in R, and a data-driven study of how generations of programmers have put laziness to use in their code. In our study, we analyze 16,707 R packages and observe the creation of 270.9 B promises. Our data suggest that there is little supporting evidence to assert that programmers use laziness to avoid unnecessary computation or to operate over infinite data structures. For the most part R code appears to have been written without reliance on and in many cases even knowledge of, delayed argument evaluation. The only significant exception is a small number of packages which leverage call-by-need for meta-programming. I will discuss how we intend to leverage these insights to remove laziness from R and enable non-intrusive migration of code from lazy to eager evaluation.
10
Nov 20Matt Fredrikson (CMU)
11
Dec 4Caroline Lemieux (Berkeley)
12
Dec 11Yu Huang (UMich)
13