Compositional Model Checking with Incremental Counter-Example Construction

Anton Wijs, Thomas Neele

Abstract elided by the publisher.

Starling: Lightweight Concurrency Verification with Views

Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson

Abstract elided by the publisher.

Dynamic symbolic execution for polymorphism

Lian Li, Yi Lu, Jingling Xue

Optimization space pruning without regrets

Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques A. Pienaar, Albert Cohen

Lightweight data race detection for production runs

Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood

Granullar: gradual nullable types for Java

Dan Brotherston, Werner Dietl, Ondrej Lhoták

rev.ng: a unified binary analysis framework to recover CFGs and function boundaries

Alessandro Di Federico, Mathias Payer, Giovanni Agosta

Data structure-aware heap partitioning

Nouraldin Jaber, Milind Kulkarni

Partially redundant fence elimination for x86, ARM, and power processors

Robin Morisset, Francesco Zappa Nardelli

Let it recover: multiparty protocol-induced recovery

Rumyana Neykova, Nobuko Yoshida

Static optimization in PHP 7

Nikita Popov, Biagio Cosenza, Ben H. H. Juurlink, Dmitry Stogov

Optimized two-level parallelization for GPU accelerators using the polyhedral model

Jun Shirako, Akihiro Hayashi, Vivek Sarkar

Compile-time function memoization

Arjun Suresh, Erven Rohou, André Seznec

From functional programs to pipelined dataflow circuits

Richard Townsend, Martha A. Kim, Stephen A. Edwards

One compiler: deoptimization to optimized code

Christian Wimmer, Vojin Jovanovic, Erik Eckstein, Thomas Würthinger

Software prefetching for indirect memory accesses

Sam Ainsworth, Timothy M. Jones

Taming warp divergence

Jayvant Anantpur, R. Govindarajan

Formalizing the concurrency semantics of an LLVM fragment

Soham Chakraborty, Viktor Vafeiadis

Cross-ISA machine emulation for multicores

Emilio G. Cota, Paolo Bonzini, Alex Bennée, Luca P. Carloni

Synthesizing benchmarks for predictive modeling

Chris Cummins, Pavlos Petoumenos, Zheng Wang, Hugh Leather