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 |