Abstract is missing.
- Partially redundant fence elimination for x86, ARM, and power processorsRobin Morisset, Francesco Zappa Nardelli. 1-10 [doi]
- Lightweight data race detection for production runsSwarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood. 11-21 [doi]
- Optimized two-level parallelization for GPU accelerators using the polyhedral modelJun Shirako, Akihiro Hayashi, Vivek Sarkar. 22-33 [doi]
- Optimization space pruning without regretsUlysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques A. Pienaar, Albert Cohen 0001. 34-44 [doi]
- Compile-time function memoizationArjun Suresh, Erven Rohou, André Seznec. 45-54 [doi]
- One compiler: deoptimization to optimized codeChristian Wimmer, Vojin Jovanovic, Erik Eckstein, Thomas Würthinger. 55-64 [doi]
- Static optimization in PHP 7Nikita Popov, Biagio Cosenza, Ben H. H. Juurlink, Dmitry Stogov. 65-75 [doi]
- From functional programs to pipelined dataflow circuitsRichard Townsend, Martha A. Kim, Stephen A. Edwards. 76-86 [doi]
- Granullar: gradual nullable types for JavaDan Brotherston, Werner Dietl, Ondrej Lhoták. 87-97 [doi]
- Let it recover: multiparty protocol-induced recoveryRumyana Neykova, Nobuko Yoshida. 98-108 [doi]
- Data structure-aware heap partitioningNouraldin Jaber, Milind Kulkarni. 109-119 [doi]
- Dynamic symbolic execution for polymorphismLian Li 0002, Yi Lu 0003, Jingling Xue. 120-130 [doi]
- rev.ng: a unified binary analysis framework to recover CFGs and function boundariesAlessandro Di Federico, Mathias Payer, Giovanni Agosta. 131-141 [doi]