Venues / TOPLAS /

TOPLAS 2014

19 papers

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
A Widening Approach to Multithreaded Program Verification · Alexander Kaiser, Daniel Kroening, Thomas Wahl
Abstract Domains of Affine Relations · Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps
Atomicity Refinement for Verified Compilation · Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek
Editorial · Jens Palsberg
Extending Type Inference to Variational Programs · Sheng Chen, Martin Erwig, Eric Walkingshaw
Formal Verification of an SSA-Based Middle-End for CompCert · Gilles Barthe, Delphine Demange, David Pichardie
Foundations of Typestate-Oriented Programming · Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich
Global Sparse Analysis Framework · Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang + 1 more
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory · Jade Alglave, Luc Maranget, Michael Tautschnig
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss · Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Kitsune: Efficient, General-Purpose Dynamic Software Updating for C · Christopher M. Hayden, Karla Saur, Edward K. Smith, Michael W. Hicks, Jeffrey S. Foster
Lazy Scheduling: A Runtime Adaptive Scheduler for Declarative Parallelism · Alexandros Tzannes, George C. Caragea, Uzi Vishkin, Rajeev Barua
Pattern-Based Verification for Multithreaded Programs · Javier Esparza, Pierre Ganty, Tomás Poch
Practical Fine-Grained Information Flow Control Using Laminar · Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn S. McKinley, Emmett Witchel
Reactive Imperative Programming with Dataflow Constraints · Camil Demetrescu, Irene Finocchi, Andrea Ribichini
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations · Hongjin Liang, Xinyu Feng, Ming Fu
Specialization Slicing · Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps
Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach · Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques + 1 more