SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Mon 16 Nov 2020 17:40 - 18:00 at SPLASH-I - M-6 Chair(s): Patrick Lam, Konstantinos Mamouras
Tue 17 Nov 2020 05:40 - 06:00 at SPLASH-I - M-6 Chair(s): Ifaz Kabir, David Grove

The R programming language is widely used in a variety of domains. It
was designed to favor an interactive style of programming with minimal
syntactic and conceptual overhead. This design is well suited to data
analysis, but a bad fit for tools such as compilers or program
analyzers. In particular, R has no type annotations, and all
operations are dynamically checked at run-time. The starting point for
our work are the two questions: \emph{what expressive power is needed
to accurately type R code?} and \emph{which type system is the R
community willing to adopt?} Both questions are difficult to answer
without actually experimenting with a type system. The goal of this
paper is to provide data that can feed into that design process. To
this end, we perform a large corpus analysis to gain insights in the
degree of polymorphism exhibited by idiomatic R code and explore
potential benefits that the R community could accrue from a simple
type system. As a starting point, we infer type signatures for
25,215 functions from 412 packages among the most
widely used open source R libraries. We then conduct an evaluation on
8,694 clients of these packages, as well as on end-user code
from the Kaggle data science competition website.

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

17:00 - 18:20: M-6OOPSLA at SPLASH-I +12h
Chair(s): Patrick LamUniversity of Waterloo, Konstantinos MamourasRice University
17:00 - 17:20
Talk
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
OOPSLA
Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
Link to publication DOI Media Attached
17:20 - 17:40
Talk
Scalable and Serializable Networked Multi-actor Programming
OOPSLA
Bo SangPurdue University / Ant Group, Patrick EugsterUSI Lugano / TU Darmstadt / Purdue University, Gustavo PetriARM Research, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUSI Lugano
Link to publication DOI Media Attached
17:40 - 18:00
Talk
Designing Types for R, Empirically
OOPSLA
Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KřikavaCzech Technical University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Media Attached
18:00 - 18:20
Talk
Geometry Types for Graphics Programming
OOPSLA
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCarnegie Mellon University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University
Link to publication DOI Pre-print Media Attached

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

05:00 - 06:20: M-6OOPSLA at SPLASH-I
Chair(s): Ifaz KabirUniversity of Alberta, David GroveIBM Research
05:00 - 05:20
Talk
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
OOPSLA
Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
Link to publication DOI Media Attached
05:20 - 05:40
Talk
Scalable and Serializable Networked Multi-actor Programming
OOPSLA
Bo SangPurdue University / Ant Group, Patrick EugsterUSI Lugano / TU Darmstadt / Purdue University, Gustavo PetriARM Research, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUSI Lugano
Link to publication DOI Media Attached
05:40 - 06:00
Talk
Designing Types for R, Empirically
OOPSLA
Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KřikavaCzech Technical University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Media Attached
06:00 - 06:20
Talk
Geometry Types for Graphics Programming
OOPSLA
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCarnegie Mellon University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University
Link to publication DOI Pre-print Media Attached