Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016
Latest Publications

TOTAL DOCUMENTS

48

(FIVE YEARS 0)

H-INDEX

18

(FIVE YEARS 0)

Published By ACM Press

9781450342612

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Configuration synthesis for programmable analog devices with Arco

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 ◽

10.1145/2908080.2908116 ◽

2016 ◽

Author(s):

Sara Achour ◽

Rahul Sarpeshkar ◽

Martin C. Rinard

Keyword(s):

Programmable Analog ◽

Configuration Synthesis

Download Full-text

Input responsiveness: using canary inputs to dynamically steer approximation

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 ◽

10.1145/2908080.2908087 ◽

2016 ◽

Author(s):

Michael A. Laurenzano ◽

Parker Hill ◽

Mehrzad Samadi ◽

Scott Mahlke ◽

Jason Mars ◽

...

Download Full-text

Polymorphic type inference for machine code

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 ◽

10.1145/2908080.2908119 ◽

2016 ◽

Author(s):

Matt Noonan ◽

Alexey Loginov ◽

David Cok

Keyword(s):

Type Inference ◽

Machine Code ◽

Polymorphic Type

Download Full-text

Types from data: making structured data first-class citizens in F#

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 ◽

10.1145/2908080.2908115 ◽

2016 ◽

Author(s):

Tomas Petricek ◽

Gustavo Guerra ◽

Don Syme

Keyword(s):

Structured Data

Download Full-text

End-to-end verification of information-flow security for C and assembly programs

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 ◽

10.1145/2908080.2908100 ◽

2016 ◽

Author(s):

David Costanzo ◽

Zhong Shao ◽

Ronghui Gu

Keyword(s):

Information Flow ◽

Information Flow Security ◽

Download Full-text

Transactional data structure libraries

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 ◽

10.1145/2908080.2908112 ◽

2016 ◽

Author(s):

Alexander Spiegelman ◽

Guy Golan-Gueta ◽

Idit Keidar

Keyword(s):

Data Structure ◽

Transactional Data

Download Full-text

A design and verification methodology for secure isolated regions

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 ◽

10.1145/2908080.2908113 ◽

2016 ◽

Author(s):

Rohit Sinha ◽

Manuel Costa ◽

Akash Lal ◽

Nuno P. Lopes ◽

Sriram Rajamani ◽

...

Keyword(s):

Verification Methodology

Download Full-text

SDNRacer: concurrency analysis for software-defined networks

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 ◽

10.1145/2908080.2908124 ◽

2016 ◽

Author(s):

Ahmed El-Hassany ◽

Jeremie Miserez ◽

Pavol Bielik ◽

Laurent Vanbever ◽

Martin Vechev

Keyword(s):

Software Defined Networks

Download Full-text

Synthesizing transformations on hierarchically structured data

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 ◽

10.1145/2908080.2908088 ◽

2016 ◽

Author(s):

Navid Yaghmazadeh ◽

Christian Klinger ◽

Isil Dillig ◽

Swarat Chaudhuri

Keyword(s):

Structured Data

Download Full-text

Cartesian hoare logic for verifying k-safety properties

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016 ◽

10.1145/2908080.2908092 ◽

2016 ◽

Author(s):

Marcelo Sousa ◽

Isil Dillig

Keyword(s):

Hoare Logic ◽

Safety Properties

Download Full-text