SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Mon 16 Nov 2020 17:40 - 18:00 at OOPSLA/ECOOP - M-6
Tue 17 Nov 2020 05:40 - 06:00 at OOPSLA/ECOOP - M-6

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 interactive data analysis, but a bad fit for tools such as compilers or program analyzers which must generate native code or catch programming errors. In particular, R has no type annotations, all operations are dynamically checked at run-time. The starting point for our work are the twin 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 20214 functions from 412 packages among the most widely used open source R libraries.

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

17:00 - 18:20: M-6OOPSLA at OOPSLA/ECOOP +12h
17:00 - 17:20
Talk
OOPSLA
Michael CoblenzUniversity of Maryland at College Park, USA, Jonathan AldrichCarnegie Mellon University, Brad MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
17:20 - 17:40
Talk
OOPSLA
BO SANGPurdue University, Ant Financial Services Group, Patrick EugsterUniversita della Svizzera Italiana, Switzerland, Gustavo PetriArm Ltd, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUniversità della Svizzera italiana
17:40 - 18:00
Talk
OOPSLA
Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KrikavaCzech Technical University, Jan VitekNortheastern University
18:00 - 18:20
Talk
OOPSLA
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCornell University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University, USA

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

05:00 - 06:20: M-6OOPSLA at OOPSLA/ECOOP
05:00 - 05:20
Talk
OOPSLA
Michael CoblenzUniversity of Maryland at College Park, USA, Jonathan AldrichCarnegie Mellon University, Brad MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
05:20 - 05:40
Talk
OOPSLA
BO SANGPurdue University, Ant Financial Services Group, Patrick EugsterUniversita della Svizzera Italiana, Switzerland, Gustavo PetriArm Ltd, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUniversità della Svizzera italiana
05:40 - 06:00
Talk
OOPSLA
Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KrikavaCzech Technical University, Jan VitekNortheastern University
06:00 - 06:20
Talk
OOPSLA
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCornell University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University, USA