CC 2017

13 papers

1. Compile-time function memoization · Arjun Suresh, Erven Rohou, André Seznec
2. Data structure-aware heap partitioning · Nouraldin Jaber, Milind Kulkarni
3. Dynamic symbolic execution for polymorphism · Lian Li, Yi Lu, Jingling Xue
4. From functional programs to pipelined dataflow circuits · Richard Townsend, Martha A. Kim, Stephen A. Edwards
5. Granullar: gradual nullable types for Java · Dan Brotherston, Werner Dietl, Ondrej Lhoták
6. Let it recover: multiparty protocol-induced recovery · Rumyana Neykova, Nobuko Yoshida
7. Lightweight data race detection for production runs · Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood
8. One compiler: deoptimization to optimized code · Christian Wimmer, Vojin Jovanovic, Erik Eckstein, Thomas Würthinger
9. Optimization space pruning without regrets · Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques A. Pienaar, Albert Cohen
10. Optimized two-level parallelization for GPU accelerators using the polyhedral model · Jun Shirako, Akihiro Hayashi, Vivek Sarkar
11. Partially redundant fence elimination for x86, ARM, and power processors · Robin Morisset, Francesco Zappa Nardelli
12. Static optimization in PHP 7 · Nikita Popov, Biagio Cosenza, Ben H. H. Juurlink, Dmitry Stogov
13. rev.ng: a unified binary analysis framework to recover CFGs and function boundaries · Alessandro Di Federico, Mathias Payer, Giovanni Agosta