SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Thu 23 Oct 2014 11:37 - 12:00 at Salon E - Type Systems Chair(s): Ravi Chugh

Wildcard annotations can improve the generality of Java generic libraries, but require heavy manual effort. We present an algorithm for refactoring and inferring more general type instantiations of Java generics using wildcards. Compared to past approaches, our work is practical and immediately applicable: we assume no changes to the Java type system, while taking into account all its intricacies. Our system allows users to select declarations (variables, method parameters, return types, etc.) to generalize and considers declarations not declared in available source code. It then per- forms an inter-procedural flow analysis and a method body analysis, in order to generalize type signatures. We evaluate our technique on six Java generic libraries. We find that 30% of available declarations of variant type signatures can be generalized—i.e., relaxed with more general wildcard types. On average, 228 other declarations need to be updated when a declaration is generalized, showing that this refactoring would be too tedious and error-prone to perform manually.

Video: http://www.infoq.com/presentations/java-generics-wildcards

Refactoring Java Generics by Inferring Wildcards, In Practice (oopsla2014-altidor.pdf)702KiB

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Type SystemsOOPSLA at Salon E
Chair(s): Ravi Chugh University of Chicago
10:30
22m
Talk
Rate Types for Stream Programs
OOPSLA
Thomas W. Bartenstein SUNY Binghamton, Yu David Liu State University of New York (SUNY) Binghamton
Link to publication File Attached
10:52
22m
Talk
Foundations of Path-Dependent Types
OOPSLA
Nada Amin EPFL, Tiark Rompf Purdue & Oracle Labs, Martin Odersky Ecole Polytechnique Federale de Lausanne
Link to publication File Attached
11:15
22m
Talk
Confined Gradual Typing
OOPSLA
Esteban Allende , Johan Fabry University of Chile, Ronald Garcia University of British Columbia, Éric Tanter University of Chile
Link to publication
11:37
22m
Talk
Refactoring Java Generics by Inferring Wildcards, In Practice
OOPSLA
John Altidor University of Massachusetts, Yannis Smaragdakis University of Athens
Link to publication File Attached