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 32 Issue 4, April 2010

La dolce vita at TOPLAS
Kathryn S. Mckinley, Keshav Pingali
Article No.: 10
DOI: 10.1145/1734206.1734207

An optimization framework for embedded processors with auto-addressing mode
Xiaotong Zhuang, Santosh Pande
Article No.: 11
DOI: 10.1145/1734206.1734208

Modern embedded processors with dedicated address generation unit support memory accesses through auto-increment/decrement addressing mode. The auto-increment/decrement mode, if properly utilized, can save address arithmetic instructions, reduce...

Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Peter Sewell, Paweł T. Wojciechowski, Asis Unyapoth
Article No.: 12
DOI: 10.1145/1734206.1734209

Mobile computation, in which executing computations can move from one physical computing device to another, is a recurring theme: from OS process migration, to language-level mobility, to virtual machine migration. This article reports on the...

Scratchpad allocation for concurrent embedded software
Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra
Article No.: 13
DOI: 10.1145/1734206.1734210

Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation algorithms typically consider single-process applications. But embedded...

Santa Claus: Formal analysis of a process-oriented solution
Peter H. Welch, Jan B. Pedersen
Article No.: 14
DOI: 10.1145/1734206.1734211

With the commercial development of multicore processors, the challenges of writing multithreaded programs to take advantage of these new hardware architectures are becoming more and more pertinent. Concurrent programming is necessary to achieve...

Detecting bugs in register allocation
Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa
Article No.: 15
DOI: 10.1145/1734206.1734212

Although register allocation is critical for performance, the implementation of register allocation algorithms is difficult, due to the complexity of the algorithms and target machine architectures. It is particularly difficult to detect register...