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 Chair(s): Jonathan Aldrich

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.

Thu 24 Oct
Times are displayed in time zone: (GMT+03:00) Beirut change

splash-2019-oopsla
14:00 - 15:30: OOPSLA - Corpus Studies at Attica
Chair(s): Jonathan AldrichCarnegie Mellon University
splash-2019-oopsla14:00 - 14:22
Talk
Emery BergerUniversity of Massachusetts Amherst, Celeste HollenbeckNortheastern University, Petr MajCzech Technical University, Olga VitekNortheastern University, Jan VitekNortheastern University
Link to publication DOI Pre-print
splash-2019-oopsla14:22 - 14:45
Talk
Luis MastrangeloUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italiana
DOI
splash-2019-oopsla14:45 - 15:07
Talk
Aviral GoelNortheastern University, Jan VitekNortheastern University
DOI Pre-print
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
DOI