Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Thu 24 Oct 2019 14:22 - 14:45 at Attica - Corpus Studies

The main goal of a static type system is to prevent certain kinds of errors from happening at run time. A type system is formulated as a set of constraints that gives any expression or term in a program a well-defined type. Yet mainstream programming languages are endowed with type systems that provide the means to circumvent their constraints through casting.

We want to understand how and when developers escape the static type system to use dynamic typing. We empirically study how casting is used by developers in more than seven thousand Java projects. We find that casts are widely used (8.7% of methods contain at least one cast) and that 50% of casts we inspected are not guarded locally to ensure against potential run-time errors.

To help us better categorize use cases and thus understand how casts are used in practice, we identify 25 cast-usage patterns, recurrent programming idioms using casts to solve a specific issue. This knowledge can be: (a) a recommendation for current and future language designers to make informed decisions (b) a reference for tool builders, e.g., by providing more precise or new refactoring analyses, (c) a guide for researchers to test new language features, or to carry out controlled programming experiments, and (d) a guide for developers for better practices.

This program is tentative and subject to change.

Thu 24 Oct

splash-2019-oopsla
14:00 - 15:30: OOPSLA - Corpus Studies at Attica
splash-2019-oopsla14:00 - 14:22
Talk
Emery BergerUniversity of Massachusetts Amherst, Celeste HollenbeckNortheastern Univeristy, Petr MajCzech Technical University, Olga VitekNortheastern University, Jan VitekNortheastern University
splash-2019-oopsla14:22 - 14:45
Talk
Luis MastrangeloUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italiana
splash-2019-oopsla14:45 - 15:07
Talk
Aviral GoelNortheastern University, Jan VitekNortheastern University
splash-2019-oopsla15:07 - 15:30
Talk
Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook