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

	Agrawal, Kunal	PLDI '15: "Efficient Execution of Recursive ..." Efficient Execution of Recursive Programs on Commodity Vector Hardware Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, and Milind Kulkarni (Pacific Northwest National Laboratory, USA; Purdue University, USA; Washington University at St. Louis, USA) @InProceedings{PLDI15p566, author = {Bin Ren and Youngjoon Jo and Sriram Krishnamoorthy and Kunal Agrawal and Milind Kulkarni}, title = {Efficient Execution of Recursive Programs on Commodity Vector Hardware}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {566-565}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-252-p doi:
	Aiken, Alex	PLDI '15: "Composing Concurrency Control ..." Composing Concurrency Control Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, and Mooly Sagiv (Tel Aviv University, Israel; Stanford University, USA; Microsoft Research, India) @InProceedings{PLDI15p266, author = {Ofri Ziv and Alex Aiken and Guy Golan-Gueta and G. Ramalingam and Mooly Sagiv}, title = {Composing Concurrency Control}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {266-265}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-102-p doi: PLDI '15: "Verification of Producer-Consumer ..." Verification of Producer-Consumer Synchronization in GPU Programs Rahul Sharma, Michael Bauer, and Alex Aiken (Stanford University, USA; NVIDIA Research, USA) @InProceedings{PLDI15p97, author = {Rahul Sharma and Michael Bauer and Alex Aiken}, title = {Verification of Producer-Consumer Synchronization in GPU Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-68-p doi:
	Amarasinghe, Saman	PLDI '15: "Autotuning Algorithmic Choice ..." Autotuning Algorithmic Choice for Input Sensitivity Yufei Ding, Jason Ansel, Kalyan Veeramachaneni, Xipeng Shen, Una-May O’Reilly, and Saman Amarasinghe (North Carolina State University, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p422, author = {Yufei Ding and Jason Ansel and Kalyan Veeramachaneni and Xipeng Shen and Una-May O’Reilly and Saman Amarasinghe}, title = {Autotuning Algorithmic Choice for Input Sensitivity}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {422-421}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-100-p doi: PLDI '15: "Helium: Lifting High-Performance ..." Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe, USA; Google, USA) @InProceedings{PLDI15p434, author = {Charith Mendis and Jeffrey Bosboom and Kevin Wu and Shoaib Kamil and Jonathan Ragan-Kelley and Sylvain Paris and Qin Zhao and Saman Amarasinghe}, title = {Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {434-433}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-113-p doi:
	Anderson, Thomas	PLDI '15: "Verdi: A Framework for Implementing ..." Verdi: A Framework for Implementing and Formally Verifying Distributed Systems James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, and Thomas Anderson (University of Washington, USA) @InProceedings{PLDI15p398, author = {James R. Wilcox and Doug Woos and Pavel Panchekha and Zachary Tatlock and Xi Wang and Michael D. Ernst and Thomas Anderson}, title = {Verdi: A Framework for Implementing and Formally Verifying Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {398-397}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-60-p doi:
	Ansel, Jason	PLDI '15: "Autotuning Algorithmic Choice ..." Autotuning Algorithmic Choice for Input Sensitivity Yufei Ding, Jason Ansel, Kalyan Veeramachaneni, Xipeng Shen, Una-May O’Reilly, and Saman Amarasinghe (North Carolina State University, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p422, author = {Yufei Ding and Jason Ansel and Kalyan Veeramachaneni and Xipeng Shen and Una-May O’Reilly and Saman Amarasinghe}, title = {Autotuning Algorithmic Choice for Input Sensitivity}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {422-421}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-100-p doi:
	Appel, Andrew W.	PLDI '15: "Verification of a Cryptographic ..." Verification of a Cryptographic Primitive: SHA-256 (Abstract) Andrew W. Appel (Princeton University, USA) @InProceedings{PLDI15p169, author = {Andrew W. Appel}, title = {Verification of a Cryptographic Primitive: SHA-256 (Abstract)}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2015}, } Article: pldi15main-toplaspldi15-1-p doi:
	Balakrishna, Shruthi	PLDI '15: "Tree Dependence Analysis ..." Tree Dependence Analysis Yusheng Weijiang, Shruthi Balakrishna, Jianqiao Liu, and Milind Kulkarni (Purdue University, USA) @InProceedings{PLDI15p350, author = {Yusheng Weijiang and Shruthi Balakrishna and Jianqiao Liu and Milind Kulkarni}, title = {Tree Dependence Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {350-349}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-107-p doi:
	Banerjee, Anindya	PLDI '15: "Mechanized Verification of ..." Mechanized Verification of Fine-Grained Concurrent Programs Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee (IMDEA Software Institute, Spain) @InProceedings{PLDI15p85, author = {Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee}, title = {Mechanized Verification of Fine-Grained Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-73-p doi:
	Barowy, Daniel W.	PLDI '15: "FlashRelate: Extracting Relational ..." FlashRelate: Extracting Relational Data from Semi-structured Spreadsheets Using Examples Daniel W. Barowy, Sumit Gulwani, Ted Hart, and Benjamin Zorn (University of Massachusetts at Amherst, USA; Microsoft Research, USA) @InProceedings{PLDI15p242, author = {Daniel W. Barowy and Sumit Gulwani and Ted Hart and Benjamin Zorn}, title = {FlashRelate: Extracting Relational Data from Semi-structured Spreadsheets Using Examples}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {242-241}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-9-p doi:
	Bauer, Michael	PLDI '15: "Verification of Producer-Consumer ..." Verification of Producer-Consumer Synchronization in GPU Programs Rahul Sharma, Michael Bauer, and Alex Aiken (Stanford University, USA; NVIDIA Research, USA) @InProceedings{PLDI15p97, author = {Rahul Sharma and Michael Bauer and Alex Aiken}, title = {Verification of Producer-Consumer Synchronization in GPU Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-68-p doi:
	Bosboom, Jeffrey	PLDI '15: "Helium: Lifting High-Performance ..." Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe, USA; Google, USA) @InProceedings{PLDI15p434, author = {Charith Mendis and Jeffrey Bosboom and Kevin Wu and Shoaib Kamil and Jonathan Ragan-Kelley and Sylvain Paris and Qin Zhao and Saman Amarasinghe}, title = {Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {434-433}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-113-p doi:
	Bowman, William J.	PLDI '15: "Profile-Guided Meta-Programming ..." Profile-Guided Meta-Programming William J. Bowman, Swaha Miller, Vincent St-Amour, and R. Kent Dybvig (Northeastern University, USA; Cisco Systems, USA) @InProceedings{PLDI15p446, author = {William J. Bowman and Swaha Miller and Vincent St-Amour and R. Kent Dybvig}, title = {Profile-Guided Meta-Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {446-445}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-193-p doi:
	Burgstaller, Bernd	PLDI '15: "LaminarIR: Compile-Time Queues ..." LaminarIR: Compile-Time Queues for Structured Streams Yousun Ko, Bernd Burgstaller, and Bernhard Scholz (Yonsei University, South Korea; University of Sydney, Australia) @InProceedings{PLDI15p133, author = {Yousun Ko and Bernd Burgstaller and Bernhard Scholz}, title = {LaminarIR: Compile-Time Queues for Structured Streams}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-197-p doi:
	Carbonneaux, Quentin	PLDI '15: "Compositional Certified Resource ..." Compositional Certified Resource Bounds Quentin Carbonneaux, Jan Hoffmann, and Zhong Shao (Yale University, USA) @InProceedings{PLDI15p518, author = {Quentin Carbonneaux and Jan Hoffmann and Zhong Shao}, title = {Compositional Certified Resource Bounds}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {518-517}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-41-p doi:
	Černý, Pavol	PLDI '15: "Efficient Synthesis of Network ..." Efficient Synthesis of Network Updates Jedidiah McClurg, Hossein Hojjat, Pavol Černý, and Nate Foster (University of Colorado at Boulder, USA; Cornell University, USA) @InProceedings{PLDI15p218, author = {Jedidiah McClurg and Hossein Hojjat and Pavol Černý and Nate Foster}, title = {Efficient Synthesis of Network Updates}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {218-217}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-142-p doi:
	Chaudhuri, Swarat	PLDI '15: "Synthesizing Data Structure ..." Synthesizing Data Structure Transformations from Input-Output Examples John K. Feser, Swarat Chaudhuri, and Isil Dillig (Rice University, USA; University of Texas at Austin, USA) @InProceedings{PLDI15p254, author = {John K. Feser and Swarat Chaudhuri and Isil Dillig}, title = {Synthesizing Data Structure Transformations from Input-Output Examples}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {254-253}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-117-p doi:
	Chin, Wei-Ngan	PLDI '15: "Termination and Non-termination ..." Termination and Non-termination Specification Inference Ton Chanh Le, Shengchao Qin, and Wei-Ngan Chin (National University of Singapore, Singapore; Teesside University, UK; Shenzhen University, China) @InProceedings{PLDI15p542, author = {Ton Chanh Le and Shengchao Qin and Wei-Ngan Chin}, title = {Termination and Non-termination Specification Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {542-541}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-196-p doi:
	Chitil, Olaf	PLDI '15: "Algorithmic Debugging of Real-World ..." Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack Maarten Faddegon and Olaf Chitil (University of Kent, UK) @InProceedings{PLDI15p37, author = {Maarten Faddegon and Olaf Chitil}, title = {Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-172-p doi:
	Chong, Nathan	PLDI '15: "Many-Core Compiler Fuzzing ..." Many-Core Compiler Fuzzing Christopher Lidbury, Andrei Lascu, Nathan Chong, and Alastair F. Donaldson (Imperial College London, UK; University College London, UK) @InProceedings{PLDI15p73, author = {Christopher Lidbury and Andrei Lascu and Nathan Chong and Alastair F. Donaldson}, title = {Many-Core Compiler Fuzzing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-181-p doi:
	Chong, Stephen	PLDI '15: "Exploring and Enforcing Security ..." Exploring and Enforcing Security Guarantees via Program Dependence Graphs Andrew Johnson, Lucas Waye, Scott Moore, and Stephen Chong (Harvard University, USA; MIT Lincoln Laboratory, USA) @InProceedings{PLDI15p326, author = {Andrew Johnson and Lucas Waye and Scott Moore and Stephen Chong}, title = {Exploring and Enforcing Security Guarantees via Program Dependence Graphs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {326-325}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-58-p doi:
	Chu, Duc-Hiep	PLDI '15: "Automatic Induction Proofs ..." Automatic Induction Proofs of Data-Structures in Imperative Programs Duc-Hiep Chu, Joxan Jaffar, and Minh-Thai Trinh (National University of Singapore, Singapore) @InProceedings{PLDI15p506, author = {Duc-Hiep Chu and Joxan Jaffar and Minh-Thai Trinh}, title = {Automatic Induction Proofs of Data-Structures in Imperative Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {506-505}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-155-p doi:
	Crary, Karl	PLDI '15: "Peer-to-Peer Affine Commitment ..." Peer-to-Peer Affine Commitment using Bitcoin Karl Crary and Michael J. Sullivan (Carnegie Mellon University, USA) @InProceedings{PLDI15p530, author = {Karl Crary and Michael J. Sullivan}, title = {Peer-to-Peer Affine Commitment using Bitcoin}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {530-529}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-227-p doi:
	Deligiannis, Pantazis	PLDI '15: "Asynchronous Programming, ..." Asynchronous Programming, Analysis and Testing with State Machines Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, and Paul Thomson (Imperial College London, UK; Microsoft Research, India) @InProceedings{PLDI15p170, author = {Pantazis Deligiannis and Alastair F. Donaldson and Jeroen Ketema and Akash Lal and Paul Thomson}, title = {Asynchronous Programming, Analysis and Testing with State Machines}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {170-169}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-205-p doi:
	Dillig, Isil	PLDI '15: "Synthesizing Data Structure ..." Synthesizing Data Structure Transformations from Input-Output Examples John K. Feser, Swarat Chaudhuri, and Isil Dillig (Rice University, USA; University of Texas at Austin, USA) @InProceedings{PLDI15p254, author = {John K. Feser and Swarat Chaudhuri and Isil Dillig}, title = {Synthesizing Data Structure Transformations from Input-Output Examples}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {254-253}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-117-p doi: PLDI '15: "Static Detection of Asymptotic ..." Static Detection of Asymptotic Performance Bugs in Collection Traversals Oswaldo Olivo, Isil Dillig, and Calvin Lin (University of Texas at Austin, USA) @InProceedings{PLDI15p410, author = {Oswaldo Olivo and Isil Dillig and Calvin Lin}, title = {Static Detection of Asymptotic Performance Bugs in Collection Traversals}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {410-409}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-78-p doi:
	Ding, Wei	PLDI '15: "Optimizing Off-Chip Accesses ..." Optimizing Off-Chip Accesses in Multicores Wei Ding, Xulong Tang, Mahmut Kandemir, Yuanrui Zhang, and Emre Kultursay (Pennsylvania State University, USA; Intel, USA) @InProceedings{PLDI15p145, author = {Wei Ding and Xulong Tang and Mahmut Kandemir and Yuanrui Zhang and Emre Kultursay}, title = {Optimizing Off-Chip Accesses in Multicores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-188-p doi:
	Ding, Yufei	PLDI '15: "Autotuning Algorithmic Choice ..." Autotuning Algorithmic Choice for Input Sensitivity Yufei Ding, Jason Ansel, Kalyan Veeramachaneni, Xipeng Shen, Una-May O’Reilly, and Saman Amarasinghe (North Carolina State University, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p422, author = {Yufei Ding and Jason Ansel and Kalyan Veeramachaneni and Xipeng Shen and Una-May O’Reilly and Saman Amarasinghe}, title = {Autotuning Algorithmic Choice for Input Sensitivity}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {422-421}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-100-p doi:
	Donaldson, Alastair F.	PLDI '15: "Asynchronous Programming, ..." Asynchronous Programming, Analysis and Testing with State Machines Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, and Paul Thomson (Imperial College London, UK; Microsoft Research, India) @InProceedings{PLDI15p170, author = {Pantazis Deligiannis and Alastair F. Donaldson and Jeroen Ketema and Akash Lal and Paul Thomson}, title = {Asynchronous Programming, Analysis and Testing with State Machines}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {170-169}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-205-p doi: PLDI '15: "Many-Core Compiler Fuzzing ..." Many-Core Compiler Fuzzing Christopher Lidbury, Andrei Lascu, Nathan Chong, and Alastair F. Donaldson (Imperial College London, UK; University College London, UK) @InProceedings{PLDI15p73, author = {Christopher Lidbury and Andrei Lascu and Nathan Chong and Alastair F. Donaldson}, title = {Many-Core Compiler Fuzzing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-181-p doi:
	Dreyer, Derek	PLDI '15: "Verifying Read-Copy-Update ..." Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti, Derek Dreyer, and Viktor Vafeiadis (Carnegie Mellon University, USA; MPI-SWS, Germany) @InProceedings{PLDI15p121, author = {Joseph Tassarotti and Derek Dreyer and Viktor Vafeiadis}, title = {Verifying Read-Copy-Update in a Logic for Weak Memory}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-195-p doi:
	Ducasse, Stéphane	PLDI '15: "Zero-Overhead Metaprogramming: ..." Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises Stefan Marr, Chris Seaton, and Stéphane Ducasse (INRIA, France; Oracle Labs, USA; University of Manchester, UK) @InProceedings{PLDI15p602, author = {Stefan Marr and Chris Seaton and Stéphane Ducasse}, title = {Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {602-601}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-71-p doi:
	Dybvig, R. Kent	PLDI '15: "Profile-Guided Meta-Programming ..." Profile-Guided Meta-Programming William J. Bowman, Swaha Miller, Vincent St-Amour, and R. Kent Dybvig (Northeastern University, USA; Cisco Systems, USA) @InProceedings{PLDI15p446, author = {William J. Bowman and Swaha Miller and Vincent St-Amour and R. Kent Dybvig}, title = {Profile-Guided Meta-Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {446-445}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-193-p doi:
	Ellison, Chucky	PLDI '15: "Defining the Undefinedness ..." Defining the Undefinedness of C Chris Hathhorn, Chucky Ellison, and Grigore Roşu (University of Missouri, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI15p374, author = {Chris Hathhorn and Chucky Ellison and Grigore Roşu}, title = {Defining the Undefinedness of C}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {374-373}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-134-p doi:
	Emani, Murali Krishna	PLDI '15: "Celebrating Diversity: A Mixture ..." Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments Murali Krishna Emani and Michael O'Boyle (University of Edinburgh, UK) @InProceedings{PLDI15p554, author = {Murali Krishna Emani and Michael O'Boyle}, title = {Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {554-553}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-235-p doi:
	Emmi, Michael	PLDI '15: "Monitoring Refinement via ..." Monitoring Refinement via Symbolic Reasoning Michael Emmi, Constantin Enea, and Jad Hamza (IMDEA Software Institute, Spain; University of Paris Diderot, France) @InProceedings{PLDI15p290, author = {Michael Emmi and Constantin Enea and Jad Hamza}, title = {Monitoring Refinement via Symbolic Reasoning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {290-289}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-152-p doi:
	Enea, Constantin	PLDI '15: "Monitoring Refinement via ..." Monitoring Refinement via Symbolic Reasoning Michael Emmi, Constantin Enea, and Jad Hamza (IMDEA Software Institute, Spain; University of Paris Diderot, France) @InProceedings{PLDI15p290, author = {Michael Emmi and Constantin Enea and Jad Hamza}, title = {Monitoring Refinement via Symbolic Reasoning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {290-289}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-152-p doi:
	Engelhardt, Kai	PLDI '15: "Relaxing Safely: Verified ..." Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO Peter Gammie, Antony L. Hosking, and Kai Engelhardt (NICTA, Australia; Purdue University, USA; UNSW, Australia) @InProceedings{PLDI15p109, author = {Peter Gammie and Antony L. Hosking and Kai Engelhardt}, title = {Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {109-108}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-279-p doi:
	Ernst, Michael D.	PLDI '15: "Verdi: A Framework for Implementing ..." Verdi: A Framework for Implementing and Formally Verifying Distributed Systems James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, and Thomas Anderson (University of Washington, USA) @InProceedings{PLDI15p398, author = {James R. Wilcox and Doug Woos and Pavel Panchekha and Zachary Tatlock and Xi Wang and Michael D. Ernst and Thomas Anderson}, title = {Verdi: A Framework for Implementing and Formally Verifying Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {398-397}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-60-p doi:
	Faddegon, Maarten	PLDI '15: "Algorithmic Debugging of Real-World ..." Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack Maarten Faddegon and Olaf Chitil (University of Kent, UK) @InProceedings{PLDI15p37, author = {Maarten Faddegon and Olaf Chitil}, title = {Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-172-p doi:
	Feser, John K.	PLDI '15: "Synthesizing Data Structure ..." Synthesizing Data Structure Transformations from Input-Output Examples John K. Feser, Swarat Chaudhuri, and Isil Dillig (Rice University, USA; University of Texas at Austin, USA) @InProceedings{PLDI15p254, author = {John K. Feser and Swarat Chaudhuri and Isil Dillig}, title = {Synthesizing Data Structure Transformations from Input-Output Examples}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {254-253}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-117-p doi:
	Foster, Nate	PLDI '15: "Efficient Synthesis of Network ..." Efficient Synthesis of Network Updates Jedidiah McClurg, Hossein Hojjat, Pavol Černý, and Nate Foster (University of Colorado at Boulder, USA; Cornell University, USA) @InProceedings{PLDI15p218, author = {Jedidiah McClurg and Hossein Hojjat and Pavol Černý and Nate Foster}, title = {Efficient Synthesis of Network Updates}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {218-217}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-142-p doi:
	Gammie, Peter	PLDI '15: "Relaxing Safely: Verified ..." Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO Peter Gammie, Antony L. Hosking, and Kai Engelhardt (NICTA, Australia; Purdue University, USA; UNSW, Australia) @InProceedings{PLDI15p109, author = {Peter Gammie and Antony L. Hosking and Kai Engelhardt}, title = {Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {109-108}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-279-p doi:
	Garbuzov, Dmitri	PLDI '15: "A Formal C Memory Model Supporting ..." A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, and Viktor Vafeiadis (Seoul National University, South Korea; University of Pennsylvania, USA; MPI-SWS, Germany) @InProceedings{PLDI15p362, author = {Jeehoon Kang and Chung-Kil Hur and William Mansky and Dmitri Garbuzov and Steve Zdancewic and Viktor Vafeiadis}, title = {A Formal C Memory Model Supporting Integer-Pointer Casts}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {362-361}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-267-p doi:
	Golan-Gueta, Guy	PLDI '15: "Composing Concurrency Control ..." Composing Concurrency Control Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, and Mooly Sagiv (Tel Aviv University, Israel; Stanford University, USA; Microsoft Research, India) @InProceedings{PLDI15p266, author = {Ofri Ziv and Alex Aiken and Guy Golan-Gueta and G. Ramalingam and Mooly Sagiv}, title = {Composing Concurrency Control}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {266-265}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-102-p doi:
	Gonnord, Laure	PLDI '15: "Synthesis of Ranking Functions ..." Synthesis of Ranking Functions using Extremal Counterexamples Laure Gonnord, David Monniaux, and Gabriel Radanne (Claude Bernard University Lyon 1, France; LIP, France; University of Grenoble, France; VERIMAG, France; University of Paris Diderot, France) @InProceedings{PLDI15p674, author = {Laure Gonnord and David Monniaux and Gabriel Radanne}, title = {Synthesis of Ranking Functions using Extremal Counterexamples}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {674-673}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-115-p doi:
	Gulwani, Sumit	PLDI '15: "FlashRelate: Extracting Relational ..." FlashRelate: Extracting Relational Data from Semi-structured Spreadsheets Using Examples Daniel W. Barowy, Sumit Gulwani, Ted Hart, and Benjamin Zorn (University of Massachusetts at Amherst, USA; Microsoft Research, USA) @InProceedings{PLDI15p242, author = {Daniel W. Barowy and Sumit Gulwani and Ted Hart and Benjamin Zorn}, title = {FlashRelate: Extracting Relational Data from Semi-structured Spreadsheets Using Examples}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {242-241}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-9-p doi:
	Hall, Mary	PLDI '15: "Loop and Data Transformations ..." Loop and Data Transformations for Sparse Matrix Code Anand Venkat, Mary Hall, and Michelle Strout (University of Utah, USA; Colorado State University, USA) @InProceedings{PLDI15p578, author = {Anand Venkat and Mary Hall and Michelle Strout}, title = {Loop and Data Transformations for Sparse Matrix Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {578-577}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-249-p doi:
	Hamza, Jad	PLDI '15: "Monitoring Refinement via ..." Monitoring Refinement via Symbolic Reasoning Michael Emmi, Constantin Enea, and Jad Hamza (IMDEA Software Institute, Spain; University of Paris Diderot, France) @InProceedings{PLDI15p290, author = {Michael Emmi and Constantin Enea and Jad Hamza}, title = {Monitoring Refinement via Symbolic Reasoning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {290-289}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-152-p doi:
	Hart, Ted	PLDI '15: "FlashRelate: Extracting Relational ..." FlashRelate: Extracting Relational Data from Semi-structured Spreadsheets Using Examples Daniel W. Barowy, Sumit Gulwani, Ted Hart, and Benjamin Zorn (University of Massachusetts at Amherst, USA; Microsoft Research, USA) @InProceedings{PLDI15p242, author = {Daniel W. Barowy and Sumit Gulwani and Ted Hart and Benjamin Zorn}, title = {FlashRelate: Extracting Relational Data from Semi-structured Spreadsheets Using Examples}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {242-241}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-9-p doi:
	Hathhorn, Chris	PLDI '15: "Defining the Undefinedness ..." Defining the Undefinedness of C Chris Hathhorn, Chucky Ellison, and Grigore Roşu (University of Missouri, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI15p374, author = {Chris Hathhorn and Chucky Ellison and Grigore Roşu}, title = {Defining the Undefinedness of C}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {374-373}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-134-p doi:
	Hoffmann, Jan	PLDI '15: "Compositional Certified Resource ..." Compositional Certified Resource Bounds Quentin Carbonneaux, Jan Hoffmann, and Zhong Shao (Yale University, USA) @InProceedings{PLDI15p518, author = {Quentin Carbonneaux and Jan Hoffmann and Zhong Shao}, title = {Compositional Certified Resource Bounds}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {518-517}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-41-p doi:
	Hojjat, Hossein	PLDI '15: "Efficient Synthesis of Network ..." Efficient Synthesis of Network Updates Jedidiah McClurg, Hossein Hojjat, Pavol Černý, and Nate Foster (University of Colorado at Boulder, USA; Cornell University, USA) @InProceedings{PLDI15p218, author = {Jedidiah McClurg and Hossein Hojjat and Pavol Černý and Nate Foster}, title = {Efficient Synthesis of Network Updates}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {218-217}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-142-p doi:
	Hosking, Antony L.	PLDI '15: "Relaxing Safely: Verified ..." Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO Peter Gammie, Antony L. Hosking, and Kai Engelhardt (NICTA, Australia; Purdue University, USA; UNSW, Australia) @InProceedings{PLDI15p109, author = {Peter Gammie and Antony L. Hosking and Kai Engelhardt}, title = {Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {109-108}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-279-p doi:
	Huang, Jeff	PLDI '15: "Stateless Model Checking Concurrent ..." Stateless Model Checking Concurrent Programs with Maximal Causality Reduction Jeff Huang (Texas A&M University, USA) @InProceedings{PLDI15p182, author = {Jeff Huang}, title = {Stateless Model Checking Concurrent Programs with Maximal Causality Reduction}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {182-181}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-114-p doi:
	Hur, Chung-Kil	PLDI '15: "A Formal C Memory Model Supporting ..." A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, and Viktor Vafeiadis (Seoul National University, South Korea; University of Pennsylvania, USA; MPI-SWS, Germany) @InProceedings{PLDI15p362, author = {Jeehoon Kang and Chung-Kil Hur and William Mansky and Dmitri Garbuzov and Steve Zdancewic and Viktor Vafeiadis}, title = {A Formal C Memory Model Supporting Integer-Pointer Casts}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {362-361}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-267-p doi:
	Isradisaikul, Chinawat	PLDI '15: "Finding Counterexamples from ..." Finding Counterexamples from Parsing Conflicts Chinawat Isradisaikul and Andrew C. Myers (Cornell University, USA) @InProceedings{PLDI15p614, author = {Chinawat Isradisaikul and Andrew C. Myers}, title = {Finding Counterexamples from Parsing Conflicts}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {614-613}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-66-p doi:
	Jaffar, Joxan	PLDI '15: "Automatic Induction Proofs ..." Automatic Induction Proofs of Data-Structures in Imperative Programs Duc-Hiep Chu, Joxan Jaffar, and Minh-Thai Trinh (National University of Singapore, Singapore) @InProceedings{PLDI15p506, author = {Duc-Hiep Chu and Joxan Jaffar and Minh-Thai Trinh}, title = {Automatic Induction Proofs of Data-Structures in Imperative Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {506-505}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-155-p doi:
	Jagannathan, Suresh	PLDI '15: "Synthesizing Racy Tests ..." Synthesizing Racy Tests Malavika Samak, Murali Krishna Ramanathan, and Suresh Jagannathan (Indian Institute of Science, India; Purdue University, USA) @InProceedings{PLDI15p194, author = {Malavika Samak and Murali Krishna Ramanathan and Suresh Jagannathan}, title = {Synthesizing Racy Tests}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {194-193}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-231-p doi: PLDI '15: "Declarative Programming over ..." Declarative Programming over Eventually Consistent Data Stores KC Sivaramakrishnan, Gowtham Kaki, and Suresh Jagannathan (University of Cambridge, UK; Purdue University, USA) @InProceedings{PLDI15p458, author = {KC Sivaramakrishnan and Gowtham Kaki and Suresh Jagannathan}, title = {Declarative Programming over Eventually Consistent Data Stores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {458-457}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-143-p doi:
	Jo, Youngjoon	PLDI '15: "Efficient Execution of Recursive ..." Efficient Execution of Recursive Programs on Commodity Vector Hardware Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, and Milind Kulkarni (Pacific Northwest National Laboratory, USA; Purdue University, USA; Washington University at St. Louis, USA) @InProceedings{PLDI15p566, author = {Bin Ren and Youngjoon Jo and Sriram Krishnamoorthy and Kunal Agrawal and Milind Kulkarni}, title = {Efficient Execution of Recursive Programs on Commodity Vector Hardware}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {566-565}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-252-p doi:
	Johnson, Andrew	PLDI '15: "Exploring and Enforcing Security ..." Exploring and Enforcing Security Guarantees via Program Dependence Graphs Andrew Johnson, Lucas Waye, Scott Moore, and Stephen Chong (Harvard University, USA; MIT Lincoln Laboratory, USA) @InProceedings{PLDI15p326, author = {Andrew Johnson and Lucas Waye and Scott Moore and Stephen Chong}, title = {Exploring and Enforcing Security Guarantees via Program Dependence Graphs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {326-325}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-58-p doi:
	Kaki, Gowtham	PLDI '15: "Declarative Programming over ..." Declarative Programming over Eventually Consistent Data Stores KC Sivaramakrishnan, Gowtham Kaki, and Suresh Jagannathan (University of Cambridge, UK; Purdue University, USA) @InProceedings{PLDI15p458, author = {KC Sivaramakrishnan and Gowtham Kaki and Suresh Jagannathan}, title = {Declarative Programming over Eventually Consistent Data Stores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {458-457}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-143-p doi:
	Kamil, Shoaib	PLDI '15: "Helium: Lifting High-Performance ..." Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe, USA; Google, USA) @InProceedings{PLDI15p434, author = {Charith Mendis and Jeffrey Bosboom and Kevin Wu and Shoaib Kamil and Jonathan Ragan-Kelley and Sylvain Paris and Qin Zhao and Saman Amarasinghe}, title = {Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {434-433}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-113-p doi:
	Kandemir, Mahmut	PLDI '15: "Optimizing Off-Chip Accesses ..." Optimizing Off-Chip Accesses in Multicores Wei Ding, Xulong Tang, Mahmut Kandemir, Yuanrui Zhang, and Emre Kultursay (Pennsylvania State University, USA; Intel, USA) @InProceedings{PLDI15p145, author = {Wei Ding and Xulong Tang and Mahmut Kandemir and Yuanrui Zhang and Emre Kultursay}, title = {Optimizing Off-Chip Accesses in Multicores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-188-p doi:
	Kang, Jeehoon	PLDI '15: "A Formal C Memory Model Supporting ..." A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, and Viktor Vafeiadis (Seoul National University, South Korea; University of Pennsylvania, USA; MPI-SWS, Germany) @InProceedings{PLDI15p362, author = {Jeehoon Kang and Chung-Kil Hur and William Mansky and Dmitri Garbuzov and Steve Zdancewic and Viktor Vafeiadis}, title = {A Formal C Memory Model Supporting Integer-Pointer Casts}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {362-361}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-267-p doi:
	Ketema, Jeroen	PLDI '15: "Asynchronous Programming, ..." Asynchronous Programming, Analysis and Testing with State Machines Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, and Paul Thomson (Imperial College London, UK; Microsoft Research, India) @InProceedings{PLDI15p170, author = {Pantazis Deligiannis and Alastair F. Donaldson and Jeroen Ketema and Akash Lal and Paul Thomson}, title = {Asynchronous Programming, Analysis and Testing with State Machines}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {170-169}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-205-p doi:
	Ko, Yousun	PLDI '15: "LaminarIR: Compile-Time Queues ..." LaminarIR: Compile-Time Queues for Structured Streams Yousun Ko, Bernd Burgstaller, and Bernhard Scholz (Yonsei University, South Korea; University of Sydney, Australia) @InProceedings{PLDI15p133, author = {Yousun Ko and Bernd Burgstaller and Bernhard Scholz}, title = {LaminarIR: Compile-Time Queues for Structured Streams}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-197-p doi:
	Koskinen, Eric	PLDI '15: "The Push/Pull Model of Transactions ..." The Push/Pull Model of Transactions Eric Koskinen and Matthew Parkinson (IBM Research, USA; Microsoft Research, UK) @InProceedings{PLDI15p206, author = {Eric Koskinen and Matthew Parkinson}, title = {The Push/Pull Model of Transactions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {206-205}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-199-p doi:
	Krishnamoorthy, Sriram	PLDI '15: "Efficient Execution of Recursive ..." Efficient Execution of Recursive Programs on Commodity Vector Hardware Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, and Milind Kulkarni (Pacific Northwest National Laboratory, USA; Purdue University, USA; Washington University at St. Louis, USA) @InProceedings{PLDI15p566, author = {Bin Ren and Youngjoon Jo and Sriram Krishnamoorthy and Kunal Agrawal and Milind Kulkarni}, title = {Efficient Execution of Recursive Programs on Commodity Vector Hardware}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {566-565}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-252-p doi:
	Kulkarni, Milind	PLDI '15: "Tree Dependence Analysis ..." Tree Dependence Analysis Yusheng Weijiang, Shruthi Balakrishna, Jianqiao Liu, and Milind Kulkarni (Purdue University, USA) @InProceedings{PLDI15p350, author = {Yusheng Weijiang and Shruthi Balakrishna and Jianqiao Liu and Milind Kulkarni}, title = {Tree Dependence Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {350-349}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-107-p doi: PLDI '15: "Efficient Execution of Recursive ..." Efficient Execution of Recursive Programs on Commodity Vector Hardware Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, and Milind Kulkarni (Pacific Northwest National Laboratory, USA; Purdue University, USA; Washington University at St. Louis, USA) @InProceedings{PLDI15p566, author = {Bin Ren and Youngjoon Jo and Sriram Krishnamoorthy and Kunal Agrawal and Milind Kulkarni}, title = {Efficient Execution of Recursive Programs on Commodity Vector Hardware}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {566-565}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-252-p doi:
	Kultursay, Emre	PLDI '15: "Optimizing Off-Chip Accesses ..." Optimizing Off-Chip Accesses in Multicores Wei Ding, Xulong Tang, Mahmut Kandemir, Yuanrui Zhang, and Emre Kultursay (Pennsylvania State University, USA; Intel, USA) @InProceedings{PLDI15p145, author = {Wei Ding and Xulong Tang and Mahmut Kandemir and Yuanrui Zhang and Emre Kultursay}, title = {Optimizing Off-Chip Accesses in Multicores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-188-p doi:
	Kusano, Markus	PLDI '15: "Dynamic Partial Order Reduction ..." Dynamic Partial Order Reduction for Relaxed Memory Models Naling Zhang, Markus Kusano, and Chao Wang (Virginia Tech, USA) @InProceedings{PLDI15p278, author = {Naling Zhang and Markus Kusano and Chao Wang}, title = {Dynamic Partial Order Reduction for Relaxed Memory Models}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {278-277}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-51-p doi:
	Lahtinen, Eric	PLDI '15: "Automatic Error Elimination ..." Automatic Error Elimination by Horizontal Code Transfer across Multiple Applications Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, and Martin Rinard (Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p49, author = {Stelios Sidiroglou-Douskos and Eric Lahtinen and Fan Long and Martin Rinard}, title = {Automatic Error Elimination by Horizontal Code Transfer across Multiple Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-186-p doi:
	Lal, Akash	PLDI '15: "Asynchronous Programming, ..." Asynchronous Programming, Analysis and Testing with State Machines Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, and Paul Thomson (Imperial College London, UK; Microsoft Research, India) @InProceedings{PLDI15p170, author = {Pantazis Deligiannis and Alastair F. Donaldson and Jeroen Ketema and Akash Lal and Paul Thomson}, title = {Asynchronous Programming, Analysis and Testing with State Machines}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {170-169}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-205-p doi: PLDI '15: "DAG Inlining: A Decision Procedure ..." DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs Akash Lal and Shaz Qadeer (Microsoft Research, India; Microsoft Research, USA) @InProceedings{PLDI15p314, author = {Akash Lal and Shaz Qadeer}, title = {DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {314-313}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-182-p doi:
	Lascu, Andrei	PLDI '15: "Many-Core Compiler Fuzzing ..." Many-Core Compiler Fuzzing Christopher Lidbury, Andrei Lascu, Nathan Chong, and Alastair F. Donaldson (Imperial College London, UK; University College London, UK) @InProceedings{PLDI15p73, author = {Christopher Lidbury and Andrei Lascu and Nathan Chong and Alastair F. Donaldson}, title = {Many-Core Compiler Fuzzing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-181-p doi:
	Le, Ton Chanh	PLDI '15: "Termination and Non-termination ..." Termination and Non-termination Specification Inference Ton Chanh Le, Shengchao Qin, and Wei-Ngan Chin (National University of Singapore, Singapore; Teesside University, UK; Shenzhen University, China) @InProceedings{PLDI15p542, author = {Ton Chanh Le and Shengchao Qin and Wei-Ngan Chin}, title = {Termination and Non-termination Specification Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {542-541}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-196-p doi:
	Lerner, Sorin	PLDI '15: "Interactive Parser Synthesis ..." Interactive Parser Synthesis by Example Alan Leung, John Sarracino, and Sorin Lerner (University of California at San Diego, USA) @InProceedings{PLDI15p626, author = {Alan Leung and John Sarracino and Sorin Lerner}, title = {Interactive Parser Synthesis by Example}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {626-625}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-248-p doi:
	Leung, Alan	PLDI '15: "Interactive Parser Synthesis ..." Interactive Parser Synthesis by Example Alan Leung, John Sarracino, and Sorin Lerner (University of California at San Diego, USA) @InProceedings{PLDI15p626, author = {Alan Leung and John Sarracino and Sorin Lerner}, title = {Interactive Parser Synthesis by Example}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {626-625}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-248-p doi:
	Lidbury, Christopher	PLDI '15: "Many-Core Compiler Fuzzing ..." Many-Core Compiler Fuzzing Christopher Lidbury, Andrei Lascu, Nathan Chong, and Alastair F. Donaldson (Imperial College London, UK; University College London, UK) @InProceedings{PLDI15p73, author = {Christopher Lidbury and Andrei Lascu and Nathan Chong and Alastair F. Donaldson}, title = {Many-Core Compiler Fuzzing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-181-p doi:
	Lin, Calvin	PLDI '15: "Static Detection of Asymptotic ..." Static Detection of Asymptotic Performance Bugs in Collection Traversals Oswaldo Olivo, Isil Dillig, and Calvin Lin (University of Texas at Austin, USA) @InProceedings{PLDI15p410, author = {Oswaldo Olivo and Isil Dillig and Calvin Lin}, title = {Static Detection of Asymptotic Performance Bugs in Collection Traversals}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {410-409}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-78-p doi:
	Liskov, Barbara	PLDI '15: "Lightweight, Flexible Object-Oriented ..." Lightweight, Flexible Object-Oriented Generics Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, and Andrew C. Myers (Cornell University, USA; TU Darmstadt, Germany; Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p482, author = {Yizhou Zhang and Matthew C. Loring and Guido Salvaneschi and Barbara Liskov and Andrew C. Myers}, title = {Lightweight, Flexible Object-Oriented Generics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {482-481}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-309-p doi:
	Liu, Jianqiao	PLDI '15: "Tree Dependence Analysis ..." Tree Dependence Analysis Yusheng Weijiang, Shruthi Balakrishna, Jianqiao Liu, and Milind Kulkarni (Purdue University, USA) @InProceedings{PLDI15p350, author = {Yusheng Weijiang and Shruthi Balakrishna and Jianqiao Liu and Milind Kulkarni}, title = {Tree Dependence Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {350-349}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-107-p doi:
	Liu, Peng	PLDI '15: "Light: Replay via Tightly ..." Light: Replay via Tightly Bounded Recording Peng Liu, Xiangyu Zhang, Omer Tripp, and Yunhui Zheng (Purdue University, USA; IBM Research, USA) @InProceedings{PLDI15p61, author = {Peng Liu and Xiangyu Zhang and Omer Tripp and Yunhui Zheng}, title = {Light: Replay via Tightly Bounded Recording}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-245-p doi:
	Long, Fan	PLDI '15: "Automatic Error Elimination ..." Automatic Error Elimination by Horizontal Code Transfer across Multiple Applications Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, and Martin Rinard (Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p49, author = {Stelios Sidiroglou-Douskos and Eric Lahtinen and Fan Long and Martin Rinard}, title = {Automatic Error Elimination by Horizontal Code Transfer across Multiple Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-186-p doi:
	Longfield, Stephen	PLDI '15: "Preventing Glitches and Short ..." Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications Stephen Longfield, Brittany Nkounkou, Rajit Manohar, and Ross Tate (Cornell University, USA) @InProceedings{PLDI15p302, author = {Stephen Longfield and Brittany Nkounkou and Rajit Manohar and Ross Tate}, title = {Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {302-301}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-79-p doi:
	Lopes, Nuno P.	PLDI '15: "Provably Correct Peephole ..." Provably Correct Peephole Optimizations with Alive Nuno P. Lopes, David Menendez, Santosh Nagarakatte, and John Regehr (Microsoft Research, UK; Rutgers University, USA; University of Utah, USA) @InProceedings{PLDI15p25, author = {Nuno P. Lopes and David Menendez and Santosh Nagarakatte and John Regehr}, title = {Provably Correct Peephole Optimizations with Alive}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-74-p doi:
	Loring, Matthew C.	PLDI '15: "Lightweight, Flexible Object-Oriented ..." Lightweight, Flexible Object-Oriented Generics Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, and Andrew C. Myers (Cornell University, USA; TU Darmstadt, Germany; Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p482, author = {Yizhou Zhang and Matthew C. Loring and Guido Salvaneschi and Barbara Liskov and Andrew C. Myers}, title = {Lightweight, Flexible Object-Oriented Generics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {482-481}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-309-p doi:
	Lucia, Brandon	PLDI '15: "A Simpler, Safer Programming ..." A Simpler, Safer Programming and Execution Model for Intermittent Systems Brandon Lucia and Benjamin Ransford (Carnegie Mellon University, USA; University of Washington, USA) @InProceedings{PLDI15p638, author = {Brandon Lucia and Benjamin Ransford}, title = {A Simpler, Safer Programming and Execution Model for Intermittent Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {638-637}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-130-p doi: PLDI '15: "Concurrency Debugging with ..." Concurrency Debugging with Differential Schedule Projections Nuno Machado, Brandon Lucia, and Luís Rodrigues (Universidade de Lisboa, Portugal; Carnegie Mellon University, USA) @InProceedings{PLDI15p650, author = {Nuno Machado and Brandon Lucia and Luís Rodrigues}, title = {Concurrency Debugging with Differential Schedule Projections}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {650-649}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-109-p doi:
	Machado, Nuno	PLDI '15: "Concurrency Debugging with ..." Concurrency Debugging with Differential Schedule Projections Nuno Machado, Brandon Lucia, and Luís Rodrigues (Universidade de Lisboa, Portugal; Carnegie Mellon University, USA) @InProceedings{PLDI15p650, author = {Nuno Machado and Brandon Lucia and Luís Rodrigues}, title = {Concurrency Debugging with Differential Schedule Projections}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {650-649}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-109-p doi:
	Manevich, Roman	PLDI '15: "Synthesizing Parallel Graph ..." Synthesizing Parallel Graph Programs via Automated Planning Dimitrios Prountzos, Roman Manevich, and Keshav Pingali (University of Texas at Austin, USA; Ben-Gurion University of the Negev, Israel) @InProceedings{PLDI15p590, author = {Dimitrios Prountzos and Roman Manevich and Keshav Pingali}, title = {Synthesizing Parallel Graph Programs via Automated Planning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {590-589}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-30-p doi:
	Manohar, Rajit	PLDI '15: "Preventing Glitches and Short ..." Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications Stephen Longfield, Brittany Nkounkou, Rajit Manohar, and Ross Tate (Cornell University, USA) @InProceedings{PLDI15p302, author = {Stephen Longfield and Brittany Nkounkou and Rajit Manohar and Ross Tate}, title = {Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {302-301}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-79-p doi:
	Mansky, William	PLDI '15: "A Formal C Memory Model Supporting ..." A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, and Viktor Vafeiadis (Seoul National University, South Korea; University of Pennsylvania, USA; MPI-SWS, Germany) @InProceedings{PLDI15p362, author = {Jeehoon Kang and Chung-Kil Hur and William Mansky and Dmitri Garbuzov and Steve Zdancewic and Viktor Vafeiadis}, title = {A Formal C Memory Model Supporting Integer-Pointer Casts}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {362-361}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-267-p doi:
	Marr, Stefan	PLDI '15: "Zero-Overhead Metaprogramming: ..." Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises Stefan Marr, Chris Seaton, and Stéphane Ducasse (INRIA, France; Oracle Labs, USA; University of Manchester, UK) @InProceedings{PLDI15p602, author = {Stefan Marr and Chris Seaton and Stéphane Ducasse}, title = {Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {602-601}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-71-p doi:
	McClurg, Jedidiah	PLDI '15: "Efficient Synthesis of Network ..." Efficient Synthesis of Network Updates Jedidiah McClurg, Hossein Hojjat, Pavol Černý, and Nate Foster (University of Colorado at Boulder, USA; Cornell University, USA) @InProceedings{PLDI15p218, author = {Jedidiah McClurg and Hossein Hojjat and Pavol Černý and Nate Foster}, title = {Efficient Synthesis of Network Updates}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {218-217}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-142-p doi:
	Mehta, Sanyam	PLDI '15: "Improving Compiler Scalability: ..." Improving Compiler Scalability: Optimizing Large Programs at Small Price Sanyam Mehta and Pen-Chung Yew (University of Minnesota, USA) @InProceedings{PLDI15p157, author = {Sanyam Mehta and Pen-Chung Yew}, title = {Improving Compiler Scalability: Optimizing Large Programs at Small Price}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {157-156}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-37-p doi:
	Mendis, Charith	PLDI '15: "Helium: Lifting High-Performance ..." Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe, USA; Google, USA) @InProceedings{PLDI15p434, author = {Charith Mendis and Jeffrey Bosboom and Kevin Wu and Shoaib Kamil and Jonathan Ragan-Kelley and Sylvain Paris and Qin Zhao and Saman Amarasinghe}, title = {Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {434-433}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-113-p doi:
	Menendez, David	PLDI '15: "Provably Correct Peephole ..." Provably Correct Peephole Optimizations with Alive Nuno P. Lopes, David Menendez, Santosh Nagarakatte, and John Regehr (Microsoft Research, UK; Rutgers University, USA; University of Utah, USA) @InProceedings{PLDI15p25, author = {Nuno P. Lopes and David Menendez and Santosh Nagarakatte and John Regehr}, title = {Provably Correct Peephole Optimizations with Alive}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-74-p doi:
	Miller, Swaha	PLDI '15: "Profile-Guided Meta-Programming ..." Profile-Guided Meta-Programming William J. Bowman, Swaha Miller, Vincent St-Amour, and R. Kent Dybvig (Northeastern University, USA; Cisco Systems, USA) @InProceedings{PLDI15p446, author = {William J. Bowman and Swaha Miller and Vincent St-Amour and R. Kent Dybvig}, title = {Profile-Guided Meta-Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {446-445}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-193-p doi:
	Monniaux, David	PLDI '15: "Synthesis of Ranking Functions ..." Synthesis of Ranking Functions using Extremal Counterexamples Laure Gonnord, David Monniaux, and Gabriel Radanne (Claude Bernard University Lyon 1, France; LIP, France; University of Grenoble, France; VERIMAG, France; University of Paris Diderot, France) @InProceedings{PLDI15p674, author = {Laure Gonnord and David Monniaux and Gabriel Radanne}, title = {Synthesis of Ranking Functions using Extremal Counterexamples}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {674-673}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-115-p doi:
	Moore, Scott	PLDI '15: "Exploring and Enforcing Security ..." Exploring and Enforcing Security Guarantees via Program Dependence Graphs Andrew Johnson, Lucas Waye, Scott Moore, and Stephen Chong (Harvard University, USA; MIT Lincoln Laboratory, USA) @InProceedings{PLDI15p326, author = {Andrew Johnson and Lucas Waye and Scott Moore and Stephen Chong}, title = {Exploring and Enforcing Security Guarantees via Program Dependence Graphs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {326-325}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-58-p doi:
	Myers, Andrew C.	PLDI '15: "Diagnosing Type Errors with ..." Diagnosing Type Errors with Class Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, and Simon Peyton-Jones (Cornell University, USA; Microsoft Research, UK) @InProceedings{PLDI15p13, author = {Danfeng Zhang and Andrew C. Myers and Dimitrios Vytiniotis and Simon Peyton-Jones}, title = {Diagnosing Type Errors with Class}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-312-p doi: PLDI '15: "Lightweight, Flexible Object-Oriented ..." Lightweight, Flexible Object-Oriented Generics Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, and Andrew C. Myers (Cornell University, USA; TU Darmstadt, Germany; Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p482, author = {Yizhou Zhang and Matthew C. Loring and Guido Salvaneschi and Barbara Liskov and Andrew C. Myers}, title = {Lightweight, Flexible Object-Oriented Generics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {482-481}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-309-p doi: PLDI '15: "Finding Counterexamples from ..." Finding Counterexamples from Parsing Conflicts Chinawat Isradisaikul and Andrew C. Myers (Cornell University, USA) @InProceedings{PLDI15p614, author = {Chinawat Isradisaikul and Andrew C. Myers}, title = {Finding Counterexamples from Parsing Conflicts}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {614-613}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-66-p doi:
	Nagarakatte, Santosh	PLDI '15: "Provably Correct Peephole ..." Provably Correct Peephole Optimizations with Alive Nuno P. Lopes, David Menendez, Santosh Nagarakatte, and John Regehr (Microsoft Research, UK; Rutgers University, USA; University of Utah, USA) @InProceedings{PLDI15p25, author = {Nuno P. Lopes and David Menendez and Santosh Nagarakatte and John Regehr}, title = {Provably Correct Peephole Optimizations with Alive}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-74-p doi:
	Nanevski, Aleksandar	PLDI '15: "Mechanized Verification of ..." Mechanized Verification of Fine-Grained Concurrent Programs Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee (IMDEA Software Institute, Spain) @InProceedings{PLDI15p85, author = {Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee}, title = {Mechanized Verification of Fine-Grained Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-73-p doi:
	Nguyễn, Phúc C.	PLDI '15: "Relatively Complete Counterexamples ..." Relatively Complete Counterexamples for Higher-Order Programs Phúc C. Nguyễn and David Van Horn (University of Maryland, USA) @InProceedings{PLDI15p494, author = {Phúc C. Nguyễn and David Van Horn}, title = {Relatively Complete Counterexamples for Higher-Order Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {494-493}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-103-p doi:
	Nkounkou, Brittany	PLDI '15: "Preventing Glitches and Short ..." Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications Stephen Longfield, Brittany Nkounkou, Rajit Manohar, and Ross Tate (Cornell University, USA) @InProceedings{PLDI15p302, author = {Stephen Longfield and Brittany Nkounkou and Rajit Manohar and Ross Tate}, title = {Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {302-301}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-79-p doi:
	Nori, Aditya V.	PLDI '15: "Efficient Synthesis of Probabilistic ..." Efficient Synthesis of Probabilistic Programs Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, and Deepak Vijaykeerthy (Microsoft Research, India; IIT Delhi, India) @InProceedings{PLDI15p230, author = {Aditya V. Nori and Sherjil Ozair and Sriram K. Rajamani and Deepak Vijaykeerthy}, title = {Efficient Synthesis of Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {230-229}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-150-p doi:
	O'Boyle, Michael	PLDI '15: "Celebrating Diversity: A Mixture ..." Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments Murali Krishna Emani and Michael O'Boyle (University of Edinburgh, UK) @InProceedings{PLDI15p554, author = {Murali Krishna Emani and Michael O'Boyle}, title = {Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {554-553}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-235-p doi:
	Olivo, Oswaldo	PLDI '15: "Static Detection of Asymptotic ..." Static Detection of Asymptotic Performance Bugs in Collection Traversals Oswaldo Olivo, Isil Dillig, and Calvin Lin (University of Texas at Austin, USA) @InProceedings{PLDI15p410, author = {Oswaldo Olivo and Isil Dillig and Calvin Lin}, title = {Static Detection of Asymptotic Performance Bugs in Collection Traversals}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {410-409}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-78-p doi:
	O’Reilly, Una-May	PLDI '15: "Autotuning Algorithmic Choice ..." Autotuning Algorithmic Choice for Input Sensitivity Yufei Ding, Jason Ansel, Kalyan Veeramachaneni, Xipeng Shen, Una-May O’Reilly, and Saman Amarasinghe (North Carolina State University, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p422, author = {Yufei Ding and Jason Ansel and Kalyan Veeramachaneni and Xipeng Shen and Una-May O’Reilly and Saman Amarasinghe}, title = {Autotuning Algorithmic Choice for Input Sensitivity}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {422-421}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-100-p doi:
	Osera, Peter-Michael	PLDI '15: "Type-and-Example-Directed ..." Type-and-Example-Directed Program Synthesis Peter-Michael Osera and Steve Zdancewic (University of Pennsylvania, USA) @InProceedings{PLDI15p686, author = {Peter-Michael Osera and Steve Zdancewic}, title = {Type-and-Example-Directed Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {686-685}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-288-p doi:
	Ozair, Sherjil	PLDI '15: "Efficient Synthesis of Probabilistic ..." Efficient Synthesis of Probabilistic Programs Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, and Deepak Vijaykeerthy (Microsoft Research, India; IIT Delhi, India) @InProceedings{PLDI15p230, author = {Aditya V. Nori and Sherjil Ozair and Sriram K. Rajamani and Deepak Vijaykeerthy}, title = {Efficient Synthesis of Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {230-229}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-150-p doi:
	Panchekha, Pavel	PLDI '15: "Automatically Improving Accuracy ..." Automatically Improving Accuracy for Floating Point Expressions Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, and Zachary Tatlock (University of Washington, USA) @InProceedings{PLDI15p1, author = {Pavel Panchekha and Alex Sanchez-Stern and James R. Wilcox and Zachary Tatlock}, title = {Automatically Improving Accuracy for Floating Point Expressions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-61-p doi: PLDI '15: "Verdi: A Framework for Implementing ..." Verdi: A Framework for Implementing and Formally Verifying Distributed Systems James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, and Thomas Anderson (University of Washington, USA) @InProceedings{PLDI15p398, author = {James R. Wilcox and Doug Woos and Pavel Panchekha and Zachary Tatlock and Xi Wang and Michael D. Ernst and Thomas Anderson}, title = {Verdi: A Framework for Implementing and Formally Verifying Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {398-397}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-60-p doi:
	Paris, Sylvain	PLDI '15: "Helium: Lifting High-Performance ..." Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe, USA; Google, USA) @InProceedings{PLDI15p434, author = {Charith Mendis and Jeffrey Bosboom and Kevin Wu and Shoaib Kamil and Jonathan Ragan-Kelley and Sylvain Paris and Qin Zhao and Saman Amarasinghe}, title = {Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {434-433}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-113-p doi:
	Park, Daejun	PLDI '15: "KJS: A Complete Formal Semantics ..." KJS: A Complete Formal Semantics of JavaScript Daejun Park, Andrei Stefănescu, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI15p386, author = {Daejun Park and Andrei Stefănescu and Grigore Roşu}, title = {KJS: A Complete Formal Semantics of JavaScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {386-385}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-194-p doi:
	Parkinson, Matthew	PLDI '15: "The Push/Pull Model of Transactions ..." The Push/Pull Model of Transactions Eric Koskinen and Matthew Parkinson (IBM Research, USA; Microsoft Research, UK) @InProceedings{PLDI15p206, author = {Eric Koskinen and Matthew Parkinson}, title = {The Push/Pull Model of Transactions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {206-205}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-199-p doi:
	Peyton-Jones, Simon	PLDI '15: "Diagnosing Type Errors with ..." Diagnosing Type Errors with Class Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, and Simon Peyton-Jones (Cornell University, USA; Microsoft Research, UK) @InProceedings{PLDI15p13, author = {Danfeng Zhang and Andrew C. Myers and Dimitrios Vytiniotis and Simon Peyton-Jones}, title = {Diagnosing Type Errors with Class}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-312-p doi:
	Pingali, Keshav	PLDI '15: "Synthesizing Parallel Graph ..." Synthesizing Parallel Graph Programs via Automated Planning Dimitrios Prountzos, Roman Manevich, and Keshav Pingali (University of Texas at Austin, USA; Ben-Gurion University of the Negev, Israel) @InProceedings{PLDI15p590, author = {Dimitrios Prountzos and Roman Manevich and Keshav Pingali}, title = {Synthesizing Parallel Graph Programs via Automated Planning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {590-589}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-30-p doi:
	Prountzos, Dimitrios	PLDI '15: "Synthesizing Parallel Graph ..." Synthesizing Parallel Graph Programs via Automated Planning Dimitrios Prountzos, Roman Manevich, and Keshav Pingali (University of Texas at Austin, USA; Ben-Gurion University of the Negev, Israel) @InProceedings{PLDI15p590, author = {Dimitrios Prountzos and Roman Manevich and Keshav Pingali}, title = {Synthesizing Parallel Graph Programs via Automated Planning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {590-589}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-30-p doi:
	Püschel, Markus	PLDI '15: "Making Numerical Program Analysis ..." Making Numerical Program Analysis Fast Gagandeep Singh, Markus Püschel, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI15p338, author = {Gagandeep Singh and Markus Püschel and Martin Vechev}, title = {Making Numerical Program Analysis Fast}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {338-337}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-236-p doi:
	Qadeer, Shaz	PLDI '15: "DAG Inlining: A Decision Procedure ..." DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs Akash Lal and Shaz Qadeer (Microsoft Research, India; Microsoft Research, USA) @InProceedings{PLDI15p314, author = {Akash Lal and Shaz Qadeer}, title = {DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {314-313}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-182-p doi:
	Qin, Shengchao	PLDI '15: "Termination and Non-termination ..." Termination and Non-termination Specification Inference Ton Chanh Le, Shengchao Qin, and Wei-Ngan Chin (National University of Singapore, Singapore; Teesside University, UK; Shenzhen University, China) @InProceedings{PLDI15p542, author = {Ton Chanh Le and Shengchao Qin and Wei-Ngan Chin}, title = {Termination and Non-termination Specification Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {542-541}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-196-p doi:
	Radanne, Gabriel	PLDI '15: "Synthesis of Ranking Functions ..." Synthesis of Ranking Functions using Extremal Counterexamples Laure Gonnord, David Monniaux, and Gabriel Radanne (Claude Bernard University Lyon 1, France; LIP, France; University of Grenoble, France; VERIMAG, France; University of Paris Diderot, France) @InProceedings{PLDI15p674, author = {Laure Gonnord and David Monniaux and Gabriel Radanne}, title = {Synthesis of Ranking Functions using Extremal Counterexamples}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {674-673}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-115-p doi:
	Ragan-Kelley, Jonathan	PLDI '15: "Helium: Lifting High-Performance ..." Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe, USA; Google, USA) @InProceedings{PLDI15p434, author = {Charith Mendis and Jeffrey Bosboom and Kevin Wu and Shoaib Kamil and Jonathan Ragan-Kelley and Sylvain Paris and Qin Zhao and Saman Amarasinghe}, title = {Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {434-433}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-113-p doi:
	Rajamani, Sriram K.	PLDI '15: "Efficient Synthesis of Probabilistic ..." Efficient Synthesis of Probabilistic Programs Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, and Deepak Vijaykeerthy (Microsoft Research, India; IIT Delhi, India) @InProceedings{PLDI15p230, author = {Aditya V. Nori and Sherjil Ozair and Sriram K. Rajamani and Deepak Vijaykeerthy}, title = {Efficient Synthesis of Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {230-229}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-150-p doi:
	Ramalingam, G.	PLDI '15: "Composing Concurrency Control ..." Composing Concurrency Control Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, and Mooly Sagiv (Tel Aviv University, Israel; Stanford University, USA; Microsoft Research, India) @InProceedings{PLDI15p266, author = {Ofri Ziv and Alex Aiken and Guy Golan-Gueta and G. Ramalingam and Mooly Sagiv}, title = {Composing Concurrency Control}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {266-265}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-102-p doi:
	Ramanathan, Murali Krishna	PLDI '15: "Synthesizing Racy Tests ..." Synthesizing Racy Tests Malavika Samak, Murali Krishna Ramanathan, and Suresh Jagannathan (Indian Institute of Science, India; Purdue University, USA) @InProceedings{PLDI15p194, author = {Malavika Samak and Murali Krishna Ramanathan and Suresh Jagannathan}, title = {Synthesizing Racy Tests}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {194-193}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-231-p doi:
	Ransford, Benjamin	PLDI '15: "A Simpler, Safer Programming ..." A Simpler, Safer Programming and Execution Model for Intermittent Systems Brandon Lucia and Benjamin Ransford (Carnegie Mellon University, USA; University of Washington, USA) @InProceedings{PLDI15p638, author = {Brandon Lucia and Benjamin Ransford}, title = {A Simpler, Safer Programming and Execution Model for Intermittent Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {638-637}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-130-p doi:
	Regehr, John	PLDI '15: "Provably Correct Peephole ..." Provably Correct Peephole Optimizations with Alive Nuno P. Lopes, David Menendez, Santosh Nagarakatte, and John Regehr (Microsoft Research, UK; Rutgers University, USA; University of Utah, USA) @InProceedings{PLDI15p25, author = {Nuno P. Lopes and David Menendez and Santosh Nagarakatte and John Regehr}, title = {Provably Correct Peephole Optimizations with Alive}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-74-p doi:
	Ren, Bin	PLDI '15: "Efficient Execution of Recursive ..." Efficient Execution of Recursive Programs on Commodity Vector Hardware Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, and Milind Kulkarni (Pacific Northwest National Laboratory, USA; Purdue University, USA; Washington University at St. Louis, USA) @InProceedings{PLDI15p566, author = {Bin Ren and Youngjoon Jo and Sriram Krishnamoorthy and Kunal Agrawal and Milind Kulkarni}, title = {Efficient Execution of Recursive Programs on Commodity Vector Hardware}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {566-565}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-252-p doi:
	Reps, Thomas	PLDI '15: "Synthesis of Machine Code ..." Synthesis of Machine Code from Semantics Venkatesh Srinivasan and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{PLDI15p662, author = {Venkatesh Srinivasan and Thomas Reps}, title = {Synthesis of Machine Code from Semantics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {662-661}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-64-p doi:
	Rinard, Martin	PLDI '15: "Automatic Error Elimination ..." Automatic Error Elimination by Horizontal Code Transfer across Multiple Applications Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, and Martin Rinard (Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p49, author = {Stelios Sidiroglou-Douskos and Eric Lahtinen and Fan Long and Martin Rinard}, title = {Automatic Error Elimination by Horizontal Code Transfer across Multiple Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-186-p doi:
	Rodrigues, Luís	PLDI '15: "Concurrency Debugging with ..." Concurrency Debugging with Differential Schedule Projections Nuno Machado, Brandon Lucia, and Luís Rodrigues (Universidade de Lisboa, Portugal; Carnegie Mellon University, USA) @InProceedings{PLDI15p650, author = {Nuno Machado and Brandon Lucia and Luís Rodrigues}, title = {Concurrency Debugging with Differential Schedule Projections}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {650-649}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-109-p doi:
	Roşu, Grigore	PLDI '15: "Defining the Undefinedness ..." Defining the Undefinedness of C Chris Hathhorn, Chucky Ellison, and Grigore Roşu (University of Missouri, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI15p374, author = {Chris Hathhorn and Chucky Ellison and Grigore Roşu}, title = {Defining the Undefinedness of C}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {374-373}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-134-p doi: PLDI '15: "KJS: A Complete Formal Semantics ..." KJS: A Complete Formal Semantics of JavaScript Daejun Park, Andrei Stefănescu, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI15p386, author = {Daejun Park and Andrei Stefănescu and Grigore Roşu}, title = {KJS: A Complete Formal Semantics of JavaScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {386-385}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-194-p doi:
	Sagiv, Mooly	PLDI '15: "Composing Concurrency Control ..." Composing Concurrency Control Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, and Mooly Sagiv (Tel Aviv University, Israel; Stanford University, USA; Microsoft Research, India) @InProceedings{PLDI15p266, author = {Ofri Ziv and Alex Aiken and Guy Golan-Gueta and G. Ramalingam and Mooly Sagiv}, title = {Composing Concurrency Control}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {266-265}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-102-p doi:
	Salvaneschi, Guido	PLDI '15: "Lightweight, Flexible Object-Oriented ..." Lightweight, Flexible Object-Oriented Generics Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, and Andrew C. Myers (Cornell University, USA; TU Darmstadt, Germany; Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p482, author = {Yizhou Zhang and Matthew C. Loring and Guido Salvaneschi and Barbara Liskov and Andrew C. Myers}, title = {Lightweight, Flexible Object-Oriented Generics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {482-481}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-309-p doi:
	Samak, Malavika	PLDI '15: "Synthesizing Racy Tests ..." Synthesizing Racy Tests Malavika Samak, Murali Krishna Ramanathan, and Suresh Jagannathan (Indian Institute of Science, India; Purdue University, USA) @InProceedings{PLDI15p194, author = {Malavika Samak and Murali Krishna Ramanathan and Suresh Jagannathan}, title = {Synthesizing Racy Tests}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {194-193}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-231-p doi:
	Sanchez-Stern, Alex	PLDI '15: "Automatically Improving Accuracy ..." Automatically Improving Accuracy for Floating Point Expressions Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, and Zachary Tatlock (University of Washington, USA) @InProceedings{PLDI15p1, author = {Pavel Panchekha and Alex Sanchez-Stern and James R. Wilcox and Zachary Tatlock}, title = {Automatically Improving Accuracy for Floating Point Expressions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-61-p doi:
	Sarracino, John	PLDI '15: "Interactive Parser Synthesis ..." Interactive Parser Synthesis by Example Alan Leung, John Sarracino, and Sorin Lerner (University of California at San Diego, USA) @InProceedings{PLDI15p626, author = {Alan Leung and John Sarracino and Sorin Lerner}, title = {Interactive Parser Synthesis by Example}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {626-625}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-248-p doi:
	Scholz, Bernhard	PLDI '15: "LaminarIR: Compile-Time Queues ..." LaminarIR: Compile-Time Queues for Structured Streams Yousun Ko, Bernd Burgstaller, and Bernhard Scholz (Yonsei University, South Korea; University of Sydney, Australia) @InProceedings{PLDI15p133, author = {Yousun Ko and Bernd Burgstaller and Bernhard Scholz}, title = {LaminarIR: Compile-Time Queues for Structured Streams}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-197-p doi:
	Seaton, Chris	PLDI '15: "Zero-Overhead Metaprogramming: ..." Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises Stefan Marr, Chris Seaton, and Stéphane Ducasse (INRIA, France; Oracle Labs, USA; University of Manchester, UK) @InProceedings{PLDI15p602, author = {Stefan Marr and Chris Seaton and Stéphane Ducasse}, title = {Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {602-601}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-71-p doi:
	Sergey, Ilya	PLDI '15: "Mechanized Verification of ..." Mechanized Verification of Fine-Grained Concurrent Programs Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee (IMDEA Software Institute, Spain) @InProceedings{PLDI15p85, author = {Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee}, title = {Mechanized Verification of Fine-Grained Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-73-p doi:
	Shao, Zhong	PLDI '15: "Compositional Certified Resource ..." Compositional Certified Resource Bounds Quentin Carbonneaux, Jan Hoffmann, and Zhong Shao (Yale University, USA) @InProceedings{PLDI15p518, author = {Quentin Carbonneaux and Jan Hoffmann and Zhong Shao}, title = {Compositional Certified Resource Bounds}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {518-517}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-41-p doi:
	Sharma, Rahul	PLDI '15: "Verification of Producer-Consumer ..." Verification of Producer-Consumer Synchronization in GPU Programs Rahul Sharma, Michael Bauer, and Alex Aiken (Stanford University, USA; NVIDIA Research, USA) @InProceedings{PLDI15p97, author = {Rahul Sharma and Michael Bauer and Alex Aiken}, title = {Verification of Producer-Consumer Synchronization in GPU Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-68-p doi:
	Shen, Xipeng	PLDI '15: "Autotuning Algorithmic Choice ..." Autotuning Algorithmic Choice for Input Sensitivity Yufei Ding, Jason Ansel, Kalyan Veeramachaneni, Xipeng Shen, Una-May O’Reilly, and Saman Amarasinghe (North Carolina State University, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p422, author = {Yufei Ding and Jason Ansel and Kalyan Veeramachaneni and Xipeng Shen and Una-May O’Reilly and Saman Amarasinghe}, title = {Autotuning Algorithmic Choice for Input Sensitivity}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {422-421}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-100-p doi:
	Sidiroglou-Douskos, Stelios	PLDI '15: "Automatic Error Elimination ..." Automatic Error Elimination by Horizontal Code Transfer across Multiple Applications Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, and Martin Rinard (Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p49, author = {Stelios Sidiroglou-Douskos and Eric Lahtinen and Fan Long and Martin Rinard}, title = {Automatic Error Elimination by Horizontal Code Transfer across Multiple Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-186-p doi:
	Siek, Jeremy	PLDI '15: "Blame and Coercion: Together ..." Blame and Coercion: Together Again for the First Time Jeremy Siek, Peter Thiemann, and Philip Wadler (Indiana University, USA; University of Freiburg, Germany; University of Edinburgh, UK) @InProceedings{PLDI15p470, author = {Jeremy Siek and Peter Thiemann and Philip Wadler}, title = {Blame and Coercion: Together Again for the First Time}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {470-469}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-92-p doi:
	Singh, Gagandeep	PLDI '15: "Making Numerical Program Analysis ..." Making Numerical Program Analysis Fast Gagandeep Singh, Markus Püschel, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI15p338, author = {Gagandeep Singh and Markus Püschel and Martin Vechev}, title = {Making Numerical Program Analysis Fast}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {338-337}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-236-p doi:
	Sivaramakrishnan, KC	PLDI '15: "Declarative Programming over ..." Declarative Programming over Eventually Consistent Data Stores KC Sivaramakrishnan, Gowtham Kaki, and Suresh Jagannathan (University of Cambridge, UK; Purdue University, USA) @InProceedings{PLDI15p458, author = {KC Sivaramakrishnan and Gowtham Kaki and Suresh Jagannathan}, title = {Declarative Programming over Eventually Consistent Data Stores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {458-457}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-143-p doi:
	Srinivasan, Venkatesh	PLDI '15: "Synthesis of Machine Code ..." Synthesis of Machine Code from Semantics Venkatesh Srinivasan and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{PLDI15p662, author = {Venkatesh Srinivasan and Thomas Reps}, title = {Synthesis of Machine Code from Semantics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {662-661}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-64-p doi:
	St-Amour, Vincent	PLDI '15: "Profile-Guided Meta-Programming ..." Profile-Guided Meta-Programming William J. Bowman, Swaha Miller, Vincent St-Amour, and R. Kent Dybvig (Northeastern University, USA; Cisco Systems, USA) @InProceedings{PLDI15p446, author = {William J. Bowman and Swaha Miller and Vincent St-Amour and R. Kent Dybvig}, title = {Profile-Guided Meta-Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {446-445}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-193-p doi:
	Stefănescu, Andrei	PLDI '15: "KJS: A Complete Formal Semantics ..." KJS: A Complete Formal Semantics of JavaScript Daejun Park, Andrei Stefănescu, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI15p386, author = {Daejun Park and Andrei Stefănescu and Grigore Roşu}, title = {KJS: A Complete Formal Semantics of JavaScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {386-385}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-194-p doi:
	Strout, Michelle	PLDI '15: "Loop and Data Transformations ..." Loop and Data Transformations for Sparse Matrix Code Anand Venkat, Mary Hall, and Michelle Strout (University of Utah, USA; Colorado State University, USA) @InProceedings{PLDI15p578, author = {Anand Venkat and Mary Hall and Michelle Strout}, title = {Loop and Data Transformations for Sparse Matrix Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {578-577}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-249-p doi:
	Sullivan, Michael J.	PLDI '15: "Peer-to-Peer Affine Commitment ..." Peer-to-Peer Affine Commitment using Bitcoin Karl Crary and Michael J. Sullivan (Carnegie Mellon University, USA) @InProceedings{PLDI15p530, author = {Karl Crary and Michael J. Sullivan}, title = {Peer-to-Peer Affine Commitment using Bitcoin}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {530-529}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-227-p doi:
	Tang, Xulong	PLDI '15: "Optimizing Off-Chip Accesses ..." Optimizing Off-Chip Accesses in Multicores Wei Ding, Xulong Tang, Mahmut Kandemir, Yuanrui Zhang, and Emre Kultursay (Pennsylvania State University, USA; Intel, USA) @InProceedings{PLDI15p145, author = {Wei Ding and Xulong Tang and Mahmut Kandemir and Yuanrui Zhang and Emre Kultursay}, title = {Optimizing Off-Chip Accesses in Multicores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-188-p doi:
	Tassarotti, Joseph	PLDI '15: "Verifying Read-Copy-Update ..." Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti, Derek Dreyer, and Viktor Vafeiadis (Carnegie Mellon University, USA; MPI-SWS, Germany) @InProceedings{PLDI15p121, author = {Joseph Tassarotti and Derek Dreyer and Viktor Vafeiadis}, title = {Verifying Read-Copy-Update in a Logic for Weak Memory}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-195-p doi:
	Tate, Ross	PLDI '15: "Preventing Glitches and Short ..." Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications Stephen Longfield, Brittany Nkounkou, Rajit Manohar, and Ross Tate (Cornell University, USA) @InProceedings{PLDI15p302, author = {Stephen Longfield and Brittany Nkounkou and Rajit Manohar and Ross Tate}, title = {Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {302-301}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-79-p doi:
	Tatlock, Zachary	PLDI '15: "Automatically Improving Accuracy ..." Automatically Improving Accuracy for Floating Point Expressions Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, and Zachary Tatlock (University of Washington, USA) @InProceedings{PLDI15p1, author = {Pavel Panchekha and Alex Sanchez-Stern and James R. Wilcox and Zachary Tatlock}, title = {Automatically Improving Accuracy for Floating Point Expressions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-61-p doi: PLDI '15: "Verdi: A Framework for Implementing ..." Verdi: A Framework for Implementing and Formally Verifying Distributed Systems James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, and Thomas Anderson (University of Washington, USA) @InProceedings{PLDI15p398, author = {James R. Wilcox and Doug Woos and Pavel Panchekha and Zachary Tatlock and Xi Wang and Michael D. Ernst and Thomas Anderson}, title = {Verdi: A Framework for Implementing and Formally Verifying Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {398-397}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-60-p doi:
	Thiemann, Peter	PLDI '15: "Blame and Coercion: Together ..." Blame and Coercion: Together Again for the First Time Jeremy Siek, Peter Thiemann, and Philip Wadler (Indiana University, USA; University of Freiburg, Germany; University of Edinburgh, UK) @InProceedings{PLDI15p470, author = {Jeremy Siek and Peter Thiemann and Philip Wadler}, title = {Blame and Coercion: Together Again for the First Time}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {470-469}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-92-p doi:
	Thomson, Paul	PLDI '15: "Asynchronous Programming, ..." Asynchronous Programming, Analysis and Testing with State Machines Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, and Paul Thomson (Imperial College London, UK; Microsoft Research, India) @InProceedings{PLDI15p170, author = {Pantazis Deligiannis and Alastair F. Donaldson and Jeroen Ketema and Akash Lal and Paul Thomson}, title = {Asynchronous Programming, Analysis and Testing with State Machines}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {170-169}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-205-p doi:
	Trinh, Minh-Thai	PLDI '15: "Automatic Induction Proofs ..." Automatic Induction Proofs of Data-Structures in Imperative Programs Duc-Hiep Chu, Joxan Jaffar, and Minh-Thai Trinh (National University of Singapore, Singapore) @InProceedings{PLDI15p506, author = {Duc-Hiep Chu and Joxan Jaffar and Minh-Thai Trinh}, title = {Automatic Induction Proofs of Data-Structures in Imperative Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {506-505}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-155-p doi:
	Tripp, Omer	PLDI '15: "Light: Replay via Tightly ..." Light: Replay via Tightly Bounded Recording Peng Liu, Xiangyu Zhang, Omer Tripp, and Yunhui Zheng (Purdue University, USA; IBM Research, USA) @InProceedings{PLDI15p61, author = {Peng Liu and Xiangyu Zhang and Omer Tripp and Yunhui Zheng}, title = {Light: Replay via Tightly Bounded Recording}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-245-p doi:
	Vafeiadis, Viktor	PLDI '15: "Verifying Read-Copy-Update ..." Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti, Derek Dreyer, and Viktor Vafeiadis (Carnegie Mellon University, USA; MPI-SWS, Germany) @InProceedings{PLDI15p121, author = {Joseph Tassarotti and Derek Dreyer and Viktor Vafeiadis}, title = {Verifying Read-Copy-Update in a Logic for Weak Memory}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-195-p doi: PLDI '15: "A Formal C Memory Model Supporting ..." A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, and Viktor Vafeiadis (Seoul National University, South Korea; University of Pennsylvania, USA; MPI-SWS, Germany) @InProceedings{PLDI15p362, author = {Jeehoon Kang and Chung-Kil Hur and William Mansky and Dmitri Garbuzov and Steve Zdancewic and Viktor Vafeiadis}, title = {A Formal C Memory Model Supporting Integer-Pointer Casts}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {362-361}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-267-p doi:
	Van Horn, David	PLDI '15: "Relatively Complete Counterexamples ..." Relatively Complete Counterexamples for Higher-Order Programs Phúc C. Nguyễn and David Van Horn (University of Maryland, USA) @InProceedings{PLDI15p494, author = {Phúc C. Nguyễn and David Van Horn}, title = {Relatively Complete Counterexamples for Higher-Order Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {494-493}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-103-p doi:
	Vechev, Martin	PLDI '15: "Making Numerical Program Analysis ..." Making Numerical Program Analysis Fast Gagandeep Singh, Markus Püschel, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI15p338, author = {Gagandeep Singh and Markus Püschel and Martin Vechev}, title = {Making Numerical Program Analysis Fast}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {338-337}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-236-p doi:
	Veeramachaneni, Kalyan	PLDI '15: "Autotuning Algorithmic Choice ..." Autotuning Algorithmic Choice for Input Sensitivity Yufei Ding, Jason Ansel, Kalyan Veeramachaneni, Xipeng Shen, Una-May O’Reilly, and Saman Amarasinghe (North Carolina State University, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p422, author = {Yufei Ding and Jason Ansel and Kalyan Veeramachaneni and Xipeng Shen and Una-May O’Reilly and Saman Amarasinghe}, title = {Autotuning Algorithmic Choice for Input Sensitivity}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {422-421}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-100-p doi:
	Venkat, Anand	PLDI '15: "Loop and Data Transformations ..." Loop and Data Transformations for Sparse Matrix Code Anand Venkat, Mary Hall, and Michelle Strout (University of Utah, USA; Colorado State University, USA) @InProceedings{PLDI15p578, author = {Anand Venkat and Mary Hall and Michelle Strout}, title = {Loop and Data Transformations for Sparse Matrix Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {578-577}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-249-p doi:
	Vijaykeerthy, Deepak	PLDI '15: "Efficient Synthesis of Probabilistic ..." Efficient Synthesis of Probabilistic Programs Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, and Deepak Vijaykeerthy (Microsoft Research, India; IIT Delhi, India) @InProceedings{PLDI15p230, author = {Aditya V. Nori and Sherjil Ozair and Sriram K. Rajamani and Deepak Vijaykeerthy}, title = {Efficient Synthesis of Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {230-229}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-150-p doi:
	Vytiniotis, Dimitrios	PLDI '15: "Diagnosing Type Errors with ..." Diagnosing Type Errors with Class Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, and Simon Peyton-Jones (Cornell University, USA; Microsoft Research, UK) @InProceedings{PLDI15p13, author = {Danfeng Zhang and Andrew C. Myers and Dimitrios Vytiniotis and Simon Peyton-Jones}, title = {Diagnosing Type Errors with Class}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-312-p doi:
	Wadler, Philip	PLDI '15: "Blame and Coercion: Together ..." Blame and Coercion: Together Again for the First Time Jeremy Siek, Peter Thiemann, and Philip Wadler (Indiana University, USA; University of Freiburg, Germany; University of Edinburgh, UK) @InProceedings{PLDI15p470, author = {Jeremy Siek and Peter Thiemann and Philip Wadler}, title = {Blame and Coercion: Together Again for the First Time}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {470-469}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-92-p doi:
	Wang, Chao	PLDI '15: "Dynamic Partial Order Reduction ..." Dynamic Partial Order Reduction for Relaxed Memory Models Naling Zhang, Markus Kusano, and Chao Wang (Virginia Tech, USA) @InProceedings{PLDI15p278, author = {Naling Zhang and Markus Kusano and Chao Wang}, title = {Dynamic Partial Order Reduction for Relaxed Memory Models}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {278-277}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-51-p doi:
	Wang, Xi	PLDI '15: "Verdi: A Framework for Implementing ..." Verdi: A Framework for Implementing and Formally Verifying Distributed Systems James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, and Thomas Anderson (University of Washington, USA) @InProceedings{PLDI15p398, author = {James R. Wilcox and Doug Woos and Pavel Panchekha and Zachary Tatlock and Xi Wang and Michael D. Ernst and Thomas Anderson}, title = {Verdi: A Framework for Implementing and Formally Verifying Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {398-397}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-60-p doi:
	Waye, Lucas	PLDI '15: "Exploring and Enforcing Security ..." Exploring and Enforcing Security Guarantees via Program Dependence Graphs Andrew Johnson, Lucas Waye, Scott Moore, and Stephen Chong (Harvard University, USA; MIT Lincoln Laboratory, USA) @InProceedings{PLDI15p326, author = {Andrew Johnson and Lucas Waye and Scott Moore and Stephen Chong}, title = {Exploring and Enforcing Security Guarantees via Program Dependence Graphs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {326-325}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-58-p doi:
	Weijiang, Yusheng	PLDI '15: "Tree Dependence Analysis ..." Tree Dependence Analysis Yusheng Weijiang, Shruthi Balakrishna, Jianqiao Liu, and Milind Kulkarni (Purdue University, USA) @InProceedings{PLDI15p350, author = {Yusheng Weijiang and Shruthi Balakrishna and Jianqiao Liu and Milind Kulkarni}, title = {Tree Dependence Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {350-349}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-107-p doi:
	Wilcox, James R.	PLDI '15: "Automatically Improving Accuracy ..." Automatically Improving Accuracy for Floating Point Expressions Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, and Zachary Tatlock (University of Washington, USA) @InProceedings{PLDI15p1, author = {Pavel Panchekha and Alex Sanchez-Stern and James R. Wilcox and Zachary Tatlock}, title = {Automatically Improving Accuracy for Floating Point Expressions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-61-p doi: PLDI '15: "Verdi: A Framework for Implementing ..." Verdi: A Framework for Implementing and Formally Verifying Distributed Systems James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, and Thomas Anderson (University of Washington, USA) @InProceedings{PLDI15p398, author = {James R. Wilcox and Doug Woos and Pavel Panchekha and Zachary Tatlock and Xi Wang and Michael D. Ernst and Thomas Anderson}, title = {Verdi: A Framework for Implementing and Formally Verifying Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {398-397}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-60-p doi:
	Woos, Doug	PLDI '15: "Verdi: A Framework for Implementing ..." Verdi: A Framework for Implementing and Formally Verifying Distributed Systems James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, and Thomas Anderson (University of Washington, USA) @InProceedings{PLDI15p398, author = {James R. Wilcox and Doug Woos and Pavel Panchekha and Zachary Tatlock and Xi Wang and Michael D. Ernst and Thomas Anderson}, title = {Verdi: A Framework for Implementing and Formally Verifying Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {398-397}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-60-p doi:
	Wu, Kevin	PLDI '15: "Helium: Lifting High-Performance ..." Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe, USA; Google, USA) @InProceedings{PLDI15p434, author = {Charith Mendis and Jeffrey Bosboom and Kevin Wu and Shoaib Kamil and Jonathan Ragan-Kelley and Sylvain Paris and Qin Zhao and Saman Amarasinghe}, title = {Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {434-433}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-113-p doi:
	Yew, Pen-Chung	PLDI '15: "Improving Compiler Scalability: ..." Improving Compiler Scalability: Optimizing Large Programs at Small Price Sanyam Mehta and Pen-Chung Yew (University of Minnesota, USA) @InProceedings{PLDI15p157, author = {Sanyam Mehta and Pen-Chung Yew}, title = {Improving Compiler Scalability: Optimizing Large Programs at Small Price}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {157-156}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-37-p doi:
	Zdancewic, Steve	PLDI '15: "A Formal C Memory Model Supporting ..." A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, and Viktor Vafeiadis (Seoul National University, South Korea; University of Pennsylvania, USA; MPI-SWS, Germany) @InProceedings{PLDI15p362, author = {Jeehoon Kang and Chung-Kil Hur and William Mansky and Dmitri Garbuzov and Steve Zdancewic and Viktor Vafeiadis}, title = {A Formal C Memory Model Supporting Integer-Pointer Casts}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {362-361}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-267-p doi: PLDI '15: "Type-and-Example-Directed ..." Type-and-Example-Directed Program Synthesis Peter-Michael Osera and Steve Zdancewic (University of Pennsylvania, USA) @InProceedings{PLDI15p686, author = {Peter-Michael Osera and Steve Zdancewic}, title = {Type-and-Example-Directed Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {686-685}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-288-p doi:
	Zhang, Danfeng	PLDI '15: "Diagnosing Type Errors with ..." Diagnosing Type Errors with Class Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, and Simon Peyton-Jones (Cornell University, USA; Microsoft Research, UK) @InProceedings{PLDI15p13, author = {Danfeng Zhang and Andrew C. Myers and Dimitrios Vytiniotis and Simon Peyton-Jones}, title = {Diagnosing Type Errors with Class}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-312-p doi:
	Zhang, Naling	PLDI '15: "Dynamic Partial Order Reduction ..." Dynamic Partial Order Reduction for Relaxed Memory Models Naling Zhang, Markus Kusano, and Chao Wang (Virginia Tech, USA) @InProceedings{PLDI15p278, author = {Naling Zhang and Markus Kusano and Chao Wang}, title = {Dynamic Partial Order Reduction for Relaxed Memory Models}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {278-277}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-51-p doi:
	Zhang, Xiangyu	PLDI '15: "Light: Replay via Tightly ..." Light: Replay via Tightly Bounded Recording Peng Liu, Xiangyu Zhang, Omer Tripp, and Yunhui Zheng (Purdue University, USA; IBM Research, USA) @InProceedings{PLDI15p61, author = {Peng Liu and Xiangyu Zhang and Omer Tripp and Yunhui Zheng}, title = {Light: Replay via Tightly Bounded Recording}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-245-p doi:
	Zhang, Yizhou	PLDI '15: "Lightweight, Flexible Object-Oriented ..." Lightweight, Flexible Object-Oriented Generics Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, and Andrew C. Myers (Cornell University, USA; TU Darmstadt, Germany; Massachusetts Institute of Technology, USA) @InProceedings{PLDI15p482, author = {Yizhou Zhang and Matthew C. Loring and Guido Salvaneschi and Barbara Liskov and Andrew C. Myers}, title = {Lightweight, Flexible Object-Oriented Generics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {482-481}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-309-p doi:
	Zhang, Yuanrui	PLDI '15: "Optimizing Off-Chip Accesses ..." Optimizing Off-Chip Accesses in Multicores Wei Ding, Xulong Tang, Mahmut Kandemir, Yuanrui Zhang, and Emre Kultursay (Pennsylvania State University, USA; Intel, USA) @InProceedings{PLDI15p145, author = {Wei Ding and Xulong Tang and Mahmut Kandemir and Yuanrui Zhang and Emre Kultursay}, title = {Optimizing Off-Chip Accesses in Multicores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-188-p doi:
	Zhao, Qin	PLDI '15: "Helium: Lifting High-Performance ..." Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe, USA; Google, USA) @InProceedings{PLDI15p434, author = {Charith Mendis and Jeffrey Bosboom and Kevin Wu and Shoaib Kamil and Jonathan Ragan-Kelley and Sylvain Paris and Qin Zhao and Saman Amarasinghe}, title = {Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {434-433}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-113-p doi:
	Zheng, Yunhui	PLDI '15: "Light: Replay via Tightly ..." Light: Replay via Tightly Bounded Recording Peng Liu, Xiangyu Zhang, Omer Tripp, and Yunhui Zheng (Purdue University, USA; IBM Research, USA) @InProceedings{PLDI15p61, author = {Peng Liu and Xiangyu Zhang and Omer Tripp and Yunhui Zheng}, title = {Light: Replay via Tightly Bounded Recording}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-245-p doi:
	Ziv, Ofri	PLDI '15: "Composing Concurrency Control ..." Composing Concurrency Control Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, and Mooly Sagiv (Tel Aviv University, Israel; Stanford University, USA; Microsoft Research, India) @InProceedings{PLDI15p266, author = {Ofri Ziv and Alex Aiken and Guy Golan-Gueta and G. Ramalingam and Mooly Sagiv}, title = {Composing Concurrency Control}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {266-265}, doi = {}, year = {2015}, } Article: pldi15main-mainpldi15-102-p doi:
	Zorn, Benjamin	PLDI '15: "FlashRelate: Extracting Relational ..." FlashRelate: Extracting Relational Data from Semi-structured Spreadsheets Using Examples Daniel W. Barowy, Sumit Gulwani, Ted Hart, and Benjamin Zorn (University of Massachusetts at Amherst, USA; Microsoft Research, USA) @InProceedings{PLDI15p242, author = {Daniel W. Barowy and Sumit Gulwani and Ted Hart and Benjamin Zorn}, title = {FlashRelate: Extracting Relational Data from Semi-structured Spreadsheets Using Examples}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {242-241}, doi = {}, year = {2015}, } aec-badge-pldi Article: pldi15main-mainpldi15-9-p doi:

200 authors

proc time: 0.84