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

A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions

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

10.1145/2837614.2837616 ◽

2016 ◽

Author(s):

Jean Pichon-Pharabod ◽

Peter Sewell

Download Full-text

Lightweight verification of separate compilation

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

10.1145/2837614.2837642 ◽

2016 ◽

Author(s):

Jeehoon Kang ◽

Yoonseung Kim ◽

Chung-Kil Hur ◽

Derek Dreyer ◽

Viktor Vafeiadis

Keyword(s):

Separate Compilation

Download Full-text

Learning programs from noisy data

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

10.1145/2837614.2837671 ◽

2016 ◽

Author(s):

Veselin Raychev ◽

Pavol Bielik ◽

Martin Vechev ◽

Andreas Krause

Keyword(s):

Learning Programs

Download Full-text

Taming release-acquire consistency

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

10.1145/2837614.2837643 ◽

2016 ◽

Author(s):

Ori Lahav ◽

Nick Giannarakis ◽

Viktor Vafeiadis

Download Full-text

Maximal specification synthesis

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

10.1145/2837614.2837628 ◽

2016 ◽

Author(s):

Aws Albarghouthi ◽

Isil Dillig ◽

Arie Gurfinkel

Keyword(s):

Specification Synthesis

Download Full-text

Decidability of inferring inductive invariants

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

10.1145/2837614.2837640 ◽

2016 ◽

Author(s):

Oded Padon ◽

Neil Immerman ◽

Sharon Shoham ◽

Aleksandr Karbyshev ◽

Mooly Sagiv

Keyword(s):

Inductive Invariants

Download Full-text

Fully-abstract compilation by approximate back-translation

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

10.1145/2837614.2837618 ◽

2016 ◽

Author(s):

Dominique Devriese ◽

Marco Patrignani ◽

Frank Piessens

Keyword(s):

Back Translation

Download Full-text

Model checking for symbolic-heap separation logic with inductive predicates

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

10.1145/2837614.2837621 ◽

2016 ◽

Author(s):

James Brotherston ◽

Nikos Gorogiannis ◽

Max Kanovich ◽

Reuben Rowe

Keyword(s):

Model Checking ◽

Separation Logic

Download Full-text

Optimizing synthesis with metasketches

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

10.1145/2837614.2837666 ◽

2016 ◽

Author(s):

James Bornholt ◽

Emina Torlak ◽

Dan Grossman ◽

Luis Ceze

Download Full-text

Modelling the ARMv8 architecture, operationally: concurrency and ISA

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

10.1145/2837614.2837615 ◽

2016 ◽

Author(s):

Shaked Flur ◽

Kathryn E. Gray ◽

Christopher Pulte ◽

Susmit Sarkar ◽

Ali Sezgin ◽

...

Download Full-text