enter search term and/or author name
ThisType for Object-Oriented Languages: From Theory to Practice
Article No.: 8
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
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
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...
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
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...