PLDI 2017 – Proceedings

Frontmatter

Compiler Optimizations

Cache Locality Optimization for Recursive Programs
Jonathan Lifflander and Sriram Krishnamoorthy
(Sandia National Laboratories, USA; Pacific Northwest National Laboratory, USA)


@InProceedings{PLDI17p1, author = {Jonathan Lifflander and Sriram Krishnamoorthy}, title = {Cache Locality Optimization for Recursive Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, }

Fusing Effectful Comprehensions
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, and Madan Musuvathi
(Aalto University, Finland; Helsinki Institute for Information Technology, Finland; Microsoft Research, USA)


@InProceedings{PLDI17p17, author = {Olli Saarikivi and Margus Veanes and Todd Mytkowicz and Madan Musuvathi}, title = {Fusing Effectful Comprehensions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {17-16}, doi = {}, year = {2017}, } Artifacts Functional

Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
Yufei Ding, Lin Ning, Hui Guan, and Xipeng Shen
(North Carolina State University, USA)


@InProceedings{PLDI17p33, author = {Yufei Ding and Lin Ning and Hui Guan and Xipeng Shen}, title = {Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {33-32}, doi = {}, year = {2017}, }

Alive-Infer: Data-Driven Precondition Inference for Peephole Optimizations in LLVM
David Menendez and Santosh Nagarakatte
(Rutgers University, USA)


@InProceedings{PLDI17p49, author = {David Menendez and Santosh Nagarakatte}, title = {Alive-Infer: Data-Driven Precondition Inference for Peephole Optimizations in LLVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2017}, } Artifacts Functional

Learning and Probabilistic

DemoMatch: API Discovery from Demonstrations
Kuat Yessenov, Ivan Kuraj, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA)


@InProceedings{PLDI17p65, author = {Kuat Yessenov and Ivan Kuraj and Armando Solar-Lezama}, title = {DemoMatch: API Discovery from Demonstrations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {65-64}, doi = {}, year = {2017}, } Artifacts Functional

Similarity of Binaries through re-Optimization
Yaniv David, Nimrod Partush, and Eran Yahav
(Technion, Israel)


@InProceedings{PLDI17p81, author = {Yaniv David and Nimrod Partush and Eran Yahav}, title = {Similarity of Binaries through re-Optimization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2017}, }

Synthesizing Program Input Grammars
Osbert Bastani, Rahul Sharma, Alex Aiken, and Percy Liang
(Stanford University, USA; Microsoft Research, India)


@InProceedings{PLDI17p97, author = {Osbert Bastani and Rahul Sharma and Alex Aiken and Percy Liang}, title = {Synthesizing Program Input Grammars}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2017}, }

Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
Daniel Huang, Jean-Baptiste Tristan, and Greg Morrisett
(Harvard University, USA; Oracle Labs, USA; Cornell University, USA)


@InProceedings{PLDI17p113, author = {Daniel Huang and Jean-Baptiste Tristan and Greg Morrisett}, title = {Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {113-112}, doi = {}, year = {2017}, } Artifacts Functional

Concurrency Analysis

BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, and Joseph Devietti
(University of Pennsylvania, USA; Princeton University, USA)


@InProceedings{PLDI17p129, author = {Ariel Eizenberg and Yuanfeng Peng and Toma Pigli and William Mansky and Joseph Devietti}, title = {BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {129-128}, doi = {}, year = {2017}, }

BigFoot: Static Check Placement for Dynamic Race Detection
Dustin Rhodes, Cormac Flanagan, and Stephen N. Freund
(University of California at Santa Cruz, USA; Williams College, USA)


@InProceedings{PLDI17p145, author = {Dustin Rhodes and Cormac Flanagan and Stephen N. Freund}, title = {BigFoot: Static Check Placement for Dynamic Race Detection}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2017}, } Artifacts Functional

Dynamic Race Prediction in Linear Time
Dileep Kini, Umang Mathur, and Mahesh Viswanathan
(University of Illinois at Urbana-Champaign, USA)


@InProceedings{PLDI17p161, author = {Dileep Kini and Umang Mathur and Mahesh Viswanathan}, title = {Dynamic Race Prediction in Linear Time}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2017}, } Artifacts Functional

Systematic Black-Box Analysis of Collaborative Web Applications
Marina Billes, Anders Møller, and Michael Pradel
(TU Darmstadt, Germany; Aarhus University, Denmark)


@InProceedings{PLDI17p177, author = {Marina Billes and Anders Møller and Michael Pradel}, title = {Systematic Black-Box Analysis of Collaborative Web Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {177-176}, doi = {}, year = {2017}, } Artifacts Functional

Language Implementation

Bringing the Web up to Speed with WebAssembly
Andreas Haas, Andreas Rossberg, Derek L. Schuff, Ben L. Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, and JF Bastien
(Google, Germany; Google, USA; Microsoft, USA; Mozilla, USA; Apple, USA)


@InProceedings{PLDI17p193, author = {Andreas Haas and Andreas Rossberg and Derek L. Schuff and Ben L. Titzer and Michael Holman and Dan Gohman and Luke Wagner and Alon Zakai and JF Bastien}, title = {Bringing the Web up to Speed with WebAssembly}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {193-192}, doi = {}, year = {2017}, }

Miniphases: Compilation using Modular and Efficient Tree Transformations
Dmitry Petrashko, Ondřej Lhoták, and Martin Odersky
(EPFL, Switzerland; University of Waterloo, Canada)


@InProceedings{PLDI17p209, author = {Dmitry Petrashko and Ondřej Lhoták and Martin Odersky}, title = {Miniphases: Compilation using Modular and Efficient Tree Transformations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {209-208}, doi = {}, year = {2017}, }

Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
Anthony Canino and Yu David Liu
(SUNY Binghamton, USA)


@InProceedings{PLDI17p225, author = {Anthony Canino and Yu David Liu}, title = {Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {225-224}, doi = {}, year = {2017}, } Artifacts Functional

Simple, Fast, and Safe Manual Memory Management
Piyus Kedia, Manuel Costa, Matthew Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, and Aaron Blankstein
(Microsoft Research, India; Microsoft Research, UK; Princeton University, USA)


@InProceedings{PLDI17p241, author = {Piyus Kedia and Manuel Costa and Matthew Parkinson and Kapil Vaswani and Dimitrios Vytiniotis and Aaron Blankstein}, title = {Simple, Fast, and Safe Manual Memory Management}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2017}, }

Static Analysis

Compositional Recurrence Analysis Revisited
Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, and Thomas Reps
(Princeton University, USA; University of Wisconsin-Madison, USA; GrammaTech, USA)


@InProceedings{PLDI17p257, author = {Zachary Kincaid and Jason Breck and Ashkan Forouhi Boroujeni and Thomas Reps}, title = {Compositional Recurrence Analysis Revisited}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {257-256}, doi = {}, year = {2017}, } Artifacts Functional

Context Transformations for Pointer Analysis
Rei Thiessen and Ondřej Lhoták
(University of Waterloo, Canada)


@InProceedings{PLDI17p273, author = {Rei Thiessen and Ondřej Lhoták}, title = {Context Transformations for Pointer Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {273-272}, doi = {}, year = {2017}, }

Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata
Tian Tan, Yue Li, and Jingling Xue
(UNSW, Australia)


@InProceedings{PLDI17p289, author = {Tian Tan and Yue Li and Jingling Xue}, title = {Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {289-288}, doi = {}, year = {2017}, } Artifacts Functional

Static Deadlock Detection for Asynchronous C# Programs
Anirudh Santhiar and Aditya Kanade
(Indian Institute of Science, India)


@InProceedings{PLDI17p305, author = {Anirudh Santhiar and Aditya Kanade}, title = {Static Deadlock Detection for Asynchronous C# Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {305-304}, doi = {}, year = {2017}, }

Dynamic Analysis and Testing

Achieving High Coverage for Floating-Point Code via Unconstrained Programming
Zhoulai Fu and Zhendong Su
(University of California at Davis, USA)


@InProceedings{PLDI17p321, author = {Zhoulai Fu and Zhendong Su}, title = {Achieving High Coverage for Floating-Point Code via Unconstrained Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2017}, }

Instruction Punning: Lightweight Instrumentation for x86-64
Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, and Ryan R. Newton
(Indiana University, USA; Chalmers University of Technology, Sweden)


@InProceedings{PLDI17p337, author = {Buddhika Chamith and Bo Joel Svensson and Luke Dalessandro and Ryan R. Newton}, title = {Instruction Punning: Lightweight Instrumentation for x86-64}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {337-336}, doi = {}, year = {2017}, }

Low Overhead Dynamic Binary Translation on ARM
Amanieu d'Antras, Cosmin Gorgovan, Jim Garside, and Mikel Luján
(University of Manchester, UK)


@InProceedings{PLDI17p353, author = {Amanieu d'Antras and Cosmin Gorgovan and Jim Garside and Mikel Luján}, title = {Low Overhead Dynamic Binary Translation on ARM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {353-352}, doi = {}, year = {2017}, } Artifacts Functional

Skeletal Program Enumeration for Rigorous Compiler Testing
Qirun Zhang, Chengnian Sun, and Zhendong Su
(University of California at Davis, USA)


@InProceedings{PLDI17p369, author = {Qirun Zhang and Chengnian Sun and Zhendong Su}, title = {Skeletal Program Enumeration for Rigorous Compiler Testing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {369-368}, doi = {}, year = {2017}, }

Static Analysis and Security

Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, and Shiyi Wei
(Yale University, USA; University of Maryland, USA; JAIST, Japan)


@InProceedings{PLDI17p385, author = {Timos Antonopoulos and Paul Gazzillo and Michael Hicks and Eric Koskinen and Tachio Terauchi and Shiyi Wei}, title = {Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {385-384}, doi = {}, year = {2017}, } Artifacts Functional

Automatic Program Inversion using Symbolic Transducers
Qinheping Hu and Loris D'Antoni
(University of Wisconsin-Madison, USA)


@InProceedings{PLDI17p401, author = {Qinheping Hu and Loris D'Antoni}, title = {Automatic Program Inversion using Symbolic Transducers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2017}, }

Control-Flow Recovery from Partial Failure Reports
Peter Ohmann, Alexander Brooks, Loris D'Antoni, and Ben Liblit
(University of Wisconsin-Madison, USA)


@InProceedings{PLDI17p417, author = {Peter Ohmann and Alexander Brooks and Loris D'Antoni and Ben Liblit}, title = {Control-Flow Recovery from Partial Failure Reports}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {417-416}, doi = {}, year = {2017}, } Artifacts Functional

Rigorous Analysis of Software Countermeasures against Cache Attacks
Goran Doychev and Boris Köpf
(IMDEA Software Institute, Spain)


@InProceedings{PLDI17p433, author = {Goran Doychev and Boris Köpf}, title = {Rigorous Analysis of Software Countermeasures against Cache Attacks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {433-432}, doi = {}, year = {2017}, } Artifacts Functional

Synthesis

Component-Based Synthesis of Table Consolidation and Transformation Tasks from Examples
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, and Swarat Chaudhuri
(University of Texas at Austin, USA; Rice University, USA)


@InProceedings{PLDI17p449, author = {Yu Feng and Ruben Martins and Jacob Van Geffen and Isil Dillig and Swarat Chaudhuri}, title = {Component-Based Synthesis of Table Consolidation and Transformation Tasks from Examples}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {449-448}, doi = {}, year = {2017}, } Artifacts Functional

Network Configuration Synthesis with Abstract Topologies
Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, and David Walker
(Princeton University, USA; Intentionet, USA; Microsoft, USA; University of California at Los Angeles, USA)


@InProceedings{PLDI17p465, author = {Ryan Beckett and Ratul Mahajan and Todd Millstein and Jitendra Padhye and David Walker}, title = {Network Configuration Synthesis with Abstract Topologies}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {465-464}, doi = {}, year = {2017}, } Artifacts Functional

Synthesizing Highly Expressive SQL Queries from Input-Output Examples
Chenglong Wang, Alvin Cheung, and Rastislav Bodik
(University of Washington, USA)


@InProceedings{PLDI17p481, author = {Chenglong Wang and Alvin Cheung and Rastislav Bodik}, title = {Synthesizing Highly Expressive SQL Queries from Input-Output Examples}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2017}, } Artifacts Functional

Synthesizing Memory Models from Framework Sketches and Litmus Tests
James Bornholt and Emina Torlak
(University of Washington, USA)


@InProceedings{PLDI17p497, author = {James Bornholt and Emina Torlak}, title = {Synthesizing Memory Models from Framework Sketches and Litmus Tests}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {497-496}, doi = {}, year = {2017}, } Artifacts Functional

Functional Programming and Correctness

Compiling without Continuations
Luke Maurer, Paul Downen, Zena M. Ariola, and Simon Peyton Jones
(University of Oregon, USA; Microsoft Research, UK)


@InProceedings{PLDI17p513, author = {Luke Maurer and Paul Downen and Zena M. Ariola and Simon Peyton Jones}, title = {Compiling without Continuations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {513-512}, doi = {}, year = {2017}, }

FunTAL: Reasonably Mixing a Functional Language with Assembly
Daniel Patterson, Jamie Perconti, Christos Dimoulas, and Amal Ahmed
(Northeastern University, USA; Harvard University, USA)


@InProceedings{PLDI17p529, author = {Daniel Patterson and Jamie Perconti and Christos Dimoulas and Amal Ahmed}, title = {FunTAL: Reasonably Mixing a Functional Language with Assembly}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {529-528}, doi = {}, year = {2017}, } Artifacts Functional

HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Shumo Chu, Konstantin Weitz, Alvin Cheung, and Dan Suciu
(University of Washington, USA)


@InProceedings{PLDI17p545, author = {Shumo Chu and Konstantin Weitz and Alvin Cheung and Dan Suciu}, title = {HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {545-544}, doi = {}, year = {2017}, } Artifacts Functional

Levity Polymorphism
Richard A. Eisenberg and Simon Peyton Jones
(Bryn Mawr College, USA; Microsoft Research, UK)


@InProceedings{PLDI17p561, author = {Richard A. Eisenberg and Simon Peyton Jones}, title = {Levity Polymorphism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {561-560}, doi = {}, year = {2017}, }

Parallelization and Concurrency

Synthesis of Divide and Conquer Parallelism for Loops
Azadeh Farzan and Victor Nicolet
(University of Toronto, Canada)


@InProceedings{PLDI17p577, author = {Azadeh Farzan and Victor Nicolet}, title = {Synthesis of Divide and Conquer Parallelism for Loops}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {577-576}, doi = {}, year = {2017}, }

Futhark: Purely Functional GPU-Programming with Nested Parallelism and In-Place Array Updates
Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, and Cosmin E. Oancea
(University of Copenhagen, Denmark)


@InProceedings{PLDI17p593, author = {Troels Henriksen and Niels G. W. Serup and Martin Elsman and Fritz Henglein and Cosmin E. Oancea}, title = {Futhark: Purely Functional GPU-Programming with Nested Parallelism and In-Place Array Updates}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {593-592}, doi = {}, year = {2017}, } Artifacts Functional

Gradual Synthesis for Static Parallelization of Single-Pass Array-Processing Programs
Grigory Fedyukovich, Maaz Bin Safeer Ahmad, and Rastislav Bodik
(University of Washington, USA)


@InProceedings{PLDI17p609, author = {Grigory Fedyukovich and Maaz Bin Safeer Ahmad and Rastislav Bodik}, title = {Gradual Synthesis for Static Parallelization of Single-Pass Array-Processing Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {609-608}, doi = {}, year = {2017}, }

Verified Computation

A Formally Verified Compiler for Lustre
Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, and Lionel Rieg
(Inria, France; ENS, France; UPMC, France; CNRS, France; Collège de France, France; Yale University, USA)


@InProceedings{PLDI17p625, author = {Timothy Bourke and Lélio Brun and Pierre-Évariste Dagand and Xavier Leroy and Marc Pouzet and Lionel Rieg}, title = {A Formally Verified Compiler for Lustre}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {625-624}, doi = {}, year = {2017}, } Artifacts Functional

Flatten and Conquer: A Framework for Efficient Analysis of String Constraints
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukáš Holík, Ahmed Rezine, and Philipp Rümmer
(Uppsala University, Sweden; Academia Sinica, Taiwan; Brno University of Technology, Czech Republic; Linköping University, Sweden)


@InProceedings{PLDI17p641, author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Bui Phi Diep and Lukáš Holík and Ahmed Rezine and Philipp Rümmer}, title = {Flatten and Conquer: A Framework for Efficient Analysis of String Constraints}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {641-640}, doi = {}, year = {2017}, } Artifacts Functional

Correctness

Repairing Sequential Consistency in C/C++11
Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, and Derek Dreyer
(MPI-SWS, Germany; Seoul National University, South Korea)


@InProceedings{PLDI17p657, author = {Ori Lahav and Viktor Vafeiadis and Jeehoon Kang and Chung-Kil Hur and Derek Dreyer}, title = {Repairing Sequential Consistency in C/C++11}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {657-656}, doi = {}, year = {2017}, }

Taming Undefined Behavior in LLVM
Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, and Nuno P. Lopes
(Seoul National University, South Korea; Azul Systems, USA; Google, USA; University of Utah, USA; Microsoft Research, UK)


@InProceedings{PLDI17p673, author = {Juneyoung Lee and Yoonseung Kim and Youngju Song and Chung-Kil Hur and Sanjoy Das and David Majnemer and John Regehr and Nuno P. Lopes}, title = {Taming Undefined Behavior in LLVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {673-672}, doi = {}, year = {2017}, } Artifacts Functional

Systems and Performance

Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes
Scott Schneider and Kun-Lung Wu
(IBM Research, USA)


@InProceedings{PLDI17p689, author = {Scott Schneider and Kun-Lung Wu}, title = {Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {689-688}, doi = {}, year = {2017}, }

Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Thomas Würthinger, Christian Wimmer, Christian Humer, Andreas Wöß, Lukas Stadler, Chris Seaton, Gilles Duboscq, Doug Simon, and Matthias Grimmer
(Oracle Labs, Switzerland; Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, UK; JKU Linz, Austria)


@InProceedings{PLDI17p705, author = {Thomas Würthinger and Christian Wimmer and Christian Humer and Andreas Wöß and Lukas Stadler and Chris Seaton and Gilles Duboscq and Doug Simon and Matthias Grimmer}, title = {Practical Partial Evaluation for High-Performance Dynamic Language Runtimes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {705-704}, doi = {}, year = {2017}, }

Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
Stefan K. Muller, Umut A. Acar, and Robert Harper
(Carnegie Mellon University, USA; Inria, France)


@InProceedings{PLDI17p721, author = {Stefan K. Muller and Umut A. Acar and Robert Harper}, title = {Responsive Parallel Computation: Bridging Competitive and Cooperative Threading}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {721-720}, doi = {}, year = {2017}, } Artifacts Functional

StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, and Sanjeev Khanna
(University of Pennsylvania, USA)


@InProceedings{PLDI17p737, author = {Konstantinos Mamouras and Mukund Raghothaman and Rajeev Alur and Zachary G. Ives and Sanjeev Khanna}, title = {StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {737-736}, doi = {}, year = {2017}, } Artifacts Functional

proc time: 0.71