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 37 Issue 1, January 2015

Editorial
Jens Palsberg
Article No.: 1e
DOI: 10.1145/2683389

Editorial

I thank the associate editors who continue to serve TOPLAS, and I also thank Matthew Dwyer who in Summer 2014 reached the end of his term and stepped down as associate editor.

Welcome to Kathleen Fisher who is a new...

Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Article No.: 1
DOI: 10.1145/2651360

The most commonly used integer types have fixed bit-width, making it possible for computations to “wrap around,” and many programs depend on this behaviour. Yet much work to date on program analysis and verification of integer...

A Scheduling Framework for Spatial Architectures Across Multiple Constraint-Solving Theories
Tony Nowatzki, Michael Sartin-Tarm, Lorenzo De Carli, Karthikeyan Sankaralingam, Cristian Estan, Behnam Robatmili
Article No.: 2
DOI: 10.1145/2658993

Spatial architectures provide energy-efficient computation but require effective scheduling algorithms. Existing heuristic-based approaches offer low compiler/architect productivity, little optimality insight, and low architectural...

Reactive Imperative Programming with Dataflow Constraints
Camil Demetrescu, Irene Finocchi, Andrea Ribichini
Article No.: 3
DOI: 10.1145/2623200

Dataflow languages provide natural support for specifying constraints between objects in dynamic applications, where programs need to react efficiently to changes in their environment. In this article, we show that one-way dataflow constraints,...

Practical Fine-Grained Information Flow Control Using Laminar
Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn S. Mckinley, Emmett Witchel
Article No.: 4
DOI: 10.1145/2638548

Decentralized Information Flow Control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity hardware can be broadly categorized into two types: language-level...