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

	Achour, Sara	PLDI '16: "Configuration Synthesis for ..." Configuration Synthesis for Programmable Analog Devices with Arco Sara Achour, Rahul Sarpeshkar, and Martin C. Rinard (Massachusetts Institute of Technology, USA; Dartmouth College, USA) @InProceedings{PLDI16p205, author = {Sara Achour and Rahul Sarpeshkar and Martin C. Rinard}, title = {Configuration Synthesis for Programmable Analog Devices with Arco}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {205-204}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main221-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Adams, Michael D.	PLDI '16: "On the Complexity and Performance ..." On the Complexity and Performance of Parsing with Derivatives Michael D. Adams, Celeste Hollenbeck, and Matthew Might (University of Utah, USA) @InProceedings{PLDI16p256, author = {Michael D. Adams and Celeste Hollenbeck and Matthew Might}, title = {On the Complexity and Performance of Parsing with Derivatives}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {256-255}, doi = {}, year = {2016}, } Article: pldi16main-main317-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Aiken, Alex	PLDI '16: "Stratified Synthesis: Automatically ..." Stratified Synthesis: Automatically Learning the x86-64 Instruction Set Stefan Heule, Eric Schkufza, Rahul Sharma, and Alex Aiken (Stanford University, USA; VMware, USA) @InProceedings{PLDI16p273, author = {Stefan Heule and Eric Schkufza and Rahul Sharma and Alex Aiken}, title = {Stratified Synthesis: Automatically Learning the x86-64 Instruction Set}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {273-272}, doi = {}, year = {2016}, } Article: pldi16main-main260-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi: PLDI '16: "Verifying Bit-Manipulations ..." Verifying Bit-Manipulations of Floating-Point Wonyeol Lee, Rahul Sharma, and Alex Aiken (Stanford University, USA) @InProceedings{PLDI16p86, author = {Wonyeol Lee and Rahul Sharma and Alex Aiken}, title = {Verifying Bit-Manipulations of Floating-Point}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {86-85}, doi = {}, year = {2016}, } Article: pldi16main-main123-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Albarghouthi, Aws	PLDI '16: "MapReduce Program Synthesis ..." MapReduce Program Synthesis Calvin Smith and Aws Albarghouthi (University of Wisconsin-Madison, USA) @InProceedings{PLDI16p375, author = {Calvin Smith and Aws Albarghouthi}, title = {MapReduce Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {375-374}, doi = {}, year = {2016}, } Article: pldi16main-main91-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Albers, Jacob	PLDI '16: "Programmatic and Direct Manipulation, ..." Programmatic and Direct Manipulation, Together at Last Ravi Chugh, Brian Hempel, Mitchell Spradlin, and Jacob Albers (University of Chicago, USA) @InProceedings{PLDI16p392, author = {Ravi Chugh and Brian Hempel and Mitchell Spradlin and Jacob Albers}, title = {Programmatic and Direct Manipulation, Together at Last}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {392-391}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main95-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Austin, Thomas H.	PLDI '16: "Precise, Dynamic Information ..." Precise, Dynamic Information Flow for Database-Backed Applications Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, and Stephen Chong (Carnegie Mellon University, USA; Harvard Medical School, USA; Dropbox, USA; San Jose State University, USA; Massachusetts Institute of Technology, USA; University of California at Santa Cruz, USA; Harvard University, USA) @InProceedings{PLDI16p715, author = {Jean Yang and Travis Hance and Thomas H. Austin and Armando Solar-Lezama and Cormac Flanagan and Stephen Chong}, title = {Precise, Dynamic Information Flow for Database-Backed Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main82-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Baghsorkhi, Sara S.	PLDI '16: "FlexVec: Auto-Vectorization ..." FlexVec: Auto-Vectorization for Irregular Loops Sara S. Baghsorkhi, Nalini Vasudevan, and Youfeng Wu (Intel, USA; Google, USA) @InProceedings{PLDI16p783, author = {Sara S. Baghsorkhi and Nalini Vasudevan and Youfeng Wu}, title = {FlexVec: Auto-Vectorization for Irregular Loops}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {783-782}, doi = {}, year = {2016}, } Article: pldi16main-main162-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Bao, Wenlei	PLDI '16: "Effective Padding of Multidimensional ..." Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, and P. Sadayappan (Ohio State University, USA; Inria, France; ENS, France; Pacific Northwest National Laboratory, USA; Louisiana State University, USA) @InProceedings{PLDI16p154, author = {Changwan Hong and Wenlei Bao and Albert Cohen and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and J. Ramanujam and P. Sadayappan}, title = {Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {}, year = {2016}, } Article: pldi16main-main269-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Barik, Rajkishore	PLDI '16: "Latte: A Language, Compiler, ..." Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Leonard Truong, Rajkishore Barik, Ehsan Totoni, Hai Liu, Chick Markley, Armando Fox, and Tatiana Shpeisman (Intel Labs, USA; University of California at Berkeley, USA) @InProceedings{PLDI16p239, author = {Leonard Truong and Rajkishore Barik and Ehsan Totoni and Hai Liu and Chick Markley and Armando Fox and Tatiana Shpeisman}, title = {Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {239-238}, doi = {}, year = {2016}, } Article: pldi16main-main111-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Beckett, Ryan	PLDI '16: "Temporal NetKAT ..." Temporal NetKAT Ryan Beckett, Michael Greenberg, and David Walker (Princeton University, USA; Pomona College, USA) @InProceedings{PLDI16p443, author = {Ryan Beckett and Michael Greenberg and David Walker}, title = {Temporal NetKAT}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {443-442}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main132-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Beightol, Quinn	PLDI '16: "Accepting Blame for Safe Tunneled ..." Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, and Andrew C. Myers (Cornell University, USA; TU Darmstadt, Germany; Massachusetts Institute of Technology, USA) @InProceedings{PLDI16p324, author = {Yizhou Zhang and Guido Salvaneschi and Quinn Beightol and Barbara Liskov and Andrew C. Myers}, title = {Accepting Blame for Safe Tunneled Exceptions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {324-323}, doi = {}, year = {2016}, } Article: pldi16main-main33-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Bielik, Pavol	PLDI '16: "SDNRacer: Concurrency Analysis ..." SDNRacer: Concurrency Analysis for Software-Defined Networks Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI16p460, author = {Ahmed El-Hassany and Jeremie Miserez and Pavol Bielik and Laurent Vanbever and Martin Vechev}, title = {SDNRacer: Concurrency Analysis for Software-Defined Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {460-459}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main274-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Bjørner, Nikolaj	PLDI '16: "Cardinalities and Universal ..." Cardinalities and Universal Quantifiers for Verifying Parameterized Systems Klaus v. Gleissenthall, Nikolaj Bjørner, and Andrey Rybalchenko (TU Munich, Germany; University of California at San Diego, USA; Microsoft Research, USA; Microsoft Research, UK) @InProceedings{PLDI16p681, author = {Klaus v. Gleissenthall and Nikolaj Bjørner and Andrey Rybalchenko}, title = {Cardinalities and Universal Quantifiers for Verifying Parameterized Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {681-680}, doi = {}, year = {2016}, } Article: pldi16main-main319-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Burtscher, Martin	PLDI '16: "Higher-Order and Tuple-Based ..." Higher-Order and Tuple-Based Massively-Parallel Prefix Sums Sepideh Maleki, Annie Yang, and Martin Burtscher (Texas State University, USA) @InProceedings{PLDI16p613, author = {Sepideh Maleki and Annie Yang and Martin Burtscher}, title = {Higher-Order and Tuple-Based Massively-Parallel Prefix Sums}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {613-612}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main42-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Černý, Pavol	PLDI '16: "Event-Driven Network Programming ..." Event-Driven Network Programming Jedidiah McClurg, Hossein Hojjat, Nate Foster, and Pavol Černý (University of Colorado at Boulder, USA; Cornell University, USA) @InProceedings{PLDI16p426, author = {Jedidiah McClurg and Hossein Hojjat and Nate Foster and Pavol Černý}, title = {Event-Driven Network Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {426-425}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main80-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Chamith, Buddhika	PLDI '16: "Living on the Edge: Rapid-Toggling ..." Living on the Edge: Rapid-Toggling Probes with Cross-Modification on x86 Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, and Ryan R. Newton (Indiana University, USA) @InProceedings{PLDI16p18, author = {Buddhika Chamith and Bo Joel Svensson and Luke Dalessandro and Ryan R. Newton}, title = {Living on the Edge: Rapid-Toggling Probes with Cross-Modification on x86}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {18-17}, doi = {}, year = {2016}, } Article: pldi16main-main21-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Chaudhuri, Swarat	PLDI '16: "Synthesizing Transformations ..." Synthesizing Transformations on Hierarchically Structured Data Navid Yaghmazadeh, Christian Klinger, Isil Dillig, and Swarat Chaudhuri (University of Texas at Austin, USA; University of Freiburg, Germany; Rice University, USA) @InProceedings{PLDI16p579, author = {Navid Yaghmazadeh and Christian Klinger and Isil Dillig and Swarat Chaudhuri}, title = {Synthesizing Transformations on Hierarchically Structured Data}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {579-578}, doi = {}, year = {2016}, } Article: pldi16main-main40-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Chen, Hao	PLDI '16: "Toward Compositional Verification ..." Toward Compositional Verification of Interruptible OS Kernels and Device Drivers Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, and Ronghui Gu (Yale University, USA) @InProceedings{PLDI16p494, author = {Hao Chen and Xiongnan (Newman) Wu and Zhong Shao and Joshua Lockerman and Ronghui Gu}, title = {Toward Compositional Verification of Interruptible OS Kernels and Device Drivers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {494-493}, doi = {}, year = {2016}, } Article: pldi16main-main86-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Chen, Yuting	PLDI '16: "Coverage-Directed Differential ..." Coverage-Directed Differential Testing of JVM Implementations Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, and Jianjun Zhao (Shanghai Jiao Tong University, China; East China Normal University, China; University of California at Davis, USA; Kyushu University, Japan) @InProceedings{PLDI16p103, author = {Yuting Chen and Ting Su and Chengnian Sun and Zhendong Su and Jianjun Zhao}, title = {Coverage-Directed Differential Testing of JVM Implementations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2016}, } Article: pldi16main-main76-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Cheung, Alvin	PLDI '16: "Verified Lifting of Stencil ..." Verified Lifting of Stencil Computations Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, and Armando Solar-Lezama (Adobe, USA; University of Washington, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI16p800, author = {Shoaib Kamil and Alvin Cheung and Shachar Itzhaky and Armando Solar-Lezama}, title = {Verified Lifting of Stencil Computations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {800-799}, doi = {}, year = {2016}, } Article: pldi16main-main227-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Chisnall, David	PLDI '16: "Into the Depths of C: Elaborating ..." Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, and Peter Sewell (University of Cambridge, UK) @InProceedings{PLDI16p1, author = {Kayvan Memarian and Justus Matthiesen and James Lingard and Kyndylan Nienhuis and David Chisnall and Robert N. M. Watson and Peter Sewell}, title = {Into the Depths of C: Elaborating the De Facto Standards}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: pldi16main-main2-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Chitil, Olaf	PLDI '16: "Lightweight Computation Tree ..." Lightweight Computation Tree Tracing for Lazy Functional Languages Maarten Faddegon and Olaf Chitil (University of Kent, UK) @InProceedings{PLDI16p137, author = {Maarten Faddegon and Olaf Chitil}, title = {Lightweight Computation Tree Tracing for Lazy Functional Languages}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {137-136}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main103-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Chiu, Meng-Chieh	PLDI '16: "Assessing the Limits of Program-Specific ..." Assessing the Limits of Program-Specific Garbage Collection Performance Nicholas Jacek, Meng-Chieh Chiu, Benjamin Marlin, and Eliot Moss (University of Massachusetts at Amherst, USA) @InProceedings{PLDI16p664, author = {Nicholas Jacek and Meng-Chieh Chiu and Benjamin Marlin and Eliot Moss}, title = {Assessing the Limits of Program-Specific Garbage Collection Performance}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {664-663}, doi = {}, year = {2016}, } Article: pldi16main-main246-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Chong, Stephen	PLDI '16: "Precise, Dynamic Information ..." Precise, Dynamic Information Flow for Database-Backed Applications Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, and Stephen Chong (Carnegie Mellon University, USA; Harvard Medical School, USA; Dropbox, USA; San Jose State University, USA; Massachusetts Institute of Technology, USA; University of California at Santa Cruz, USA; Harvard University, USA) @InProceedings{PLDI16p715, author = {Jean Yang and Travis Hance and Thomas H. Austin and Armando Solar-Lezama and Cormac Flanagan and Stephen Chong}, title = {Precise, Dynamic Information Flow for Database-Backed Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main82-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Chugh, Ravi	PLDI '16: "Programmatic and Direct Manipulation, ..." Programmatic and Direct Manipulation, Together at Last Ravi Chugh, Brian Hempel, Mitchell Spradlin, and Jacob Albers (University of Chicago, USA) @InProceedings{PLDI16p392, author = {Ravi Chugh and Brian Hempel and Mitchell Spradlin and Jacob Albers}, title = {Programmatic and Direct Manipulation, Together at Last}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {392-391}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main95-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Cohen, Albert	PLDI '16: "Effective Padding of Multidimensional ..." Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, and P. Sadayappan (Ohio State University, USA; Inria, France; ENS, France; Pacific Northwest National Laboratory, USA; Louisiana State University, USA) @InProceedings{PLDI16p154, author = {Changwan Hong and Wenlei Bao and Albert Cohen and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and J. Ramanujam and P. Sadayappan}, title = {Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {}, year = {2016}, } Article: pldi16main-main269-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Cok, David	PLDI '16: "Polymorphic Type Inference ..." Polymorphic Type Inference for Machine Code Matt Noonan, Alexey Loginov, and David Cok (GrammaTech, USA) @InProceedings{PLDI16p35, author = {Matt Noonan and Alexey Loginov and David Cok}, title = {Polymorphic Type Inference for Machine Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {35-34}, doi = {}, year = {2016}, } Article: pldi16main-main241-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Cosman, Benjamin	PLDI '16: "Refinement Types for TypeScript ..." Refinement Types for TypeScript Panagiotis Vekris, Benjamin Cosman, and Ranjit Jhala (University of California at San Diego, USA) @InProceedings{PLDI16p358, author = {Panagiotis Vekris and Benjamin Cosman and Ranjit Jhala}, title = {Refinement Types for TypeScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {358-357}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main161-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Costa, Manuel	PLDI '16: "A Design and Verification ..." A Design and Verification Methodology for Secure Isolated Regions Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram Rajamani, Sanjit A. Seshia, and Kapil Vaswani (University of California at Berkeley, USA; Microsoft Research, UK; Microsoft Research, India) @InProceedings{PLDI16p749, author = {Rohit Sinha and Manuel Costa and Akash Lal and Nuno P. Lopes and Sriram Rajamani and Sanjit A. Seshia and Kapil Vaswani}, title = {A Design and Verification Methodology for Secure Isolated Regions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main168-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Costanzo, David	PLDI '16: "End-to-End Verification of ..." End-to-End Verification of Information-Flow Security for C and Assembly Programs David Costanzo, Zhong Shao, and Ronghui Gu (Yale University, USA) @InProceedings{PLDI16p732, author = {David Costanzo and Zhong Shao and Ronghui Gu}, title = {End-to-End Verification of Information-Flow Security for C and Assembly Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {732-731}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main84-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Dalessandro, Luke	PLDI '16: "Living on the Edge: Rapid-Toggling ..." Living on the Edge: Rapid-Toggling Probes with Cross-Modification on x86 Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, and Ryan R. Newton (Indiana University, USA) @InProceedings{PLDI16p18, author = {Buddhika Chamith and Bo Joel Svensson and Luke Dalessandro and Ryan R. Newton}, title = {Living on the Edge: Rapid-Toggling Probes with Cross-Modification on x86}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {18-17}, doi = {}, year = {2016}, } Article: pldi16main-main21-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	David, Yaniv	PLDI '16: "Statistical Similarity of ..." Statistical Similarity of Binaries Yaniv David, Nimrod Partush, and Eran Yahav (Technion, Israel) @InProceedings{PLDI16p307, author = {Yaniv David and Nimrod Partush and Eran Yahav}, title = {Statistical Similarity of Binaries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {307-306}, doi = {}, year = {2016}, } Article: pldi16main-main297-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Degenbaev, Ulan	PLDI '16: "Idle Time Garbage Collection ..." Idle Time Garbage Collection Scheduling Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, and Hannes Payer (Google, Germany; Google, USA; Google, UK) @InProceedings{PLDI16p647, author = {Ulan Degenbaev and Jochen Eisinger and Manfred Ernst and Ross McIlroy and Hannes Payer}, title = {Idle Time Garbage Collection Scheduling}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main114-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Devietti, Joseph	PLDI '16: "Remix: Online Detection and ..." Remix: Online Detection and Repair of Cache Contention for the JVM Ariel Eizenberg, Shiliang Hu, Gilles Pokam, and Joseph Devietti (University of Pennsylvania, USA; Intel, USA) @InProceedings{PLDI16p290, author = {Ariel Eizenberg and Shiliang Hu and Gilles Pokam and Joseph Devietti}, title = {Remix: Online Detection and Repair of Cache Contention for the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {290-289}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main47-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Dillig, Isil	PLDI '16: "Synthesizing Transformations ..." Synthesizing Transformations on Hierarchically Structured Data Navid Yaghmazadeh, Christian Klinger, Isil Dillig, and Swarat Chaudhuri (University of Texas at Austin, USA; University of Freiburg, Germany; Rice University, USA) @InProceedings{PLDI16p579, author = {Navid Yaghmazadeh and Christian Klinger and Isil Dillig and Swarat Chaudhuri}, title = {Synthesizing Transformations on Hierarchically Structured Data}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {579-578}, doi = {}, year = {2016}, } Article: pldi16main-main40-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi: PLDI '16: "Cartesian Hoare Logic for ..." Cartesian Hoare Logic for Verifying k-Safety Properties Marcelo Sousa and Isil Dillig (University of Oxford, UK; University of Texas at Austin, USA) @InProceedings{PLDI16p69, author = {Marcelo Sousa and Isil Dillig}, title = {Cartesian Hoare Logic for Verifying k-Safety Properties}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {69-68}, doi = {}, year = {2016}, } Article: pldi16main-main62-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Donaldson, Alastair F.	PLDI '16: "Exposing Errors Related to ..." Exposing Errors Related to Weak Memory in GPU Applications Tyler Sorensen and Alastair F. Donaldson (Imperial College London, UK) @InProceedings{PLDI16p120, author = {Tyler Sorensen and Alastair F. Donaldson}, title = {Exposing Errors Related to Weak Memory in GPU Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {120-119}, doi = {}, year = {2016}, } Article: pldi16main-main196-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Eisinger, Jochen	PLDI '16: "Idle Time Garbage Collection ..." Idle Time Garbage Collection Scheduling Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, and Hannes Payer (Google, Germany; Google, USA; Google, UK) @InProceedings{PLDI16p647, author = {Ulan Degenbaev and Jochen Eisinger and Manfred Ernst and Ross McIlroy and Hannes Payer}, title = {Idle Time Garbage Collection Scheduling}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main114-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Eizenberg, Ariel	PLDI '16: "Remix: Online Detection and ..." Remix: Online Detection and Repair of Cache Contention for the JVM Ariel Eizenberg, Shiliang Hu, Gilles Pokam, and Joseph Devietti (University of Pennsylvania, USA; Intel, USA) @InProceedings{PLDI16p290, author = {Ariel Eizenberg and Shiliang Hu and Gilles Pokam and Joseph Devietti}, title = {Remix: Online Detection and Repair of Cache Contention for the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {290-289}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main47-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	El-Hassany, Ahmed	PLDI '16: "SDNRacer: Concurrency Analysis ..." SDNRacer: Concurrency Analysis for Software-Defined Networks Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI16p460, author = {Ahmed El-Hassany and Jeremie Miserez and Pavol Bielik and Laurent Vanbever and Martin Vechev}, title = {SDNRacer: Concurrency Analysis for Software-Defined Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {460-459}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main274-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Ernst, Manfred	PLDI '16: "Idle Time Garbage Collection ..." Idle Time Garbage Collection Scheduling Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, and Hannes Payer (Google, Germany; Google, USA; Google, UK) @InProceedings{PLDI16p647, author = {Ulan Degenbaev and Jochen Eisinger and Manfred Ernst and Ross McIlroy and Hannes Payer}, title = {Idle Time Garbage Collection Scheduling}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main114-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Ernst, Michael D.	PLDI '16: "Fast Synthesis of Fast Collections ..." Fast Synthesis of Fast Collections Calvin Loncaric, Emina Torlak, and Michael D. Ernst (University of Washington, USA) @InProceedings{PLDI16p409, author = {Calvin Loncaric and Emina Torlak and Michael D. Ernst}, title = {Fast Synthesis of Fast Collections}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {409-408}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main261-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Faddegon, Maarten	PLDI '16: "Lightweight Computation Tree ..." Lightweight Computation Tree Tracing for Lazy Functional Languages Maarten Faddegon and Olaf Chitil (University of Kent, UK) @InProceedings{PLDI16p137, author = {Maarten Faddegon and Olaf Chitil}, title = {Lightweight Computation Tree Tracing for Lazy Functional Languages}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {137-136}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main103-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Flanagan, Cormac	PLDI '16: "Precise, Dynamic Information ..." Precise, Dynamic Information Flow for Database-Backed Applications Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, and Stephen Chong (Carnegie Mellon University, USA; Harvard Medical School, USA; Dropbox, USA; San Jose State University, USA; Massachusetts Institute of Technology, USA; University of California at Santa Cruz, USA; Harvard University, USA) @InProceedings{PLDI16p715, author = {Jean Yang and Travis Hance and Thomas H. Austin and Armando Solar-Lezama and Cormac Flanagan and Stephen Chong}, title = {Precise, Dynamic Information Flow for Database-Backed Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main82-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Foster, Jeffrey S.	PLDI '16: "Just-in-Time Static Type Checking ..." Just-in-Time Static Type Checking for Dynamic Languages Brianna M. Ren and Jeffrey S. Foster (University of Maryland at College Park, USA) @InProceedings{PLDI16p528, author = {Brianna M. Ren and Jeffrey S. Foster}, title = {Just-in-Time Static Type Checking for Dynamic Languages}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {528-527}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main306-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Foster, Nate	PLDI '16: "Event-Driven Network Programming ..." Event-Driven Network Programming Jedidiah McClurg, Hossein Hojjat, Nate Foster, and Pavol Černý (University of Colorado at Boulder, USA; Cornell University, USA) @InProceedings{PLDI16p426, author = {Jedidiah McClurg and Hossein Hojjat and Nate Foster and Pavol Černý}, title = {Event-Driven Network Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {426-425}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main80-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Fox, Armando	PLDI '16: "Latte: A Language, Compiler, ..." Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Leonard Truong, Rajkishore Barik, Ehsan Totoni, Hai Liu, Chick Markley, Armando Fox, and Tatiana Shpeisman (Intel Labs, USA; University of California at Berkeley, USA) @InProceedings{PLDI16p239, author = {Leonard Truong and Rajkishore Barik and Ehsan Totoni and Hai Liu and Chick Markley and Armando Fox and Tatiana Shpeisman}, title = {Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {239-238}, doi = {}, year = {2016}, } Article: pldi16main-main111-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Gleissenthall, Klaus v.	PLDI '16: "Cardinalities and Universal ..." Cardinalities and Universal Quantifiers for Verifying Parameterized Systems Klaus v. Gleissenthall, Nikolaj Bjørner, and Andrey Rybalchenko (TU Munich, Germany; University of California at San Diego, USA; Microsoft Research, USA; Microsoft Research, UK) @InProceedings{PLDI16p681, author = {Klaus v. Gleissenthall and Nikolaj Bjørner and Andrey Rybalchenko}, title = {Cardinalities and Universal Quantifiers for Verifying Parameterized Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {681-680}, doi = {}, year = {2016}, } Article: pldi16main-main319-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Golan-Gueta, Guy	PLDI '16: "Transactional Data Structure ..." Transactional Data Structure Libraries Alexander Spiegelman, Guy Golan-Gueta, and Idit Keidar (Technion, Israel; Yahoo Research, Israel) @InProceedings{PLDI16p766, author = {Alexander Spiegelman and Guy Golan-Gueta and Idit Keidar}, title = {Transactional Data Structure Libraries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {766-765}, doi = {}, year = {2016}, } Article: pldi16main-main167-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Greenberg, Michael	PLDI '16: "Temporal NetKAT ..." Temporal NetKAT Ryan Beckett, Michael Greenberg, and David Walker (Princeton University, USA; Pomona College, USA) @InProceedings{PLDI16p443, author = {Ryan Beckett and Michael Greenberg and David Walker}, title = {Temporal NetKAT}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {443-442}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main132-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Grossman, Dan	PLDI '16: "Verified Peephole Optimizations ..." Verified Peephole Optimizations for CompCert Eric Mullen, Daryl Zuniga, Zachary Tatlock, and Dan Grossman (University of Washington, USA) @InProceedings{PLDI16p511, author = {Eric Mullen and Daryl Zuniga and Zachary Tatlock and Dan Grossman}, title = {Verified Peephole Optimizations for CompCert}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {511-510}, doi = {}, year = {2016}, } Article: pldi16main-main150-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Gu, Ronghui	PLDI '16: "Toward Compositional Verification ..." Toward Compositional Verification of Interruptible OS Kernels and Device Drivers Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, and Ronghui Gu (Yale University, USA) @InProceedings{PLDI16p494, author = {Hao Chen and Xiongnan (Newman) Wu and Zhong Shao and Joshua Lockerman and Ronghui Gu}, title = {Toward Compositional Verification of Interruptible OS Kernels and Device Drivers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {494-493}, doi = {}, year = {2016}, } Article: pldi16main-main86-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi: PLDI '16: "End-to-End Verification of ..." End-to-End Verification of Information-Flow Security for C and Assembly Programs David Costanzo, Zhong Shao, and Ronghui Gu (Yale University, USA) @InProceedings{PLDI16p732, author = {David Costanzo and Zhong Shao and Ronghui Gu}, title = {End-to-End Verification of Information-Flow Security for C and Assembly Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {732-731}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main84-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Guerra, Gustavo	PLDI '16: "Types from Data: Making Structured ..." Types from Data: Making Structured Data First-Class Citizens in F# Tomas Petricek, Gustavo Guerra, and Don Syme (University of Cambridge, UK; Microsoft, UK; Microsoft Research, UK) @InProceedings{PLDI16p545, author = {Tomas Petricek and Gustavo Guerra and Don Syme}, title = {Types from Data: Making Structured Data First-Class Citizens in F#}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {545-544}, doi = {}, year = {2016}, } Article: pldi16main-main213-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Guha, Arjun	PLDI '16: "Rehearsal: A Configuration ..." Rehearsal: A Configuration Verification Tool for Puppet Rian Shambaugh, Aaron Weiss, and Arjun Guha (University of Massachusetts at Amherst, USA) @InProceedings{PLDI16p477, author = {Rian Shambaugh and Aaron Weiss and Arjun Guha}, title = {Rehearsal: A Configuration Verification Tool for Puppet}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {477-476}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main19-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Hance, Travis	PLDI '16: "Precise, Dynamic Information ..." Precise, Dynamic Information Flow for Database-Backed Applications Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, and Stephen Chong (Carnegie Mellon University, USA; Harvard Medical School, USA; Dropbox, USA; San Jose State University, USA; Massachusetts Institute of Technology, USA; University of California at Santa Cruz, USA; Harvard University, USA) @InProceedings{PLDI16p715, author = {Jean Yang and Travis Hance and Thomas H. Austin and Armando Solar-Lezama and Cormac Flanagan and Stephen Chong}, title = {Precise, Dynamic Information Flow for Database-Backed Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main82-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Hempel, Brian	PLDI '16: "Programmatic and Direct Manipulation, ..." Programmatic and Direct Manipulation, Together at Last Ravi Chugh, Brian Hempel, Mitchell Spradlin, and Jacob Albers (University of Chicago, USA) @InProceedings{PLDI16p392, author = {Ravi Chugh and Brian Hempel and Mitchell Spradlin and Jacob Albers}, title = {Programmatic and Direct Manipulation, Together at Last}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {392-391}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main95-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Heule, Stefan	PLDI '16: "Stratified Synthesis: Automatically ..." Stratified Synthesis: Automatically Learning the x86-64 Instruction Set Stefan Heule, Eric Schkufza, Rahul Sharma, and Alex Aiken (Stanford University, USA; VMware, USA) @InProceedings{PLDI16p273, author = {Stefan Heule and Eric Schkufza and Rahul Sharma and Alex Aiken}, title = {Stratified Synthesis: Automatically Learning the x86-64 Instruction Set}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {273-272}, doi = {}, year = {2016}, } Article: pldi16main-main260-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Hill, Parker	PLDI '16: "Input Responsiveness: Using ..." Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation Michael A. Laurenzano, Parker Hill, Mehrzad Samadi, Scott Mahlke, Jason Mars, and Lingjia Tang (University of Michigan, USA) @InProceedings{PLDI16p188, author = {Michael A. Laurenzano and Parker Hill and Mehrzad Samadi and Scott Mahlke and Jason Mars and Lingjia Tang}, title = {Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2016}, } Article: pldi16main-main39-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Hojjat, Hossein	PLDI '16: "Event-Driven Network Programming ..." Event-Driven Network Programming Jedidiah McClurg, Hossein Hojjat, Nate Foster, and Pavol Černý (University of Colorado at Boulder, USA; Cornell University, USA) @InProceedings{PLDI16p426, author = {Jedidiah McClurg and Hossein Hojjat and Nate Foster and Pavol Černý}, title = {Event-Driven Network Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {426-425}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main80-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Hollenbeck, Celeste	PLDI '16: "On the Complexity and Performance ..." On the Complexity and Performance of Parsing with Derivatives Michael D. Adams, Celeste Hollenbeck, and Matthew Might (University of Utah, USA) @InProceedings{PLDI16p256, author = {Michael D. Adams and Celeste Hollenbeck and Matthew Might}, title = {On the Complexity and Performance of Parsing with Derivatives}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {256-255}, doi = {}, year = {2016}, } Article: pldi16main-main317-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Hong, Changwan	PLDI '16: "Effective Padding of Multidimensional ..." Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, and P. Sadayappan (Ohio State University, USA; Inria, France; ENS, France; Pacific Northwest National Laboratory, USA; Louisiana State University, USA) @InProceedings{PLDI16p154, author = {Changwan Hong and Wenlei Bao and Albert Cohen and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and J. Ramanujam and P. Sadayappan}, title = {Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {}, year = {2016}, } Article: pldi16main-main269-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Hu, Shiliang	PLDI '16: "Remix: Online Detection and ..." Remix: Online Detection and Repair of Cache Contention for the JVM Ariel Eizenberg, Shiliang Hu, Gilles Pokam, and Joseph Devietti (University of Pennsylvania, USA; Intel, USA) @InProceedings{PLDI16p290, author = {Ariel Eizenberg and Shiliang Hu and Gilles Pokam and Joseph Devietti}, title = {Remix: Online Detection and Repair of Cache Contention for the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {290-289}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main47-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Itzhaky, Shachar	PLDI '16: "Verified Lifting of Stencil ..." Verified Lifting of Stencil Computations Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, and Armando Solar-Lezama (Adobe, USA; University of Washington, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI16p800, author = {Shoaib Kamil and Alvin Cheung and Shachar Itzhaky and Armando Solar-Lezama}, title = {Verified Lifting of Stencil Computations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {800-799}, doi = {}, year = {2016}, } Article: pldi16main-main227-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Jacek, Nicholas	PLDI '16: "Assessing the Limits of Program-Specific ..." Assessing the Limits of Program-Specific Garbage Collection Performance Nicholas Jacek, Meng-Chieh Chiu, Benjamin Marlin, and Eliot Moss (University of Massachusetts at Amherst, USA) @InProceedings{PLDI16p664, author = {Nicholas Jacek and Meng-Chieh Chiu and Benjamin Marlin and Eliot Moss}, title = {Assessing the Limits of Program-Specific Garbage Collection Performance}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {664-663}, doi = {}, year = {2016}, } Article: pldi16main-main246-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Jagannathan, Suresh	PLDI '16: "Automatically Learning Shape ..." Automatically Learning Shape Specifications He Zhu, Gustavo Petri, and Suresh Jagannathan (Purdue University, USA; University of Paris Diderot, France) @InProceedings{PLDI16p562, author = {He Zhu and Gustavo Petri and Suresh Jagannathan}, title = {Automatically Learning Shape Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {562-561}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main291-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Jhala, Ranjit	PLDI '16: "Refinement Types for TypeScript ..." Refinement Types for TypeScript Panagiotis Vekris, Benjamin Cosman, and Ranjit Jhala (University of California at San Diego, USA) @InProceedings{PLDI16p358, author = {Panagiotis Vekris and Benjamin Cosman and Ranjit Jhala}, title = {Refinement Types for TypeScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {358-357}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main161-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Jo, Gangwon	PLDI '16: "A Distributed OpenCL Framework ..." A Distributed OpenCL Framework using Redundant Computation and Data Replication Junghyun Kim, Gangwon Jo, Jaehoon Jung, Jungwon Kim, and Jaejin Lee (Seoul National University, South Korea) @InProceedings{PLDI16p630, author = {Junghyun Kim and Gangwon Jo and Jaehoon Jung and Jungwon Kim and Jaejin Lee}, title = {A Distributed OpenCL Framework using Redundant Computation and Data Replication}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {630-629}, doi = {}, year = {2016}, } Article: pldi16main-main72-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Jung, Jaehoon	PLDI '16: "A Distributed OpenCL Framework ..." A Distributed OpenCL Framework using Redundant Computation and Data Replication Junghyun Kim, Gangwon Jo, Jaehoon Jung, Jungwon Kim, and Jaejin Lee (Seoul National University, South Korea) @InProceedings{PLDI16p630, author = {Junghyun Kim and Gangwon Jo and Jaehoon Jung and Jungwon Kim and Jaejin Lee}, title = {A Distributed OpenCL Framework using Redundant Computation and Data Replication}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {630-629}, doi = {}, year = {2016}, } Article: pldi16main-main72-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Kamil, Shoaib	PLDI '16: "Verified Lifting of Stencil ..." Verified Lifting of Stencil Computations Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, and Armando Solar-Lezama (Adobe, USA; University of Washington, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI16p800, author = {Shoaib Kamil and Alvin Cheung and Shachar Itzhaky and Armando Solar-Lezama}, title = {Verified Lifting of Stencil Computations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {800-799}, doi = {}, year = {2016}, } Article: pldi16main-main227-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Keidar, Idit	PLDI '16: "Transactional Data Structure ..." Transactional Data Structure Libraries Alexander Spiegelman, Guy Golan-Gueta, and Idit Keidar (Technion, Israel; Yahoo Research, Israel) @InProceedings{PLDI16p766, author = {Alexander Spiegelman and Guy Golan-Gueta and Idit Keidar}, title = {Transactional Data Structure Libraries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {766-765}, doi = {}, year = {2016}, } Article: pldi16main-main167-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Kempe, David	PLDI '16: "Occurrence Typing Modulo Theories ..." Occurrence Typing Modulo Theories Andrew M. Kent, David Kempe, and Sam Tobin-Hochstadt (Indiana University, USA) @InProceedings{PLDI16p341, author = {Andrew M. Kent and David Kempe and Sam Tobin-Hochstadt}, title = {Occurrence Typing Modulo Theories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main56-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Kent, Andrew M.	PLDI '16: "Occurrence Typing Modulo Theories ..." Occurrence Typing Modulo Theories Andrew M. Kent, David Kempe, and Sam Tobin-Hochstadt (Indiana University, USA) @InProceedings{PLDI16p341, author = {Andrew M. Kent and David Kempe and Sam Tobin-Hochstadt}, title = {Occurrence Typing Modulo Theories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main56-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Kim, Junghyun	PLDI '16: "A Distributed OpenCL Framework ..." A Distributed OpenCL Framework using Redundant Computation and Data Replication Junghyun Kim, Gangwon Jo, Jaehoon Jung, Jungwon Kim, and Jaejin Lee (Seoul National University, South Korea) @InProceedings{PLDI16p630, author = {Junghyun Kim and Gangwon Jo and Jaehoon Jung and Jungwon Kim and Jaejin Lee}, title = {A Distributed OpenCL Framework using Redundant Computation and Data Replication}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {630-629}, doi = {}, year = {2016}, } Article: pldi16main-main72-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Kim, Jungwon	PLDI '16: "A Distributed OpenCL Framework ..." A Distributed OpenCL Framework using Redundant Computation and Data Replication Junghyun Kim, Gangwon Jo, Jaehoon Jung, Jungwon Kim, and Jaejin Lee (Seoul National University, South Korea) @InProceedings{PLDI16p630, author = {Junghyun Kim and Gangwon Jo and Jaehoon Jung and Jungwon Kim and Jaejin Lee}, title = {A Distributed OpenCL Framework using Redundant Computation and Data Replication}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {630-629}, doi = {}, year = {2016}, } Article: pldi16main-main72-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Klinger, Christian	PLDI '16: "Synthesizing Transformations ..." Synthesizing Transformations on Hierarchically Structured Data Navid Yaghmazadeh, Christian Klinger, Isil Dillig, and Swarat Chaudhuri (University of Texas at Austin, USA; University of Freiburg, Germany; Rice University, USA) @InProceedings{PLDI16p579, author = {Navid Yaghmazadeh and Christian Klinger and Isil Dillig and Swarat Chaudhuri}, title = {Synthesizing Transformations on Hierarchically Structured Data}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {579-578}, doi = {}, year = {2016}, } Article: pldi16main-main40-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Krishnamoorthy, Sriram	PLDI '16: "Effective Padding of Multidimensional ..." Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, and P. Sadayappan (Ohio State University, USA; Inria, France; ENS, France; Pacific Northwest National Laboratory, USA; Louisiana State University, USA) @InProceedings{PLDI16p154, author = {Changwan Hong and Wenlei Bao and Albert Cohen and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and J. Ramanujam and P. Sadayappan}, title = {Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {}, year = {2016}, } Article: pldi16main-main269-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Kuraj, Ivan	PLDI '16: "Program Synthesis from Polymorphic ..." Program Synthesis from Polymorphic Refinement Types Nadia Polikarpova, Ivan Kuraj, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA) @InProceedings{PLDI16p596, author = {Nadia Polikarpova and Ivan Kuraj and Armando Solar-Lezama}, title = {Program Synthesis from Polymorphic Refinement Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {596-595}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main64-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Lal, Akash	PLDI '16: "A Design and Verification ..." A Design and Verification Methodology for Secure Isolated Regions Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram Rajamani, Sanjit A. Seshia, and Kapil Vaswani (University of California at Berkeley, USA; Microsoft Research, UK; Microsoft Research, India) @InProceedings{PLDI16p749, author = {Rohit Sinha and Manuel Costa and Akash Lal and Nuno P. Lopes and Sriram Rajamani and Sanjit A. Seshia and Kapil Vaswani}, title = {A Design and Verification Methodology for Secure Isolated Regions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main168-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Laurenzano, Michael A.	PLDI '16: "Input Responsiveness: Using ..." Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation Michael A. Laurenzano, Parker Hill, Mehrzad Samadi, Scott Mahlke, Jason Mars, and Lingjia Tang (University of Michigan, USA) @InProceedings{PLDI16p188, author = {Michael A. Laurenzano and Parker Hill and Mehrzad Samadi and Scott Mahlke and Jason Mars and Lingjia Tang}, title = {Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2016}, } Article: pldi16main-main39-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Lee, Jaejin	PLDI '16: "A Distributed OpenCL Framework ..." A Distributed OpenCL Framework using Redundant Computation and Data Replication Junghyun Kim, Gangwon Jo, Jaehoon Jung, Jungwon Kim, and Jaejin Lee (Seoul National University, South Korea) @InProceedings{PLDI16p630, author = {Junghyun Kim and Gangwon Jo and Jaehoon Jung and Jungwon Kim and Jaejin Lee}, title = {A Distributed OpenCL Framework using Redundant Computation and Data Replication}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {630-629}, doi = {}, year = {2016}, } Article: pldi16main-main72-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Lee, Wonyeol	PLDI '16: "Verifying Bit-Manipulations ..." Verifying Bit-Manipulations of Floating-Point Wonyeol Lee, Rahul Sharma, and Alex Aiken (Stanford University, USA) @InProceedings{PLDI16p86, author = {Wonyeol Lee and Rahul Sharma and Alex Aiken}, title = {Verifying Bit-Manipulations of Floating-Point}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {86-85}, doi = {}, year = {2016}, } Article: pldi16main-main123-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Lhoták, Ondřej	PLDI '16: "From Datalog to Flix: A Declarative ..." From Datalog to Flix: A Declarative Language for Fixed Points on Lattices Magnus Madsen, Ming-Ho Yee, and Ondřej Lhoták (University of Waterloo, Canada) @InProceedings{PLDI16p222, author = {Magnus Madsen and Ming-Ho Yee and Ondřej Lhoták}, title = {From Datalog to Flix: A Declarative Language for Fixed Points on Lattices}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {222-221}, doi = {}, year = {2016}, } Article: pldi16main-main79-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Lingard, James	PLDI '16: "Into the Depths of C: Elaborating ..." Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, and Peter Sewell (University of Cambridge, UK) @InProceedings{PLDI16p1, author = {Kayvan Memarian and Justus Matthiesen and James Lingard and Kyndylan Nienhuis and David Chisnall and Robert N. M. Watson and Peter Sewell}, title = {Into the Depths of C: Elaborating the De Facto Standards}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: pldi16main-main2-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Liskov, Barbara	PLDI '16: "Accepting Blame for Safe Tunneled ..." Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, and Andrew C. Myers (Cornell University, USA; TU Darmstadt, Germany; Massachusetts Institute of Technology, USA) @InProceedings{PLDI16p324, author = {Yizhou Zhang and Guido Salvaneschi and Quinn Beightol and Barbara Liskov and Andrew C. Myers}, title = {Accepting Blame for Safe Tunneled Exceptions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {324-323}, doi = {}, year = {2016}, } Article: pldi16main-main33-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Liu, Hai	PLDI '16: "Latte: A Language, Compiler, ..." Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Leonard Truong, Rajkishore Barik, Ehsan Totoni, Hai Liu, Chick Markley, Armando Fox, and Tatiana Shpeisman (Intel Labs, USA; University of California at Berkeley, USA) @InProceedings{PLDI16p239, author = {Leonard Truong and Rajkishore Barik and Ehsan Totoni and Hai Liu and Chick Markley and Armando Fox and Tatiana Shpeisman}, title = {Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {239-238}, doi = {}, year = {2016}, } Article: pldi16main-main111-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Lockerman, Joshua	PLDI '16: "Toward Compositional Verification ..." Toward Compositional Verification of Interruptible OS Kernels and Device Drivers Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, and Ronghui Gu (Yale University, USA) @InProceedings{PLDI16p494, author = {Hao Chen and Xiongnan (Newman) Wu and Zhong Shao and Joshua Lockerman and Ronghui Gu}, title = {Toward Compositional Verification of Interruptible OS Kernels and Device Drivers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {494-493}, doi = {}, year = {2016}, } Article: pldi16main-main86-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Loginov, Alexey	PLDI '16: "Polymorphic Type Inference ..." Polymorphic Type Inference for Machine Code Matt Noonan, Alexey Loginov, and David Cok (GrammaTech, USA) @InProceedings{PLDI16p35, author = {Matt Noonan and Alexey Loginov and David Cok}, title = {Polymorphic Type Inference for Machine Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {35-34}, doi = {}, year = {2016}, } Article: pldi16main-main241-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Loncaric, Calvin	PLDI '16: "Fast Synthesis of Fast Collections ..." Fast Synthesis of Fast Collections Calvin Loncaric, Emina Torlak, and Michael D. Ernst (University of Washington, USA) @InProceedings{PLDI16p409, author = {Calvin Loncaric and Emina Torlak and Michael D. Ernst}, title = {Fast Synthesis of Fast Collections}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {409-408}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main261-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Lopes, Nuno P.	PLDI '16: "A Design and Verification ..." A Design and Verification Methodology for Secure Isolated Regions Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram Rajamani, Sanjit A. Seshia, and Kapil Vaswani (University of California at Berkeley, USA; Microsoft Research, UK; Microsoft Research, India) @InProceedings{PLDI16p749, author = {Rohit Sinha and Manuel Costa and Akash Lal and Nuno P. Lopes and Sriram Rajamani and Sanjit A. Seshia and Kapil Vaswani}, title = {A Design and Verification Methodology for Secure Isolated Regions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main168-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Madsen, Magnus	PLDI '16: "From Datalog to Flix: A Declarative ..." From Datalog to Flix: A Declarative Language for Fixed Points on Lattices Magnus Madsen, Ming-Ho Yee, and Ondřej Lhoták (University of Waterloo, Canada) @InProceedings{PLDI16p222, author = {Magnus Madsen and Ming-Ho Yee and Ondřej Lhoták}, title = {From Datalog to Flix: A Declarative Language for Fixed Points on Lattices}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {222-221}, doi = {}, year = {2016}, } Article: pldi16main-main79-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Mahlke, Scott	PLDI '16: "Input Responsiveness: Using ..." Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation Michael A. Laurenzano, Parker Hill, Mehrzad Samadi, Scott Mahlke, Jason Mars, and Lingjia Tang (University of Michigan, USA) @InProceedings{PLDI16p188, author = {Michael A. Laurenzano and Parker Hill and Mehrzad Samadi and Scott Mahlke and Jason Mars and Lingjia Tang}, title = {Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2016}, } Article: pldi16main-main39-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Maleki, Sepideh	PLDI '16: "Higher-Order and Tuple-Based ..." Higher-Order and Tuple-Based Massively-Parallel Prefix Sums Sepideh Maleki, Annie Yang, and Martin Burtscher (Texas State University, USA) @InProceedings{PLDI16p613, author = {Sepideh Maleki and Annie Yang and Martin Burtscher}, title = {Higher-Order and Tuple-Based Massively-Parallel Prefix Sums}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {613-612}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main42-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Markley, Chick	PLDI '16: "Latte: A Language, Compiler, ..." Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Leonard Truong, Rajkishore Barik, Ehsan Totoni, Hai Liu, Chick Markley, Armando Fox, and Tatiana Shpeisman (Intel Labs, USA; University of California at Berkeley, USA) @InProceedings{PLDI16p239, author = {Leonard Truong and Rajkishore Barik and Ehsan Totoni and Hai Liu and Chick Markley and Armando Fox and Tatiana Shpeisman}, title = {Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {239-238}, doi = {}, year = {2016}, } Article: pldi16main-main111-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Marlin, Benjamin	PLDI '16: "Assessing the Limits of Program-Specific ..." Assessing the Limits of Program-Specific Garbage Collection Performance Nicholas Jacek, Meng-Chieh Chiu, Benjamin Marlin, and Eliot Moss (University of Massachusetts at Amherst, USA) @InProceedings{PLDI16p664, author = {Nicholas Jacek and Meng-Chieh Chiu and Benjamin Marlin and Eliot Moss}, title = {Assessing the Limits of Program-Specific Garbage Collection Performance}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {664-663}, doi = {}, year = {2016}, } Article: pldi16main-main246-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Mars, Jason	PLDI '16: "Input Responsiveness: Using ..." Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation Michael A. Laurenzano, Parker Hill, Mehrzad Samadi, Scott Mahlke, Jason Mars, and Lingjia Tang (University of Michigan, USA) @InProceedings{PLDI16p188, author = {Michael A. Laurenzano and Parker Hill and Mehrzad Samadi and Scott Mahlke and Jason Mars and Lingjia Tang}, title = {Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2016}, } Article: pldi16main-main39-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Matthiesen, Justus	PLDI '16: "Into the Depths of C: Elaborating ..." Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, and Peter Sewell (University of Cambridge, UK) @InProceedings{PLDI16p1, author = {Kayvan Memarian and Justus Matthiesen and James Lingard and Kyndylan Nienhuis and David Chisnall and Robert N. M. Watson and Peter Sewell}, title = {Into the Depths of C: Elaborating the De Facto Standards}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: pldi16main-main2-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	McClurg, Jedidiah	PLDI '16: "Event-Driven Network Programming ..." Event-Driven Network Programming Jedidiah McClurg, Hossein Hojjat, Nate Foster, and Pavol Černý (University of Colorado at Boulder, USA; Cornell University, USA) @InProceedings{PLDI16p426, author = {Jedidiah McClurg and Hossein Hojjat and Nate Foster and Pavol Černý}, title = {Event-Driven Network Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {426-425}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main80-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	McIlroy, Ross	PLDI '16: "Idle Time Garbage Collection ..." Idle Time Garbage Collection Scheduling Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, and Hannes Payer (Google, Germany; Google, USA; Google, UK) @InProceedings{PLDI16p647, author = {Ulan Degenbaev and Jochen Eisinger and Manfred Ernst and Ross McIlroy and Hannes Payer}, title = {Idle Time Garbage Collection Scheduling}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main114-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	McMillan, Kenneth L.	PLDI '16: "Ivy: Safety Verification by ..." Ivy: Safety Verification by Interactive Generalization Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, and Sharon Shoham (Tel Aviv University, Israel; Microsoft Research, USA; University of California at Berkeley, USA) @InProceedings{PLDI16p698, author = {Oded Padon and Kenneth L. McMillan and Aurojit Panda and Mooly Sagiv and Sharon Shoham}, title = {Ivy: Safety Verification by Interactive Generalization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {698-697}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main228-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Memarian, Kayvan	PLDI '16: "Into the Depths of C: Elaborating ..." Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, and Peter Sewell (University of Cambridge, UK) @InProceedings{PLDI16p1, author = {Kayvan Memarian and Justus Matthiesen and James Lingard and Kyndylan Nienhuis and David Chisnall and Robert N. M. Watson and Peter Sewell}, title = {Into the Depths of C: Elaborating the De Facto Standards}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: pldi16main-main2-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Might, Matthew	PLDI '16: "On the Complexity and Performance ..." On the Complexity and Performance of Parsing with Derivatives Michael D. Adams, Celeste Hollenbeck, and Matthew Might (University of Utah, USA) @InProceedings{PLDI16p256, author = {Michael D. Adams and Celeste Hollenbeck and Matthew Might}, title = {On the Complexity and Performance of Parsing with Derivatives}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {256-255}, doi = {}, year = {2016}, } Article: pldi16main-main317-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Millstein, Todd	PLDI '16: "Data-Driven Precondition Inference ..." Data-Driven Precondition Inference with Learned Features Saswat Padhi, Rahul Sharma, and Todd Millstein (University of California at Los Angeles, USA; Stanford University, USA) @InProceedings{PLDI16p52, author = {Saswat Padhi and Rahul Sharma and Todd Millstein}, title = {Data-Driven Precondition Inference with Learned Features}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {52-51}, doi = {}, year = {2016}, } Article: pldi16main-main83-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Miserez, Jeremie	PLDI '16: "SDNRacer: Concurrency Analysis ..." SDNRacer: Concurrency Analysis for Software-Defined Networks Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI16p460, author = {Ahmed El-Hassany and Jeremie Miserez and Pavol Bielik and Laurent Vanbever and Martin Vechev}, title = {SDNRacer: Concurrency Analysis for Software-Defined Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {460-459}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main274-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Moss, Eliot	PLDI '16: "Assessing the Limits of Program-Specific ..." Assessing the Limits of Program-Specific Garbage Collection Performance Nicholas Jacek, Meng-Chieh Chiu, Benjamin Marlin, and Eliot Moss (University of Massachusetts at Amherst, USA) @InProceedings{PLDI16p664, author = {Nicholas Jacek and Meng-Chieh Chiu and Benjamin Marlin and Eliot Moss}, title = {Assessing the Limits of Program-Specific Garbage Collection Performance}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {664-663}, doi = {}, year = {2016}, } Article: pldi16main-main246-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Mullen, Eric	PLDI '16: "Verified Peephole Optimizations ..." Verified Peephole Optimizations for CompCert Eric Mullen, Daryl Zuniga, Zachary Tatlock, and Dan Grossman (University of Washington, USA) @InProceedings{PLDI16p511, author = {Eric Mullen and Daryl Zuniga and Zachary Tatlock and Dan Grossman}, title = {Verified Peephole Optimizations for CompCert}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {511-510}, doi = {}, year = {2016}, } Article: pldi16main-main150-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Myers, Andrew C.	PLDI '16: "Accepting Blame for Safe Tunneled ..." Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, and Andrew C. Myers (Cornell University, USA; TU Darmstadt, Germany; Massachusetts Institute of Technology, USA) @InProceedings{PLDI16p324, author = {Yizhou Zhang and Guido Salvaneschi and Quinn Beightol and Barbara Liskov and Andrew C. Myers}, title = {Accepting Blame for Safe Tunneled Exceptions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {324-323}, doi = {}, year = {2016}, } Article: pldi16main-main33-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Newton, Ryan R.	PLDI '16: "Living on the Edge: Rapid-Toggling ..." Living on the Edge: Rapid-Toggling Probes with Cross-Modification on x86 Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, and Ryan R. Newton (Indiana University, USA) @InProceedings{PLDI16p18, author = {Buddhika Chamith and Bo Joel Svensson and Luke Dalessandro and Ryan R. Newton}, title = {Living on the Edge: Rapid-Toggling Probes with Cross-Modification on x86}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {18-17}, doi = {}, year = {2016}, } Article: pldi16main-main21-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Nienhuis, Kyndylan	PLDI '16: "Into the Depths of C: Elaborating ..." Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, and Peter Sewell (University of Cambridge, UK) @InProceedings{PLDI16p1, author = {Kayvan Memarian and Justus Matthiesen and James Lingard and Kyndylan Nienhuis and David Chisnall and Robert N. M. Watson and Peter Sewell}, title = {Into the Depths of C: Elaborating the De Facto Standards}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: pldi16main-main2-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Noonan, Matt	PLDI '16: "Polymorphic Type Inference ..." Polymorphic Type Inference for Machine Code Matt Noonan, Alexey Loginov, and David Cok (GrammaTech, USA) @InProceedings{PLDI16p35, author = {Matt Noonan and Alexey Loginov and David Cok}, title = {Polymorphic Type Inference for Machine Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {35-34}, doi = {}, year = {2016}, } Article: pldi16main-main241-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Padhi, Saswat	PLDI '16: "Data-Driven Precondition Inference ..." Data-Driven Precondition Inference with Learned Features Saswat Padhi, Rahul Sharma, and Todd Millstein (University of California at Los Angeles, USA; Stanford University, USA) @InProceedings{PLDI16p52, author = {Saswat Padhi and Rahul Sharma and Todd Millstein}, title = {Data-Driven Precondition Inference with Learned Features}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {52-51}, doi = {}, year = {2016}, } Article: pldi16main-main83-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Padon, Oded	PLDI '16: "Ivy: Safety Verification by ..." Ivy: Safety Verification by Interactive Generalization Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, and Sharon Shoham (Tel Aviv University, Israel; Microsoft Research, USA; University of California at Berkeley, USA) @InProceedings{PLDI16p698, author = {Oded Padon and Kenneth L. McMillan and Aurojit Panda and Mooly Sagiv and Sharon Shoham}, title = {Ivy: Safety Verification by Interactive Generalization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {698-697}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main228-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Panda, Aurojit	PLDI '16: "Ivy: Safety Verification by ..." Ivy: Safety Verification by Interactive Generalization Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, and Sharon Shoham (Tel Aviv University, Israel; Microsoft Research, USA; University of California at Berkeley, USA) @InProceedings{PLDI16p698, author = {Oded Padon and Kenneth L. McMillan and Aurojit Panda and Mooly Sagiv and Sharon Shoham}, title = {Ivy: Safety Verification by Interactive Generalization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {698-697}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main228-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Partush, Nimrod	PLDI '16: "Statistical Similarity of ..." Statistical Similarity of Binaries Yaniv David, Nimrod Partush, and Eran Yahav (Technion, Israel) @InProceedings{PLDI16p307, author = {Yaniv David and Nimrod Partush and Eran Yahav}, title = {Statistical Similarity of Binaries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {307-306}, doi = {}, year = {2016}, } Article: pldi16main-main297-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Payer, Hannes	PLDI '16: "Idle Time Garbage Collection ..." Idle Time Garbage Collection Scheduling Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, and Hannes Payer (Google, Germany; Google, USA; Google, UK) @InProceedings{PLDI16p647, author = {Ulan Degenbaev and Jochen Eisinger and Manfred Ernst and Ross McIlroy and Hannes Payer}, title = {Idle Time Garbage Collection Scheduling}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main114-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Petri, Gustavo	PLDI '16: "Automatically Learning Shape ..." Automatically Learning Shape Specifications He Zhu, Gustavo Petri, and Suresh Jagannathan (Purdue University, USA; University of Paris Diderot, France) @InProceedings{PLDI16p562, author = {He Zhu and Gustavo Petri and Suresh Jagannathan}, title = {Automatically Learning Shape Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {562-561}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main291-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Petricek, Tomas	PLDI '16: "Types from Data: Making Structured ..." Types from Data: Making Structured Data First-Class Citizens in F# Tomas Petricek, Gustavo Guerra, and Don Syme (University of Cambridge, UK; Microsoft, UK; Microsoft Research, UK) @InProceedings{PLDI16p545, author = {Tomas Petricek and Gustavo Guerra and Don Syme}, title = {Types from Data: Making Structured Data First-Class Citizens in F#}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {545-544}, doi = {}, year = {2016}, } Article: pldi16main-main213-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Pokam, Gilles	PLDI '16: "Remix: Online Detection and ..." Remix: Online Detection and Repair of Cache Contention for the JVM Ariel Eizenberg, Shiliang Hu, Gilles Pokam, and Joseph Devietti (University of Pennsylvania, USA; Intel, USA) @InProceedings{PLDI16p290, author = {Ariel Eizenberg and Shiliang Hu and Gilles Pokam and Joseph Devietti}, title = {Remix: Online Detection and Repair of Cache Contention for the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {290-289}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main47-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Polikarpova, Nadia	PLDI '16: "Program Synthesis from Polymorphic ..." Program Synthesis from Polymorphic Refinement Types Nadia Polikarpova, Ivan Kuraj, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA) @InProceedings{PLDI16p596, author = {Nadia Polikarpova and Ivan Kuraj and Armando Solar-Lezama}, title = {Program Synthesis from Polymorphic Refinement Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {596-595}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main64-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Pouchet, Louis-Noël	PLDI '16: "Effective Padding of Multidimensional ..." Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, and P. Sadayappan (Ohio State University, USA; Inria, France; ENS, France; Pacific Northwest National Laboratory, USA; Louisiana State University, USA) @InProceedings{PLDI16p154, author = {Changwan Hong and Wenlei Bao and Albert Cohen and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and J. Ramanujam and P. Sadayappan}, title = {Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {}, year = {2016}, } Article: pldi16main-main269-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Rajamani, Sriram	PLDI '16: "A Design and Verification ..." A Design and Verification Methodology for Secure Isolated Regions Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram Rajamani, Sanjit A. Seshia, and Kapil Vaswani (University of California at Berkeley, USA; Microsoft Research, UK; Microsoft Research, India) @InProceedings{PLDI16p749, author = {Rohit Sinha and Manuel Costa and Akash Lal and Nuno P. Lopes and Sriram Rajamani and Sanjit A. Seshia and Kapil Vaswani}, title = {A Design and Verification Methodology for Secure Isolated Regions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main168-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Ramanujam, J.	PLDI '16: "Effective Padding of Multidimensional ..." Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, and P. Sadayappan (Ohio State University, USA; Inria, France; ENS, France; Pacific Northwest National Laboratory, USA; Louisiana State University, USA) @InProceedings{PLDI16p154, author = {Changwan Hong and Wenlei Bao and Albert Cohen and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and J. Ramanujam and P. Sadayappan}, title = {Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {}, year = {2016}, } Article: pldi16main-main269-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Rastello, Fabrice	PLDI '16: "Effective Padding of Multidimensional ..." Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, and P. Sadayappan (Ohio State University, USA; Inria, France; ENS, France; Pacific Northwest National Laboratory, USA; Louisiana State University, USA) @InProceedings{PLDI16p154, author = {Changwan Hong and Wenlei Bao and Albert Cohen and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and J. Ramanujam and P. Sadayappan}, title = {Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {}, year = {2016}, } Article: pldi16main-main269-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Reddi, Vijay Janapa	PLDI '16: "GreenWeb: Language Extensions ..." GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing Yuhao Zhu and Vijay Janapa Reddi (University of Texas at Austin, USA) @InProceedings{PLDI16p171, author = {Yuhao Zhu and Vijay Janapa Reddi}, title = {GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {171-170}, doi = {}, year = {2016}, } Article: pldi16main-main5-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Ren, Brianna M.	PLDI '16: "Just-in-Time Static Type Checking ..." Just-in-Time Static Type Checking for Dynamic Languages Brianna M. Ren and Jeffrey S. Foster (University of Maryland at College Park, USA) @InProceedings{PLDI16p528, author = {Brianna M. Ren and Jeffrey S. Foster}, title = {Just-in-Time Static Type Checking for Dynamic Languages}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {528-527}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main306-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Rinard, Martin C.	PLDI '16: "Configuration Synthesis for ..." Configuration Synthesis for Programmable Analog Devices with Arco Sara Achour, Rahul Sarpeshkar, and Martin C. Rinard (Massachusetts Institute of Technology, USA; Dartmouth College, USA) @InProceedings{PLDI16p205, author = {Sara Achour and Rahul Sarpeshkar and Martin C. Rinard}, title = {Configuration Synthesis for Programmable Analog Devices with Arco}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {205-204}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main221-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Rybalchenko, Andrey	PLDI '16: "Cardinalities and Universal ..." Cardinalities and Universal Quantifiers for Verifying Parameterized Systems Klaus v. Gleissenthall, Nikolaj Bjørner, and Andrey Rybalchenko (TU Munich, Germany; University of California at San Diego, USA; Microsoft Research, USA; Microsoft Research, UK) @InProceedings{PLDI16p681, author = {Klaus v. Gleissenthall and Nikolaj Bjørner and Andrey Rybalchenko}, title = {Cardinalities and Universal Quantifiers for Verifying Parameterized Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {681-680}, doi = {}, year = {2016}, } Article: pldi16main-main319-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Sadayappan, P.	PLDI '16: "Effective Padding of Multidimensional ..." Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, and P. Sadayappan (Ohio State University, USA; Inria, France; ENS, France; Pacific Northwest National Laboratory, USA; Louisiana State University, USA) @InProceedings{PLDI16p154, author = {Changwan Hong and Wenlei Bao and Albert Cohen and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and J. Ramanujam and P. Sadayappan}, title = {Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {}, year = {2016}, } Article: pldi16main-main269-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Sagiv, Mooly	PLDI '16: "Ivy: Safety Verification by ..." Ivy: Safety Verification by Interactive Generalization Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, and Sharon Shoham (Tel Aviv University, Israel; Microsoft Research, USA; University of California at Berkeley, USA) @InProceedings{PLDI16p698, author = {Oded Padon and Kenneth L. McMillan and Aurojit Panda and Mooly Sagiv and Sharon Shoham}, title = {Ivy: Safety Verification by Interactive Generalization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {698-697}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main228-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Salvaneschi, Guido	PLDI '16: "Accepting Blame for Safe Tunneled ..." Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, and Andrew C. Myers (Cornell University, USA; TU Darmstadt, Germany; Massachusetts Institute of Technology, USA) @InProceedings{PLDI16p324, author = {Yizhou Zhang and Guido Salvaneschi and Quinn Beightol and Barbara Liskov and Andrew C. Myers}, title = {Accepting Blame for Safe Tunneled Exceptions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {324-323}, doi = {}, year = {2016}, } Article: pldi16main-main33-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Samadi, Mehrzad	PLDI '16: "Input Responsiveness: Using ..." Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation Michael A. Laurenzano, Parker Hill, Mehrzad Samadi, Scott Mahlke, Jason Mars, and Lingjia Tang (University of Michigan, USA) @InProceedings{PLDI16p188, author = {Michael A. Laurenzano and Parker Hill and Mehrzad Samadi and Scott Mahlke and Jason Mars and Lingjia Tang}, title = {Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2016}, } Article: pldi16main-main39-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Sarpeshkar, Rahul	PLDI '16: "Configuration Synthesis for ..." Configuration Synthesis for Programmable Analog Devices with Arco Sara Achour, Rahul Sarpeshkar, and Martin C. Rinard (Massachusetts Institute of Technology, USA; Dartmouth College, USA) @InProceedings{PLDI16p205, author = {Sara Achour and Rahul Sarpeshkar and Martin C. Rinard}, title = {Configuration Synthesis for Programmable Analog Devices with Arco}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {205-204}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main221-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Schkufza, Eric	PLDI '16: "Stratified Synthesis: Automatically ..." Stratified Synthesis: Automatically Learning the x86-64 Instruction Set Stefan Heule, Eric Schkufza, Rahul Sharma, and Alex Aiken (Stanford University, USA; VMware, USA) @InProceedings{PLDI16p273, author = {Stefan Heule and Eric Schkufza and Rahul Sharma and Alex Aiken}, title = {Stratified Synthesis: Automatically Learning the x86-64 Instruction Set}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {273-272}, doi = {}, year = {2016}, } Article: pldi16main-main260-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Seshia, Sanjit A.	PLDI '16: "A Design and Verification ..." A Design and Verification Methodology for Secure Isolated Regions Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram Rajamani, Sanjit A. Seshia, and Kapil Vaswani (University of California at Berkeley, USA; Microsoft Research, UK; Microsoft Research, India) @InProceedings{PLDI16p749, author = {Rohit Sinha and Manuel Costa and Akash Lal and Nuno P. Lopes and Sriram Rajamani and Sanjit A. Seshia and Kapil Vaswani}, title = {A Design and Verification Methodology for Secure Isolated Regions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main168-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Sewell, Peter	PLDI '16: "Into the Depths of C: Elaborating ..." Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, and Peter Sewell (University of Cambridge, UK) @InProceedings{PLDI16p1, author = {Kayvan Memarian and Justus Matthiesen and James Lingard and Kyndylan Nienhuis and David Chisnall and Robert N. M. Watson and Peter Sewell}, title = {Into the Depths of C: Elaborating the De Facto Standards}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: pldi16main-main2-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Shambaugh, Rian	PLDI '16: "Rehearsal: A Configuration ..." Rehearsal: A Configuration Verification Tool for Puppet Rian Shambaugh, Aaron Weiss, and Arjun Guha (University of Massachusetts at Amherst, USA) @InProceedings{PLDI16p477, author = {Rian Shambaugh and Aaron Weiss and Arjun Guha}, title = {Rehearsal: A Configuration Verification Tool for Puppet}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {477-476}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main19-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Shao, Zhong	PLDI '16: "Toward Compositional Verification ..." Toward Compositional Verification of Interruptible OS Kernels and Device Drivers Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, and Ronghui Gu (Yale University, USA) @InProceedings{PLDI16p494, author = {Hao Chen and Xiongnan (Newman) Wu and Zhong Shao and Joshua Lockerman and Ronghui Gu}, title = {Toward Compositional Verification of Interruptible OS Kernels and Device Drivers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {494-493}, doi = {}, year = {2016}, } Article: pldi16main-main86-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi: PLDI '16: "End-to-End Verification of ..." End-to-End Verification of Information-Flow Security for C and Assembly Programs David Costanzo, Zhong Shao, and Ronghui Gu (Yale University, USA) @InProceedings{PLDI16p732, author = {David Costanzo and Zhong Shao and Ronghui Gu}, title = {End-to-End Verification of Information-Flow Security for C and Assembly Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {732-731}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main84-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Sharma, Rahul	PLDI '16: "Stratified Synthesis: Automatically ..." Stratified Synthesis: Automatically Learning the x86-64 Instruction Set Stefan Heule, Eric Schkufza, Rahul Sharma, and Alex Aiken (Stanford University, USA; VMware, USA) @InProceedings{PLDI16p273, author = {Stefan Heule and Eric Schkufza and Rahul Sharma and Alex Aiken}, title = {Stratified Synthesis: Automatically Learning the x86-64 Instruction Set}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {273-272}, doi = {}, year = {2016}, } Article: pldi16main-main260-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi: PLDI '16: "Data-Driven Precondition Inference ..." Data-Driven Precondition Inference with Learned Features Saswat Padhi, Rahul Sharma, and Todd Millstein (University of California at Los Angeles, USA; Stanford University, USA) @InProceedings{PLDI16p52, author = {Saswat Padhi and Rahul Sharma and Todd Millstein}, title = {Data-Driven Precondition Inference with Learned Features}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {52-51}, doi = {}, year = {2016}, } Article: pldi16main-main83-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi: PLDI '16: "Verifying Bit-Manipulations ..." Verifying Bit-Manipulations of Floating-Point Wonyeol Lee, Rahul Sharma, and Alex Aiken (Stanford University, USA) @InProceedings{PLDI16p86, author = {Wonyeol Lee and Rahul Sharma and Alex Aiken}, title = {Verifying Bit-Manipulations of Floating-Point}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {86-85}, doi = {}, year = {2016}, } Article: pldi16main-main123-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Shoham, Sharon	PLDI '16: "Ivy: Safety Verification by ..." Ivy: Safety Verification by Interactive Generalization Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, and Sharon Shoham (Tel Aviv University, Israel; Microsoft Research, USA; University of California at Berkeley, USA) @InProceedings{PLDI16p698, author = {Oded Padon and Kenneth L. McMillan and Aurojit Panda and Mooly Sagiv and Sharon Shoham}, title = {Ivy: Safety Verification by Interactive Generalization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {698-697}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main228-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Shpeisman, Tatiana	PLDI '16: "Latte: A Language, Compiler, ..." Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Leonard Truong, Rajkishore Barik, Ehsan Totoni, Hai Liu, Chick Markley, Armando Fox, and Tatiana Shpeisman (Intel Labs, USA; University of California at Berkeley, USA) @InProceedings{PLDI16p239, author = {Leonard Truong and Rajkishore Barik and Ehsan Totoni and Hai Liu and Chick Markley and Armando Fox and Tatiana Shpeisman}, title = {Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {239-238}, doi = {}, year = {2016}, } Article: pldi16main-main111-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Sinha, Rohit	PLDI '16: "A Design and Verification ..." A Design and Verification Methodology for Secure Isolated Regions Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram Rajamani, Sanjit A. Seshia, and Kapil Vaswani (University of California at Berkeley, USA; Microsoft Research, UK; Microsoft Research, India) @InProceedings{PLDI16p749, author = {Rohit Sinha and Manuel Costa and Akash Lal and Nuno P. Lopes and Sriram Rajamani and Sanjit A. Seshia and Kapil Vaswani}, title = {A Design and Verification Methodology for Secure Isolated Regions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main168-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Smith, Calvin	PLDI '16: "MapReduce Program Synthesis ..." MapReduce Program Synthesis Calvin Smith and Aws Albarghouthi (University of Wisconsin-Madison, USA) @InProceedings{PLDI16p375, author = {Calvin Smith and Aws Albarghouthi}, title = {MapReduce Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {375-374}, doi = {}, year = {2016}, } Article: pldi16main-main91-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Solar-Lezama, Armando	PLDI '16: "Program Synthesis from Polymorphic ..." Program Synthesis from Polymorphic Refinement Types Nadia Polikarpova, Ivan Kuraj, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA) @InProceedings{PLDI16p596, author = {Nadia Polikarpova and Ivan Kuraj and Armando Solar-Lezama}, title = {Program Synthesis from Polymorphic Refinement Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {596-595}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main64-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi: PLDI '16: "Precise, Dynamic Information ..." Precise, Dynamic Information Flow for Database-Backed Applications Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, and Stephen Chong (Carnegie Mellon University, USA; Harvard Medical School, USA; Dropbox, USA; San Jose State University, USA; Massachusetts Institute of Technology, USA; University of California at Santa Cruz, USA; Harvard University, USA) @InProceedings{PLDI16p715, author = {Jean Yang and Travis Hance and Thomas H. Austin and Armando Solar-Lezama and Cormac Flanagan and Stephen Chong}, title = {Precise, Dynamic Information Flow for Database-Backed Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main82-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi: PLDI '16: "Verified Lifting of Stencil ..." Verified Lifting of Stencil Computations Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, and Armando Solar-Lezama (Adobe, USA; University of Washington, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI16p800, author = {Shoaib Kamil and Alvin Cheung and Shachar Itzhaky and Armando Solar-Lezama}, title = {Verified Lifting of Stencil Computations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {800-799}, doi = {}, year = {2016}, } Article: pldi16main-main227-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Sorensen, Tyler	PLDI '16: "Exposing Errors Related to ..." Exposing Errors Related to Weak Memory in GPU Applications Tyler Sorensen and Alastair F. Donaldson (Imperial College London, UK) @InProceedings{PLDI16p120, author = {Tyler Sorensen and Alastair F. Donaldson}, title = {Exposing Errors Related to Weak Memory in GPU Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {120-119}, doi = {}, year = {2016}, } Article: pldi16main-main196-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Sousa, Marcelo	PLDI '16: "Cartesian Hoare Logic for ..." Cartesian Hoare Logic for Verifying k-Safety Properties Marcelo Sousa and Isil Dillig (University of Oxford, UK; University of Texas at Austin, USA) @InProceedings{PLDI16p69, author = {Marcelo Sousa and Isil Dillig}, title = {Cartesian Hoare Logic for Verifying k-Safety Properties}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {69-68}, doi = {}, year = {2016}, } Article: pldi16main-main62-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Spiegelman, Alexander	PLDI '16: "Transactional Data Structure ..." Transactional Data Structure Libraries Alexander Spiegelman, Guy Golan-Gueta, and Idit Keidar (Technion, Israel; Yahoo Research, Israel) @InProceedings{PLDI16p766, author = {Alexander Spiegelman and Guy Golan-Gueta and Idit Keidar}, title = {Transactional Data Structure Libraries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {766-765}, doi = {}, year = {2016}, } Article: pldi16main-main167-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Spradlin, Mitchell	PLDI '16: "Programmatic and Direct Manipulation, ..." Programmatic and Direct Manipulation, Together at Last Ravi Chugh, Brian Hempel, Mitchell Spradlin, and Jacob Albers (University of Chicago, USA) @InProceedings{PLDI16p392, author = {Ravi Chugh and Brian Hempel and Mitchell Spradlin and Jacob Albers}, title = {Programmatic and Direct Manipulation, Together at Last}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {392-391}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main95-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Su, Ting	PLDI '16: "Coverage-Directed Differential ..." Coverage-Directed Differential Testing of JVM Implementations Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, and Jianjun Zhao (Shanghai Jiao Tong University, China; East China Normal University, China; University of California at Davis, USA; Kyushu University, Japan) @InProceedings{PLDI16p103, author = {Yuting Chen and Ting Su and Chengnian Sun and Zhendong Su and Jianjun Zhao}, title = {Coverage-Directed Differential Testing of JVM Implementations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2016}, } Article: pldi16main-main76-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Su, Zhendong	PLDI '16: "Coverage-Directed Differential ..." Coverage-Directed Differential Testing of JVM Implementations Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, and Jianjun Zhao (Shanghai Jiao Tong University, China; East China Normal University, China; University of California at Davis, USA; Kyushu University, Japan) @InProceedings{PLDI16p103, author = {Yuting Chen and Ting Su and Chengnian Sun and Zhendong Su and Jianjun Zhao}, title = {Coverage-Directed Differential Testing of JVM Implementations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2016}, } Article: pldi16main-main76-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Sun, Chengnian	PLDI '16: "Coverage-Directed Differential ..." Coverage-Directed Differential Testing of JVM Implementations Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, and Jianjun Zhao (Shanghai Jiao Tong University, China; East China Normal University, China; University of California at Davis, USA; Kyushu University, Japan) @InProceedings{PLDI16p103, author = {Yuting Chen and Ting Su and Chengnian Sun and Zhendong Su and Jianjun Zhao}, title = {Coverage-Directed Differential Testing of JVM Implementations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2016}, } Article: pldi16main-main76-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Svensson, Bo Joel	PLDI '16: "Living on the Edge: Rapid-Toggling ..." Living on the Edge: Rapid-Toggling Probes with Cross-Modification on x86 Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, and Ryan R. Newton (Indiana University, USA) @InProceedings{PLDI16p18, author = {Buddhika Chamith and Bo Joel Svensson and Luke Dalessandro and Ryan R. Newton}, title = {Living on the Edge: Rapid-Toggling Probes with Cross-Modification on x86}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {18-17}, doi = {}, year = {2016}, } Article: pldi16main-main21-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Syme, Don	PLDI '16: "Types from Data: Making Structured ..." Types from Data: Making Structured Data First-Class Citizens in F# Tomas Petricek, Gustavo Guerra, and Don Syme (University of Cambridge, UK; Microsoft, UK; Microsoft Research, UK) @InProceedings{PLDI16p545, author = {Tomas Petricek and Gustavo Guerra and Don Syme}, title = {Types from Data: Making Structured Data First-Class Citizens in F#}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {545-544}, doi = {}, year = {2016}, } Article: pldi16main-main213-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Tang, Lingjia	PLDI '16: "Input Responsiveness: Using ..." Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation Michael A. Laurenzano, Parker Hill, Mehrzad Samadi, Scott Mahlke, Jason Mars, and Lingjia Tang (University of Michigan, USA) @InProceedings{PLDI16p188, author = {Michael A. Laurenzano and Parker Hill and Mehrzad Samadi and Scott Mahlke and Jason Mars and Lingjia Tang}, title = {Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2016}, } Article: pldi16main-main39-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Tatlock, Zachary	PLDI '16: "Verified Peephole Optimizations ..." Verified Peephole Optimizations for CompCert Eric Mullen, Daryl Zuniga, Zachary Tatlock, and Dan Grossman (University of Washington, USA) @InProceedings{PLDI16p511, author = {Eric Mullen and Daryl Zuniga and Zachary Tatlock and Dan Grossman}, title = {Verified Peephole Optimizations for CompCert}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {511-510}, doi = {}, year = {2016}, } Article: pldi16main-main150-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Tobin-Hochstadt, Sam	PLDI '16: "Occurrence Typing Modulo Theories ..." Occurrence Typing Modulo Theories Andrew M. Kent, David Kempe, and Sam Tobin-Hochstadt (Indiana University, USA) @InProceedings{PLDI16p341, author = {Andrew M. Kent and David Kempe and Sam Tobin-Hochstadt}, title = {Occurrence Typing Modulo Theories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main56-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Torlak, Emina	PLDI '16: "Fast Synthesis of Fast Collections ..." Fast Synthesis of Fast Collections Calvin Loncaric, Emina Torlak, and Michael D. Ernst (University of Washington, USA) @InProceedings{PLDI16p409, author = {Calvin Loncaric and Emina Torlak and Michael D. Ernst}, title = {Fast Synthesis of Fast Collections}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {409-408}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main261-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Totoni, Ehsan	PLDI '16: "Latte: A Language, Compiler, ..." Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Leonard Truong, Rajkishore Barik, Ehsan Totoni, Hai Liu, Chick Markley, Armando Fox, and Tatiana Shpeisman (Intel Labs, USA; University of California at Berkeley, USA) @InProceedings{PLDI16p239, author = {Leonard Truong and Rajkishore Barik and Ehsan Totoni and Hai Liu and Chick Markley and Armando Fox and Tatiana Shpeisman}, title = {Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {239-238}, doi = {}, year = {2016}, } Article: pldi16main-main111-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Truong, Leonard	PLDI '16: "Latte: A Language, Compiler, ..." Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Leonard Truong, Rajkishore Barik, Ehsan Totoni, Hai Liu, Chick Markley, Armando Fox, and Tatiana Shpeisman (Intel Labs, USA; University of California at Berkeley, USA) @InProceedings{PLDI16p239, author = {Leonard Truong and Rajkishore Barik and Ehsan Totoni and Hai Liu and Chick Markley and Armando Fox and Tatiana Shpeisman}, title = {Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {239-238}, doi = {}, year = {2016}, } Article: pldi16main-main111-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Vanbever, Laurent	PLDI '16: "SDNRacer: Concurrency Analysis ..." SDNRacer: Concurrency Analysis for Software-Defined Networks Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI16p460, author = {Ahmed El-Hassany and Jeremie Miserez and Pavol Bielik and Laurent Vanbever and Martin Vechev}, title = {SDNRacer: Concurrency Analysis for Software-Defined Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {460-459}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main274-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Vasudevan, Nalini	PLDI '16: "FlexVec: Auto-Vectorization ..." FlexVec: Auto-Vectorization for Irregular Loops Sara S. Baghsorkhi, Nalini Vasudevan, and Youfeng Wu (Intel, USA; Google, USA) @InProceedings{PLDI16p783, author = {Sara S. Baghsorkhi and Nalini Vasudevan and Youfeng Wu}, title = {FlexVec: Auto-Vectorization for Irregular Loops}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {783-782}, doi = {}, year = {2016}, } Article: pldi16main-main162-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Vaswani, Kapil	PLDI '16: "A Design and Verification ..." A Design and Verification Methodology for Secure Isolated Regions Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram Rajamani, Sanjit A. Seshia, and Kapil Vaswani (University of California at Berkeley, USA; Microsoft Research, UK; Microsoft Research, India) @InProceedings{PLDI16p749, author = {Rohit Sinha and Manuel Costa and Akash Lal and Nuno P. Lopes and Sriram Rajamani and Sanjit A. Seshia and Kapil Vaswani}, title = {A Design and Verification Methodology for Secure Isolated Regions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main168-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Vechev, Martin	PLDI '16: "SDNRacer: Concurrency Analysis ..." SDNRacer: Concurrency Analysis for Software-Defined Networks Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI16p460, author = {Ahmed El-Hassany and Jeremie Miserez and Pavol Bielik and Laurent Vanbever and Martin Vechev}, title = {SDNRacer: Concurrency Analysis for Software-Defined Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {460-459}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main274-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Vekris, Panagiotis	PLDI '16: "Refinement Types for TypeScript ..." Refinement Types for TypeScript Panagiotis Vekris, Benjamin Cosman, and Ranjit Jhala (University of California at San Diego, USA) @InProceedings{PLDI16p358, author = {Panagiotis Vekris and Benjamin Cosman and Ranjit Jhala}, title = {Refinement Types for TypeScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {358-357}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main161-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Walker, David	PLDI '16: "Temporal NetKAT ..." Temporal NetKAT Ryan Beckett, Michael Greenberg, and David Walker (Princeton University, USA; Pomona College, USA) @InProceedings{PLDI16p443, author = {Ryan Beckett and Michael Greenberg and David Walker}, title = {Temporal NetKAT}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {443-442}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main132-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Watson, Robert N. M.	PLDI '16: "Into the Depths of C: Elaborating ..." Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, and Peter Sewell (University of Cambridge, UK) @InProceedings{PLDI16p1, author = {Kayvan Memarian and Justus Matthiesen and James Lingard and Kyndylan Nienhuis and David Chisnall and Robert N. M. Watson and Peter Sewell}, title = {Into the Depths of C: Elaborating the De Facto Standards}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: pldi16main-main2-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Weiss, Aaron	PLDI '16: "Rehearsal: A Configuration ..." Rehearsal: A Configuration Verification Tool for Puppet Rian Shambaugh, Aaron Weiss, and Arjun Guha (University of Massachusetts at Amherst, USA) @InProceedings{PLDI16p477, author = {Rian Shambaugh and Aaron Weiss and Arjun Guha}, title = {Rehearsal: A Configuration Verification Tool for Puppet}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {477-476}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main19-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Wu, Xiongnan (Newman)	PLDI '16: "Toward Compositional Verification ..." Toward Compositional Verification of Interruptible OS Kernels and Device Drivers Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, and Ronghui Gu (Yale University, USA) @InProceedings{PLDI16p494, author = {Hao Chen and Xiongnan (Newman) Wu and Zhong Shao and Joshua Lockerman and Ronghui Gu}, title = {Toward Compositional Verification of Interruptible OS Kernels and Device Drivers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {494-493}, doi = {}, year = {2016}, } Article: pldi16main-main86-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Wu, Youfeng	PLDI '16: "FlexVec: Auto-Vectorization ..." FlexVec: Auto-Vectorization for Irregular Loops Sara S. Baghsorkhi, Nalini Vasudevan, and Youfeng Wu (Intel, USA; Google, USA) @InProceedings{PLDI16p783, author = {Sara S. Baghsorkhi and Nalini Vasudevan and Youfeng Wu}, title = {FlexVec: Auto-Vectorization for Irregular Loops}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {783-782}, doi = {}, year = {2016}, } Article: pldi16main-main162-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Yaghmazadeh, Navid	PLDI '16: "Synthesizing Transformations ..." Synthesizing Transformations on Hierarchically Structured Data Navid Yaghmazadeh, Christian Klinger, Isil Dillig, and Swarat Chaudhuri (University of Texas at Austin, USA; University of Freiburg, Germany; Rice University, USA) @InProceedings{PLDI16p579, author = {Navid Yaghmazadeh and Christian Klinger and Isil Dillig and Swarat Chaudhuri}, title = {Synthesizing Transformations on Hierarchically Structured Data}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {579-578}, doi = {}, year = {2016}, } Article: pldi16main-main40-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Yahav, Eran	PLDI '16: "Statistical Similarity of ..." Statistical Similarity of Binaries Yaniv David, Nimrod Partush, and Eran Yahav (Technion, Israel) @InProceedings{PLDI16p307, author = {Yaniv David and Nimrod Partush and Eran Yahav}, title = {Statistical Similarity of Binaries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {307-306}, doi = {}, year = {2016}, } Article: pldi16main-main297-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Yang, Annie	PLDI '16: "Higher-Order and Tuple-Based ..." Higher-Order and Tuple-Based Massively-Parallel Prefix Sums Sepideh Maleki, Annie Yang, and Martin Burtscher (Texas State University, USA) @InProceedings{PLDI16p613, author = {Sepideh Maleki and Annie Yang and Martin Burtscher}, title = {Higher-Order and Tuple-Based Massively-Parallel Prefix Sums}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {613-612}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main42-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Yang, Jean	PLDI '16: "Precise, Dynamic Information ..." Precise, Dynamic Information Flow for Database-Backed Applications Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, and Stephen Chong (Carnegie Mellon University, USA; Harvard Medical School, USA; Dropbox, USA; San Jose State University, USA; Massachusetts Institute of Technology, USA; University of California at Santa Cruz, USA; Harvard University, USA) @InProceedings{PLDI16p715, author = {Jean Yang and Travis Hance and Thomas H. Austin and Armando Solar-Lezama and Cormac Flanagan and Stephen Chong}, title = {Precise, Dynamic Information Flow for Database-Backed Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main82-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Yee, Ming-Ho	PLDI '16: "From Datalog to Flix: A Declarative ..." From Datalog to Flix: A Declarative Language for Fixed Points on Lattices Magnus Madsen, Ming-Ho Yee, and Ondřej Lhoták (University of Waterloo, Canada) @InProceedings{PLDI16p222, author = {Magnus Madsen and Ming-Ho Yee and Ondřej Lhoták}, title = {From Datalog to Flix: A Declarative Language for Fixed Points on Lattices}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {222-221}, doi = {}, year = {2016}, } Article: pldi16main-main79-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Zhang, Yizhou	PLDI '16: "Accepting Blame for Safe Tunneled ..." Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, and Andrew C. Myers (Cornell University, USA; TU Darmstadt, Germany; Massachusetts Institute of Technology, USA) @InProceedings{PLDI16p324, author = {Yizhou Zhang and Guido Salvaneschi and Quinn Beightol and Barbara Liskov and Andrew C. Myers}, title = {Accepting Blame for Safe Tunneled Exceptions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {324-323}, doi = {}, year = {2016}, } Article: pldi16main-main33-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Zhao, Jianjun	PLDI '16: "Coverage-Directed Differential ..." Coverage-Directed Differential Testing of JVM Implementations Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, and Jianjun Zhao (Shanghai Jiao Tong University, China; East China Normal University, China; University of California at Davis, USA; Kyushu University, Japan) @InProceedings{PLDI16p103, author = {Yuting Chen and Ting Su and Chengnian Sun and Zhendong Su and Jianjun Zhao}, title = {Coverage-Directed Differential Testing of JVM Implementations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2016}, } Article: pldi16main-main76-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Zhu, He	PLDI '16: "Automatically Learning Shape ..." Automatically Learning Shape Specifications He Zhu, Gustavo Petri, and Suresh Jagannathan (Purdue University, USA; University of Paris Diderot, France) @InProceedings{PLDI16p562, author = {He Zhu and Gustavo Petri and Suresh Jagannathan}, title = {Automatically Learning Shape Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {562-561}, doi = {}, year = {2016}, } aec-badge-pldi Article: pldi16main-main291-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Zhu, Yuhao	PLDI '16: "GreenWeb: Language Extensions ..." GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing Yuhao Zhu and Vijay Janapa Reddi (University of Texas at Austin, USA) @InProceedings{PLDI16p171, author = {Yuhao Zhu and Vijay Janapa Reddi}, title = {GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {171-170}, doi = {}, year = {2016}, } Article: pldi16main-main5-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:
	Zuniga, Daryl	PLDI '16: "Verified Peephole Optimizations ..." Verified Peephole Optimizations for CompCert Eric Mullen, Daryl Zuniga, Zachary Tatlock, and Dan Grossman (University of Washington, USA) @InProceedings{PLDI16p511, author = {Eric Mullen and Daryl Zuniga and Zachary Tatlock and Dan Grossman}, title = {Verified Peephole Optimizations for CompCert}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {511-510}, doi = {}, year = {2016}, } Article: pldi16main-main150-p (type: Full Paper (15 pages all inclusive, plus up to 2 pages to buy)) doi:

184 authors

proc time: 0.17