Compiling generics through user-directed type specialization

Authors:
Iulian Dragos;Martin Odersky
Affiliations:
École Polytechnique Fédérale de Lausanne, Switzerland;École Polytechnique Fédérale de Lausanne, Switzerland
Venue:
Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems
Year:
2009

Citing 7
Cited 7

Compiling polymorphism using intensional type analysis

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parameterized types for Java

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Making the future safe for the past: adding genericity to the Java programming language

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Compatible genericity with run-time types for the Java programming language

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Design and implementation of generics for the .NET Common language runtime

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Java Virtual Machine Specification

Java Virtual Machine Specification
Fast subtype checking in the HotSpot JVM

JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande

Type classes as objects and implicits

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
A generic parallel collection framework

Euro-Par'11 Proceedings of the 17th international conference on Parallel processing - Volume Part II
Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Fast method dispatch and effective use of primitives for reified generics in managed X10

Proceedings of the 2012 ACM SIGPLAN X10 Workshop
Lightweight generics in embedded systems through static analysis

Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
Bridging islands of specialized code using macros and reified types

Proceedings of the 4th Workshop on Scala
Harmonizing classes, functions, tuples, and type parameters in virgil iii

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Compilation of polymorphic code through type erasure gives compact code but performance on primitive types is significantly hurt. Full specialization gives good performance, but at the cost of increased code size and compilation time. Instead we propose a mixed approach, which allows the programmer to decide what code to specialize. Our approach supports separate compilation, allows mixing of specialized and generic code, and gives very good results in practice.