ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 38 Issue 3, May 2016

ThisType for Object-Oriented Languages: From Theory to Practice
Sukyoung Ryu
Article No.: 8
DOI: 10.1145/2888392

In object-oriented programs, objects often provide methods whose parameter types or return types are the object types themselves. For example, the parameter types of binary methods are the types of their receiver objects, and the return types of...

Thinking Inside the Box: Compartmentalized Garbage Collection
Gregor Wagner, Per Larsen, Stefan Brunthaler, Michael Franz
Article No.: 9
DOI: 10.1145/2866576

The web browser is the “new desktop.” Not only do many users spend most of their time using the browser, the browser has also become host to rich and dynamic applications that were previously tailored to each individual operating...

A Practical Approach for Model Checking C/C++11 Code
Brian Norris, Brian Demsky
Article No.: 10
DOI: 10.1145/2806886

Writing low-level concurrent software has traditionally required intimate knowledge of the entire toolchain and often has involved coding in assembly. New language standards have extended C and C++ with support for low-level atomic operations and...

Automatic Storage Optimization for Arrays
Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen
Article No.: 11
DOI: 10.1145/2845078

Efficient memory allocation is crucial for data-intensive applications, as a smaller memory footprint ensures better cache performance and allows one to run a larger problem size given a fixed amount of main memory. In this article, we describe a...

The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests
Uday Bondhugula, Aravind Acharya, Albert Cohen
Article No.: 12
DOI: 10.1145/2896389

Affine transformations have proven to be powerful for loop restructuring due to their ability to model a very wide range of transformations. A single multidimensional affine function can represent a long and complex sequence of simpler...