PLDI 2017 – Author Index

A B C D E F G H I K L M N O P R S T V W X Y Z

	Abdulla, Parosh Aziz	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 Article: pldi17main-main300-p (type: Full Paper) doi:
	Acar, Umut A.	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 Article: pldi17main-main211-p (type: Full Paper) doi:
	Ahmad, Maaz Bin Safeer	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}, } Article: pldi17main-main277-p (type: Full Paper) doi:
	Ahmed, Amal	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 Article: pldi17main-main45-p (type: Full Paper) doi:
	Aiken, Alex	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}, } Article: pldi17main-main51-p (type: Full Paper) doi:
	Alur, Rajeev	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 Article: pldi17main-main210-p (type: Full Paper) doi:
	Antonopoulos, Timos	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 Article: pldi17main-main248-p (type: Full Paper) doi:
	Ariola, Zena M.	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}, } Article: pldi17main-main266-p (type: Full Paper) doi:
	Atig, Mohamed Faouzi	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 Article: pldi17main-main300-p (type: Full Paper) doi:
	Bastani, Osbert	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}, } Article: pldi17main-main51-p (type: Full Paper) doi:
	Bastien, JF	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}, } Article: pldi17main-main166-p (type: Full Paper) doi:
	Beckett, Ryan	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 Article: pldi17main-main187-p (type: Full Paper) doi:
	Billes, Marina	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 Article: pldi17main-main169-p (type: Full Paper) doi:
	Blankstein, Aaron	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}, } Article: pldi17main-main235-p (type: Full Paper) doi:
	Bodik, Rastislav	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 Article: pldi17main-main182-p (type: Full Paper) doi: 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}, } Article: pldi17main-main277-p (type: Full Paper) doi:
	Bornholt, James	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 Article: pldi17main-main74-p (type: Full Paper) doi:
	Boroujeni, Ashkan Forouhi	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 Article: pldi17main-main225-p (type: Full Paper) doi:
	Bourke, Timothy	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 Article: pldi17main-main137-p (type: Full Paper) doi:
	Breck, Jason	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 Article: pldi17main-main225-p (type: Full Paper) doi:
	Brooks, Alexander	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 Article: pldi17main-main189-p (type: Full Paper) doi:
	Brun, Lélio	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 Article: pldi17main-main137-p (type: Full Paper) doi:
	Canino, Anthony	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 Article: pldi17main-main117-p (type: Full Paper) doi:
	Chamith, Buddhika	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}, } Article: pldi17main-main22-p (type: Full Paper) doi:
	Chaudhuri, Swarat	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 Article: pldi17main-main61-p (type: Full Paper) doi:
	Chen, Yu-Fang	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 Article: pldi17main-main300-p (type: Full Paper) doi:
	Cheung, Alvin	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 Article: pldi17main-main182-p (type: Full Paper) doi: 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 Article: pldi17main-main50-p (type: Full Paper) doi:
	Chu, Shumo	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 Article: pldi17main-main50-p (type: Full Paper) doi:
	Costa, Manuel	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}, } Article: pldi17main-main235-p (type: Full Paper) doi:
	Dagand, Pierre-Évariste	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 Article: pldi17main-main137-p (type: Full Paper) doi:
	Dalessandro, Luke	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}, } Article: pldi17main-main22-p (type: Full Paper) doi:
	D'Antoni, Loris	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}, } Article: pldi17main-main28-p (type: Full Paper) doi: 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 Article: pldi17main-main189-p (type: Full Paper) doi:
	D'Antras, Amanieu	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 Article: pldi17main-main213-p (type: Full Paper) doi:
	Das, Sanjoy	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 Article: pldi17main-main17-p (type: Full Paper) doi:
	David, Yaniv	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}, } Article: pldi17main-main310-p (type: Full Paper) doi:
	Devietti, Joseph	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}, } Article: pldi17main-main7-p (type: Full Paper) doi:
	Diep, Bui Phi	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 Article: pldi17main-main300-p (type: Full Paper) doi:
	Dillig, Isil	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 Article: pldi17main-main61-p (type: Full Paper) doi:
	Dimoulas, Christos	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 Article: pldi17main-main45-p (type: Full Paper) doi:
	Ding, Yufei	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}, } Article: pldi17main-main244-p (type: Full Paper) doi:
	Downen, Paul	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}, } Article: pldi17main-main266-p (type: Full Paper) doi:
	Doychev, Goran	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 Article: pldi17main-main330-p (type: Full Paper) doi:
	Dreyer, Derek	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}, } Article: pldi17main-main70-p (type: Full Paper) doi:
	Duboscq, Gilles	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}, } Article: pldi17main-main270-p (type: Full Paper) doi:
	Eisenberg, Richard A.	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}, } Article: pldi17main-main133-p (type: Full Paper) doi:
	Eizenberg, Ariel	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}, } Article: pldi17main-main7-p (type: Full Paper) doi:
	Elsman, Martin	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 Article: pldi17main-main98-p (type: Full Paper) doi:
	Farzan, Azadeh	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}, } Article: pldi17main-main112-p (type: Full Paper) doi:
	Fedyukovich, Grigory	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}, } Article: pldi17main-main277-p (type: Full Paper) doi:
	Feng, Yu	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 Article: pldi17main-main61-p (type: Full Paper) doi:
	Flanagan, Cormac	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 Article: pldi17main-main55-p (type: Full Paper) doi:
	Freund, Stephen N.	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 Article: pldi17main-main55-p (type: Full Paper) doi:
	Fu, Zhoulai	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}, } Article: pldi17main-main296-p (type: Full Paper) doi:
	Garside, Jim	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 Article: pldi17main-main213-p (type: Full Paper) doi:
	Gazzillo, Paul	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 Article: pldi17main-main248-p (type: Full Paper) doi:
	Gohman, Dan	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}, } Article: pldi17main-main166-p (type: Full Paper) doi:
	Gorgovan, Cosmin	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 Article: pldi17main-main213-p (type: Full Paper) doi:
	Grimmer, Matthias	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}, } Article: pldi17main-main270-p (type: Full Paper) doi:
	Guan, Hui	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}, } Article: pldi17main-main244-p (type: Full Paper) doi:
	Haas, Andreas	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}, } Article: pldi17main-main166-p (type: Full Paper) doi:
	Harper, Robert	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 Article: pldi17main-main211-p (type: Full Paper) doi:
	Henglein, Fritz	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 Article: pldi17main-main98-p (type: Full Paper) doi:
	Henriksen, Troels	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 Article: pldi17main-main98-p (type: Full Paper) doi:
	Hicks, Michael	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 Article: pldi17main-main248-p (type: Full Paper) doi:
	Holík, Lukáš	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 Article: pldi17main-main300-p (type: Full Paper) doi:
	Holman, Michael	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}, } Article: pldi17main-main166-p (type: Full Paper) doi:
	Hu, Qinheping	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}, } Article: pldi17main-main28-p (type: Full Paper) doi:
	Huang, Daniel	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 Article: pldi17main-main233-p (type: Full Paper) doi:
	Humer, Christian	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}, } Article: pldi17main-main270-p (type: Full Paper) doi:
	Hur, Chung-Kil	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}, } Article: pldi17main-main70-p (type: Full Paper) doi: 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 Article: pldi17main-main17-p (type: Full Paper) doi:
	Ives, Zachary G.	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 Article: pldi17main-main210-p (type: Full Paper) doi:
	Kanade, Aditya	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}, } Article: pldi17main-main157-p (type: Full Paper) doi:
	Kang, Jeehoon	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}, } Article: pldi17main-main70-p (type: Full Paper) doi:
	Kedia, Piyus	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}, } Article: pldi17main-main235-p (type: Full Paper) doi:
	Khanna, Sanjeev	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 Article: pldi17main-main210-p (type: Full Paper) doi:
	Kim, Yoonseung	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 Article: pldi17main-main17-p (type: Full Paper) doi:
	Kincaid, Zachary	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 Article: pldi17main-main225-p (type: Full Paper) doi:
	Kini, Dileep	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 Article: pldi17main-main229-p (type: Full Paper) doi:
	Köpf, Boris	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 Article: pldi17main-main330-p (type: Full Paper) doi:
	Koskinen, Eric	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 Article: pldi17main-main248-p (type: Full Paper) doi:
	Krishnamoorthy, Sriram	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}, } Article: pldi17main-main302-p (type: Full Paper) doi:
	Kuraj, Ivan	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 Article: pldi17main-main305-p (type: Full Paper) doi:
	Lahav, Ori	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}, } Article: pldi17main-main70-p (type: Full Paper) doi:
	Lee, Juneyoung	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 Article: pldi17main-main17-p (type: Full Paper) doi:
	Leroy, Xavier	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 Article: pldi17main-main137-p (type: Full Paper) doi:
	Lhoták, Ondřej	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}, } Article: pldi17main-main30-p (type: Full Paper) doi: 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}, } Article: pldi17main-main141-p (type: Full Paper) doi:
	Li, Yue	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 Article: pldi17main-main142-p (type: Full Paper) doi:
	Liang, Percy	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}, } Article: pldi17main-main51-p (type: Full Paper) doi:
	Liblit, Ben	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 Article: pldi17main-main189-p (type: Full Paper) doi:
	Lifflander, Jonathan	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}, } Article: pldi17main-main302-p (type: Full Paper) doi:
	Liu, Yu David	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 Article: pldi17main-main117-p (type: Full Paper) doi:
	Lopes, Nuno P.	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 Article: pldi17main-main17-p (type: Full Paper) doi:
	Luján, Mikel	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 Article: pldi17main-main213-p (type: Full Paper) doi:
	Mahajan, Ratul	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 Article: pldi17main-main187-p (type: Full Paper) doi:
	Majnemer, David	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 Article: pldi17main-main17-p (type: Full Paper) doi:
	Mamouras, Konstantinos	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 Article: pldi17main-main210-p (type: Full Paper) doi:
	Mansky, William	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}, } Article: pldi17main-main7-p (type: Full Paper) doi:
	Martins, Ruben	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 Article: pldi17main-main61-p (type: Full Paper) doi:
	Mathur, Umang	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 Article: pldi17main-main229-p (type: Full Paper) doi:
	Maurer, Luke	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}, } Article: pldi17main-main266-p (type: Full Paper) doi:
	Menendez, David	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 Article: pldi17main-main214-p (type: Full Paper) doi:
	Millstein, Todd	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 Article: pldi17main-main187-p (type: Full Paper) doi:
	Møller, Anders	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 Article: pldi17main-main169-p (type: Full Paper) doi:
	Morrisett, Greg	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 Article: pldi17main-main233-p (type: Full Paper) doi:
	Muller, Stefan K.	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 Article: pldi17main-main211-p (type: Full Paper) doi:
	Musuvathi, Madan	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 Article: pldi17main-main162-p (type: Full Paper) doi:
	Mytkowicz, Todd	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 Article: pldi17main-main162-p (type: Full Paper) doi:
	Nagarakatte, Santosh	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 Article: pldi17main-main214-p (type: Full Paper) doi:
	Newton, Ryan R.	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}, } Article: pldi17main-main22-p (type: Full Paper) doi:
	Nicolet, Victor	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}, } Article: pldi17main-main112-p (type: Full Paper) doi:
	Ning, Lin	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}, } Article: pldi17main-main244-p (type: Full Paper) doi:
	Oancea, Cosmin E.	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 Article: pldi17main-main98-p (type: Full Paper) doi:
	Odersky, Martin	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}, } Article: pldi17main-main30-p (type: Full Paper) doi:
	Ohmann, Peter	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 Article: pldi17main-main189-p (type: Full Paper) doi:
	Padhye, Jitendra	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 Article: pldi17main-main187-p (type: Full Paper) doi:
	Parkinson, Matthew	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}, } Article: pldi17main-main235-p (type: Full Paper) doi:
	Partush, Nimrod	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}, } Article: pldi17main-main310-p (type: Full Paper) doi:
	Patterson, Daniel	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 Article: pldi17main-main45-p (type: Full Paper) doi:
	Peng, Yuanfeng	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}, } Article: pldi17main-main7-p (type: Full Paper) doi:
	Perconti, Jamie	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 Article: pldi17main-main45-p (type: Full Paper) doi:
	Petrashko, Dmitry	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}, } Article: pldi17main-main30-p (type: Full Paper) doi:
	Peyton Jones, Simon	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}, } Article: pldi17main-main266-p (type: Full Paper) doi: 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}, } Article: pldi17main-main133-p (type: Full Paper) doi:
	Pigli, Toma	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}, } Article: pldi17main-main7-p (type: Full Paper) doi:
	Pouzet, Marc	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 Article: pldi17main-main137-p (type: Full Paper) doi:
	Pradel, Michael	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 Article: pldi17main-main169-p (type: Full Paper) doi:
	Raghothaman, Mukund	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 Article: pldi17main-main210-p (type: Full Paper) doi:
	Regehr, John	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 Article: pldi17main-main17-p (type: Full Paper) doi:
	Reps, Thomas	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 Article: pldi17main-main225-p (type: Full Paper) doi:
	Rezine, Ahmed	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 Article: pldi17main-main300-p (type: Full Paper) doi:
	Rhodes, Dustin	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 Article: pldi17main-main55-p (type: Full Paper) doi:
	Rieg, Lionel	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 Article: pldi17main-main137-p (type: Full Paper) doi:
	Rossberg, Andreas	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}, } Article: pldi17main-main166-p (type: Full Paper) doi:
	Rümmer, Philipp	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 Article: pldi17main-main300-p (type: Full Paper) doi:
	Saarikivi, Olli	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 Article: pldi17main-main162-p (type: Full Paper) doi:
	Santhiar, Anirudh	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}, } Article: pldi17main-main157-p (type: Full Paper) doi:
	Schneider, Scott	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}, } Article: pldi17main-main185-p (type: Full Paper) doi:
	Schuff, Derek L.	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}, } Article: pldi17main-main166-p (type: Full Paper) doi:
	Seaton, Chris	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}, } Article: pldi17main-main270-p (type: Full Paper) doi:
	Serup, Niels G. W.	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 Article: pldi17main-main98-p (type: Full Paper) doi:
	Sharma, Rahul	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}, } Article: pldi17main-main51-p (type: Full Paper) doi:
	Shen, Xipeng	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}, } Article: pldi17main-main244-p (type: Full Paper) doi:
	Simon, Doug	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}, } Article: pldi17main-main270-p (type: Full Paper) doi:
	Solar-Lezama, Armando	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 Article: pldi17main-main305-p (type: Full Paper) doi:
	Song, Youngju	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 Article: pldi17main-main17-p (type: Full Paper) doi:
	Stadler, Lukas	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}, } Article: pldi17main-main270-p (type: Full Paper) doi:
	Su, Zhendong	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}, } Article: pldi17main-main296-p (type: Full Paper) doi: 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}, } Article: pldi17main-main257-p (type: Full Paper) doi:
	Suciu, Dan	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 Article: pldi17main-main50-p (type: Full Paper) doi:
	Sun, Chengnian	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}, } Article: pldi17main-main257-p (type: Full Paper) doi:
	Svensson, Bo Joel	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}, } Article: pldi17main-main22-p (type: Full Paper) doi:
	Tan, Tian	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 Article: pldi17main-main142-p (type: Full Paper) doi:
	Terauchi, Tachio	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 Article: pldi17main-main248-p (type: Full Paper) doi:
	Thiessen, Rei	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}, } Article: pldi17main-main141-p (type: Full Paper) doi:
	Titzer, Ben L.	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}, } Article: pldi17main-main166-p (type: Full Paper) doi:
	Torlak, Emina	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 Article: pldi17main-main74-p (type: Full Paper) doi:
	Tristan, Jean-Baptiste	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 Article: pldi17main-main233-p (type: Full Paper) doi:
	Vafeiadis, Viktor	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}, } Article: pldi17main-main70-p (type: Full Paper) doi:
	Van Geffen, Jacob	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 Article: pldi17main-main61-p (type: Full Paper) doi:
	Vaswani, Kapil	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}, } Article: pldi17main-main235-p (type: Full Paper) doi:
	Veanes, Margus	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 Article: pldi17main-main162-p (type: Full Paper) doi:
	Viswanathan, Mahesh	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 Article: pldi17main-main229-p (type: Full Paper) doi:
	Vytiniotis, Dimitrios	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}, } Article: pldi17main-main235-p (type: Full Paper) doi:
	Wagner, Luke	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}, } Article: pldi17main-main166-p (type: Full Paper) doi:
	Walker, David	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 Article: pldi17main-main187-p (type: Full Paper) doi:
	Wang, Chenglong	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 Article: pldi17main-main182-p (type: Full Paper) doi:
	Wei, Shiyi	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 Article: pldi17main-main248-p (type: Full Paper) doi:
	Weitz, Konstantin	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 Article: pldi17main-main50-p (type: Full Paper) doi:
	Wimmer, Christian	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}, } Article: pldi17main-main270-p (type: Full Paper) doi:
	Wöß, Andreas	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}, } Article: pldi17main-main270-p (type: Full Paper) doi:
	Wu, Kun-Lung	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}, } Article: pldi17main-main185-p (type: Full Paper) doi:
	Würthinger, Thomas	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}, } Article: pldi17main-main270-p (type: Full Paper) doi:
	Xue, Jingling	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 Article: pldi17main-main142-p (type: Full Paper) doi:
	Yahav, Eran	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}, } Article: pldi17main-main310-p (type: Full Paper) doi:
	Yessenov, Kuat	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 Article: pldi17main-main305-p (type: Full Paper) doi:
	Zakai, Alon	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}, } Article: pldi17main-main166-p (type: Full Paper) doi:
	Zhang, Qirun	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}, } Article: pldi17main-main257-p (type: Full Paper) doi:

181 authors

proc time: 0.46