Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016
Latest Publications

TOTAL DOCUMENTS

62
(FIVE YEARS 0)

H-INDEX

20
(FIVE YEARS 0)

Published By ACM Press

9781450335492
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lightweight verification of separate compilation

2016 ◽  
Author(s):  
Jeehoon Kang ◽  
Yoonseung Kim ◽  
Chung-Kil Hur ◽  
Derek Dreyer ◽  
Viktor Vafeiadis
Keyword(s):  
Separate Compilation

Learning programs from noisy data

2016 ◽  
Author(s):  
Veselin Raychev ◽  
Pavol Bielik ◽  
Martin Vechev ◽  
Andreas Krause
Keyword(s):  
Noisy Data ◽  
Learning Programs

Taming release-acquire consistency

2016 ◽  
Author(s):  
Ori Lahav ◽  
Nick Giannarakis ◽  
Viktor Vafeiadis

scholarly journals Maximal specification synthesis

2016 ◽  
Author(s):  
Aws Albarghouthi ◽  
Isil Dillig ◽  
Arie Gurfinkel
Keyword(s):  
Specification Synthesis

Decidability of inferring inductive invariants

2016 ◽  
Author(s):  
Oded Padon ◽  
Neil Immerman ◽  
Sharon Shoham ◽  
Aleksandr Karbyshev ◽  
Mooly Sagiv
Keyword(s):  
Inductive Invariants

scholarly journals Optimizing synthesis with metasketches

2016 ◽  
Author(s):  
James Bornholt ◽  
Emina Torlak ◽  
Dan Grossman ◽  
Luis Ceze

scholarly journals Modelling the ARMv8 architecture, operationally: concurrency and ISA

2016 ◽  
Author(s):  
Shaked Flur ◽  
Kathryn E. Gray ◽  
Christopher Pulte ◽  
Susmit Sarkar ◽  
Ali Sezgin ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document