enter search term and/or author name
Variant parametric types: A flexible subtyping scheme for generics
Atsushi Igarashi, Mirko Viroli
We develop the mechanism of variant parametric types as a means to enhance synergy between parametric and inclusion polymorphism in object-oriented programming languages. Variant parametric types are used to control both the subtyping between...
An algebraic array shape inference system for MATLAB®
Pramod G. Joisha, Prithviraj Banerjee
The problem of inferring array shapes ahead of time in languages that exhibit both implicit and dynamic typing is a critical one because the ramifications of its solution are the better organization of array storage through compaction and reuse, and...
Controlling garbage collection and heap growth to reduce the execution time of Java applications
Tim Brecht, Eshrat Arjomandi, Chang Li, Hang Pham
In systems that support garbage collection, a tension exists between collecting garbage too frequently and not collecting it frequently enough. Garbage collection that occurs too frequently may introduce unnecessary overheads at the risk of not...
Exploiting reference idempotency to reduce speculative storage overflow
Seon Wook Kim, Chong-Liang Ooi, Rudolf Eigenmann, Babak Falsafi, T. N. Vijaykumar
Recent proposals for multithreaded architectures employ speculative execution to allow threads with unknown dependences to execute speculatively in parallel. The architectures use hardware speculative storage to buffer speculative data, track data...