Abstract is missing.
- Cache locality optimization for recursive programsJonathan Lifflander, Sriram Krishnamoorthy. 1-16 [doi]
- Fusing effectful comprehensionsOlli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi. 17-32 [doi]
- Generalizations of the theory and deployment of triangular inequality for compiler-based strength reductionYufei Ding, Lin Ning, Hui Guan, Xipeng Shen. 33-48 [doi]
- Alive-Infer: data-driven precondition inference for peephole optimizations in LLVMDavid Menendez, Santosh Nagarakatte. 49-63 [doi]
- DemoMatch: API discovery from demonstrationsKuat Yessenov, Ivan Kuraj, Armando Solar-Lezama. 64-78 [doi]
- Similarity of binaries through re-optimizationYaniv David, Nimrod Partush, Eran Yahav. 79-94 [doi]
- Synthesizing program input grammarsOsbert Bastani, Rahul Sharma 0001, Alex Aiken, Percy Liang. 95-110 [doi]
- Compiling Markov chain Monte Carlo algorithms for probabilistic modelingDaniel Huang, Jean-Baptiste Tristan, Greg Morrisett. 111-125 [doi]
- BARRACUDA: binary-level analysis of runtime RAces in CUDA programsAriel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti. 126-140 [doi]
- BigFoot: static check placement for dynamic race detectionDustin Rhodes, Cormac Flanagan, Stephen N. Freund. 141-156 [doi]
- Dynamic race prediction in linear timeDileep Kini, Umang Mathur, Mahesh Viswanathan 0001. 157-170 [doi]
- Systematic black-box analysis of collaborative web applicationsMarina Billes, Anders Møller, Michael Pradel. 171-184 [doi]
- Bringing the web up to speed with WebAssemblyAndreas Haas, Andreas Rossberg, Derek L. Schuff, Ben L. Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, J. F. Bastien. 185-200 [doi]
- Miniphases: compilation using modular and efficient tree transformationsDmitry Petrashko, Ondrej Lhoták, Martin Odersky. 201-216 [doi]
- Proactive and adaptive energy-aware programming with mixed typecheckingAnthony Canino, Yu David Liu. 217-232 [doi]
- Simple, fast, and safe manual memory managementPiyus Kedia, Manuel Costa, Matthew Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein. 233-247 [doi]
- Compositional recurrence analysis revisitedZachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps. 248-262 [doi]
- Context transformations for pointer analysisRei Thiessen, Ondrej Lhoták. 263-277 [doi]
- Efficient and precise points-to analysis: modeling the heap by merging equivalent automataTian Tan, Yue Li, Jingling Xue. 278-291 [doi]
- Static deadlock detection for asynchronous C# programsAnirudh Santhiar, Aditya Kanade. 292-305 [doi]
- Achieving high coverage for floating-point code via unconstrained programmingZhoulai Fu, Zhendong Su. 306-319 [doi]
- Instruction punning: lightweight instrumentation for x86-64Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton. 320-332 [doi]
- Low overhead dynamic binary translation on ARMAmanieu D'Antras, Cosmin Gorgovan, Jim D. Garside, Mikel Luján. 333-346 [doi]
- Skeletal program enumeration for rigorous compiler testingQirun Zhang, Chengnian Sun, Zhendong Su. 347-361 [doi]
- Decomposition instead of self-composition for proving the absence of timing channelsTimos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei. 362-375 [doi]
- Automatic program inversion using symbolic transducersQinheping Hu, Loris D'Antoni. 376-389 [doi]
- Control-flow recovery from partial failure reportsPeter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit. 390-405 [doi]
- Rigorous analysis of software countermeasures against cache attacksGoran Doychev, Boris Köpf. 406-421 [doi]
- Component-based synthesis of table consolidation and transformation tasks from examplesYu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri. 422-436 [doi]
- Network configuration synthesis with abstract topologiesRyan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker. 437-451 [doi]
- Synthesizing highly expressive SQL queries from input-output examplesChenglong Wang, Alvin Cheung, Rastislav Bodík. 452-466 [doi]
- Synthesizing memory models from framework sketches and Litmus testsJames Bornholt, Emina Torlak. 467-481 [doi]
- Compiling without continuationsLuke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones. 482-494 [doi]
- FunTAL: reasonably mixing a functional language with assemblyDaniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed. 495-509 [doi]
- HoTTSQL: proving query rewrites with univalent SQL semanticsShumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu. 510-524 [doi]
- Levity polymorphismRichard A. Eisenberg, Simon L. Peyton Jones. 525-539 [doi]
- Synthesis of divide and conquer parallelism for loopsAzadeh Farzan, Victor Nicolet. 540-555 [doi]
- Futhark: purely functional GPU-programming with nested parallelism and in-place array updatesTroels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin E. Oancea. 556-571 [doi]
- Gradual synthesis for static parallelization of single-pass array-processing programsGrigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík. 572-585 [doi]
- A formally verified compiler for LustreTimothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg. 586-601 [doi]
- Flatten and conquer: a framework for efficient analysis of string constraintsParosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer. 602-617 [doi]
- Repairing sequential consistency in C/C++11Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer. 618-632 [doi]
- Taming undefined behavior in LLVMJuneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes. 633-647 [doi]
- Low-synchronization, mostly lock-free, elastic scheduling for streaming runtimesScott Schneider 0001, Kun-Lung Wu. 648-661 [doi]
- Practical partial evaluation for high-performance dynamic language runtimesThomas Würthinger, Christian Wimmer, Christian Humer, Andreas Wöß, Lukas Stadler, Chris Seaton, Gilles Duboscq, Doug Simon, Matthias Grimmer. 662-676 [doi]
- Responsive parallel computation: bridging competitive and cooperative threadingStefan K. Muller, Umut A. Acar, Robert Harper. 677-692 [doi]
- StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming dataKonstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna. 693-708 [doi]