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

scholarly journals Input responsiveness: using canary inputs to dynamically steer approximation

2016 ◽  
Author(s):  
Michael A. Laurenzano ◽  
Parker Hill ◽  
Mehrzad Samadi ◽  
Scott Mahlke ◽  
Jason Mars ◽  
...  

scholarly journals A design and verification methodology for secure isolated regions

2016 ◽  
Author(s):  
Rohit Sinha ◽  
Manuel Costa ◽  
Akash Lal ◽  
Nuno P. Lopes ◽  
Sriram Rajamani ◽  
...  
Keyword(s):  
Verification Methodology

SDNRacer: concurrency analysis for software-defined networks

2016 ◽  
Author(s):  
Ahmed El-Hassany ◽  
Jeremie Miserez ◽  
Pavol Bielik ◽  
Laurent Vanbever ◽  
Martin Vechev
Keyword(s):  
Software Defined Networks
Load More ...
Sign in / Sign up

Export Citation Format

Share Document