Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 31 Issue 5, June 2009

Mostly static program partitioning of binary executables
Efe Yardimci, Michael Franz
Article No.: 17
DOI: 10.1145/1538917.1538918

We have built a runtime compilation system that takes unmodified sequential binaries and improves their performance on off-the-shelf multiprocessors using dynamic vectorization and loop-level parallelization techniques. Our system, Azure, is...

Certificate translation for optimizing compilers
Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk
Article No.: 18
DOI: 10.1145/1538917.1538919

Proof Carrying Code provides trust in mobile code by requiring certificates that ensure the code adherence to specific conditions. The prominent approach to generate certificates for compiled code is Certifying Compilation, that automatically...

A theory of contracts for Web services
Giuseppe Castagna, Nils Gesbert, Luca Padovani
Article No.: 19
DOI: 10.1145/1538917.1538920

Contracts are behavioral descriptions of Web services. We devise a theory of contracts that formalizes the compatibility of a client with a service, and the safe replacement of a service with another service. The use of contracts statically...