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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 doi:

184 authors

proc time: 0.18