PLDI '17: "Flatten and Conquer: A Framework ..."
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
PLDI '17: "Responsive Parallel Computation: ..."
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
PLDI '17: "Gradual Synthesis for Static ..."
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},
}
PLDI '17: "FunTAL: Reasonably Mixing ..."
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
PLDI '17: "Synthesizing Program Input ..."
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},
}
PLDI '17: "StreamQRE: Modular Specification ..."
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
PLDI '17: "Decomposition Instead of Self-Composition ..."
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
PLDI '17: "Compiling without Continuations ..."
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},
}
PLDI '17: "Flatten and Conquer: A Framework ..."
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
PLDI '17: "Synthesizing Program Input ..."
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},
}
PLDI '17: "Bringing the Web up to Speed ..."
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},
}
PLDI '17: "Network Configuration Synthesis ..."
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
PLDI '17: "Systematic Black-Box Analysis ..."
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
PLDI '17: "Simple, Fast, and Safe Manual ..."
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},
}
PLDI '17: "Synthesizing Highly Expressive ..."
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
PLDI '17: "Gradual Synthesis for Static ..."
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},
}
PLDI '17: "Synthesizing Memory Models ..."
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
PLDI '17: "Compositional Recurrence 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
PLDI '17: "A Formally Verified Compiler ..."
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
PLDI '17: "Compositional Recurrence 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
PLDI '17: "Control-Flow Recovery from ..."
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
PLDI '17: "A Formally Verified Compiler ..."
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
PLDI '17: "Proactive and Adaptive Energy-Aware ..."
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
PLDI '17: "Instruction Punning: Lightweight ..."
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},
}
PLDI '17: "Component-Based 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
PLDI '17: "Flatten and Conquer: A Framework ..."
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
PLDI '17: "Synthesizing Highly Expressive ..."
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
PLDI '17: "HoTTSQL: Proving Query Rewrites ..."
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
PLDI '17: "HoTTSQL: Proving Query Rewrites ..."
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
PLDI '17: "Simple, Fast, and Safe Manual ..."
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},
}
PLDI '17: "A Formally Verified Compiler ..."
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
PLDI '17: "Instruction Punning: Lightweight ..."
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},
}
PLDI '17: "Automatic Program Inversion ..."
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},
}
PLDI '17: "Control-Flow Recovery from ..."
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
PLDI '17: "Low Overhead Dynamic Binary ..."
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
PLDI '17: "Taming Undefined Behavior ..."
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
PLDI '17: "Similarity of Binaries through ..."
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},
}
PLDI '17: "BARRACUDA: Binary-level 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},
}
PLDI '17: "Flatten and Conquer: A Framework ..."
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
PLDI '17: "Component-Based 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
PLDI '17: "FunTAL: Reasonably Mixing ..."
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
PLDI '17: "Generalizations of the Theory ..."
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},
}
PLDI '17: "Compiling without Continuations ..."
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},
}
PLDI '17: "Rigorous Analysis of Software ..."
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
PLDI '17: "Repairing Sequential Consistency ..."
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},
}
PLDI '17: "Practical Partial Evaluation ..."
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},
}
PLDI '17: "Levity Polymorphism ..."
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},
}
PLDI '17: "BARRACUDA: Binary-level 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},
}
PLDI '17: "Futhark: Purely Functional ..."
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
PLDI '17: "Synthesis of Divide and Conquer ..."
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},
}
PLDI '17: "Gradual Synthesis for Static ..."
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},
}
PLDI '17: "Component-Based 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
PLDI '17: "BigFoot: Static Check Placement ..."
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
PLDI '17: "BigFoot: Static Check Placement ..."
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
PLDI '17: "Achieving High Coverage for ..."
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},
}
PLDI '17: "Low Overhead Dynamic Binary ..."
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
PLDI '17: "Decomposition Instead of Self-Composition ..."
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
PLDI '17: "Bringing the Web up to Speed ..."
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},
}
PLDI '17: "Low Overhead Dynamic Binary ..."
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
PLDI '17: "Practical Partial Evaluation ..."
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},
}
PLDI '17: "Generalizations of the Theory ..."
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},
}
PLDI '17: "Bringing the Web up to Speed ..."
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},
}
PLDI '17: "Responsive Parallel Computation: ..."
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
PLDI '17: "Futhark: Purely Functional ..."
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
PLDI '17: "Futhark: Purely Functional ..."
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
PLDI '17: "Decomposition Instead of Self-Composition ..."
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
PLDI '17: "Flatten and Conquer: A Framework ..."
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
PLDI '17: "Bringing the Web up to Speed ..."
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},
}
PLDI '17: "Automatic Program Inversion ..."
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},
}
PLDI '17: "Compiling Markov Chain Monte ..."
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
PLDI '17: "Practical Partial Evaluation ..."
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},
}
PLDI '17: "Repairing Sequential Consistency ..."
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},
}
PLDI '17: "Taming Undefined Behavior ..."
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
PLDI '17: "StreamQRE: Modular Specification ..."
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
PLDI '17: "Static Deadlock Detection ..."
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},
}
PLDI '17: "Repairing Sequential Consistency ..."
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},
}
PLDI '17: "Simple, Fast, and Safe Manual ..."
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},
}
PLDI '17: "StreamQRE: Modular Specification ..."
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
PLDI '17: "Taming Undefined Behavior ..."
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
PLDI '17: "Compositional Recurrence 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
PLDI '17: "Dynamic Race Prediction in ..."
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
PLDI '17: "Rigorous Analysis of Software ..."
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
PLDI '17: "Decomposition Instead of Self-Composition ..."
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
PLDI '17: "Cache Locality Optimization ..."
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},
}
PLDI '17: "DemoMatch: API Discovery from ..."
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
PLDI '17: "Repairing Sequential Consistency ..."
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},
}
PLDI '17: "Taming Undefined Behavior ..."
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
PLDI '17: "A Formally Verified Compiler ..."
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
PLDI '17: "Miniphases: Compilation using ..."
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},
}
PLDI '17: "Context Transformations for ..."
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},
}
PLDI '17: "Efficient and Precise Points-to ..."
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
PLDI '17: "Synthesizing Program Input ..."
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},
}
PLDI '17: "Control-Flow Recovery from ..."
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
PLDI '17: "Cache Locality Optimization ..."
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},
}
PLDI '17: "Proactive and Adaptive Energy-Aware ..."
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
PLDI '17: "Taming Undefined Behavior ..."
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
PLDI '17: "Low Overhead Dynamic Binary ..."
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
PLDI '17: "Network Configuration Synthesis ..."
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
PLDI '17: "Taming Undefined Behavior ..."
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
PLDI '17: "StreamQRE: Modular Specification ..."
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
PLDI '17: "BARRACUDA: Binary-level 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},
}
PLDI '17: "Component-Based 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
PLDI '17: "Dynamic Race Prediction in ..."
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
PLDI '17: "Compiling without Continuations ..."
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},
}
PLDI '17: "Alive-Infer: Data-Driven Precondition ..."
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
PLDI '17: "Network Configuration Synthesis ..."
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
PLDI '17: "Systematic Black-Box Analysis ..."
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
PLDI '17: "Compiling Markov Chain Monte ..."
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
PLDI '17: "Responsive Parallel Computation: ..."
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
PLDI '17: "Fusing Effectful Comprehensions ..."
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
PLDI '17: "Fusing Effectful Comprehensions ..."
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
PLDI '17: "Alive-Infer: Data-Driven Precondition ..."
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
PLDI '17: "Instruction Punning: Lightweight ..."
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},
}
PLDI '17: "Synthesis of Divide and Conquer ..."
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},
}
PLDI '17: "Generalizations of the Theory ..."
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},
}
PLDI '17: "Futhark: Purely Functional ..."
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
PLDI '17: "Miniphases: Compilation using ..."
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},
}
PLDI '17: "Control-Flow Recovery from ..."
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
PLDI '17: "Network Configuration Synthesis ..."
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
PLDI '17: "Simple, Fast, and Safe Manual ..."
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},
}
PLDI '17: "Similarity of Binaries through ..."
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},
}
PLDI '17: "FunTAL: Reasonably Mixing ..."
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
PLDI '17: "BARRACUDA: Binary-level 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},
}
PLDI '17: "FunTAL: Reasonably Mixing ..."
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
PLDI '17: "Miniphases: Compilation using ..."
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},
}
PLDI '17: "Compiling without Continuations ..."
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},
}
PLDI '17: "Levity Polymorphism ..."
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},
}
PLDI '17: "BARRACUDA: Binary-level 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},
}
PLDI '17: "A Formally Verified Compiler ..."
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
PLDI '17: "Systematic Black-Box Analysis ..."
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
PLDI '17: "StreamQRE: Modular Specification ..."
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
PLDI '17: "Taming Undefined Behavior ..."
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
PLDI '17: "Compositional Recurrence 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
PLDI '17: "Flatten and Conquer: A Framework ..."
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
PLDI '17: "BigFoot: Static Check Placement ..."
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
PLDI '17: "A Formally Verified Compiler ..."
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
PLDI '17: "Bringing the Web up to Speed ..."
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},
}
PLDI '17: "Flatten and Conquer: A Framework ..."
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
PLDI '17: "Fusing Effectful Comprehensions ..."
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
PLDI '17: "Static Deadlock Detection ..."
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},
}
PLDI '17: "Low-Synchronization, Mostly ..."
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},
}
PLDI '17: "Bringing the Web up to Speed ..."
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},
}
PLDI '17: "Practical Partial Evaluation ..."
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},
}
PLDI '17: "Futhark: Purely Functional ..."
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
PLDI '17: "Synthesizing Program Input ..."
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},
}
PLDI '17: "Generalizations of the Theory ..."
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},
}
PLDI '17: "Practical Partial Evaluation ..."
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},
}
PLDI '17: "DemoMatch: API Discovery from ..."
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
PLDI '17: "Taming Undefined Behavior ..."
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
PLDI '17: "Practical Partial Evaluation ..."
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},
}
PLDI '17: "Achieving High Coverage for ..."
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},
}
PLDI '17: "Skeletal Program Enumeration ..."
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},
}
PLDI '17: "HoTTSQL: Proving Query Rewrites ..."
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
PLDI '17: "Skeletal Program Enumeration ..."
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},
}
PLDI '17: "Instruction Punning: Lightweight ..."
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},
}
PLDI '17: "Efficient and Precise Points-to ..."
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
PLDI '17: "Decomposition Instead of Self-Composition ..."
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
PLDI '17: "Context Transformations for ..."
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},
}
PLDI '17: "Bringing the Web up to Speed ..."
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},
}
PLDI '17: "Synthesizing Memory Models ..."
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
PLDI '17: "Compiling Markov Chain Monte ..."
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
PLDI '17: "Repairing Sequential Consistency ..."
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},
}
PLDI '17: "Component-Based 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
PLDI '17: "Simple, Fast, and Safe Manual ..."
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},
}
PLDI '17: "Fusing Effectful Comprehensions ..."
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
PLDI '17: "Dynamic Race Prediction in ..."
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
PLDI '17: "Simple, Fast, and Safe Manual ..."
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},
}
PLDI '17: "Bringing the Web up to Speed ..."
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},
}
PLDI '17: "Network Configuration Synthesis ..."
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
PLDI '17: "Synthesizing Highly Expressive ..."
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
PLDI '17: "Decomposition Instead of Self-Composition ..."
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
PLDI '17: "HoTTSQL: Proving Query Rewrites ..."
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
PLDI '17: "Practical Partial Evaluation ..."
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},
}
PLDI '17: "Practical Partial Evaluation ..."
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},
}
PLDI '17: "Low-Synchronization, Mostly ..."
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},
}
PLDI '17: "Practical Partial Evaluation ..."
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},
}
PLDI '17: "Efficient and Precise Points-to ..."
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
PLDI '17: "Similarity of Binaries through ..."
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},
}
PLDI '17: "DemoMatch: API Discovery from ..."
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
PLDI '17: "Bringing the Web up to Speed ..."
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},
}
PLDI '17: "Skeletal Program Enumeration ..."
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},
}