Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450310833

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Meta-level features in an industrial-strength theorem prover

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 ◽

10.1145/2103656.2103707 ◽

2012 ◽

Author(s):

J. Strother Moore

Keyword(s):

Theorem Prover ◽

Meta Level ◽

Industrial Strength

Download Full-text

Information effects

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 ◽

10.1145/2103656.2103667 ◽

2012 ◽

Cited By ~ 8

Author(s):

Roshan P. James ◽

Amr Sabry

Keyword(s):

Information Effects

Download Full-text

Sound predictive race detection in polynomial time

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 ◽

10.1145/2103656.2103702 ◽

2012 ◽

Cited By ~ 81

Author(s):

Yannis Smaragdakis ◽

Jacob Evans ◽

Caitlin Sadowski ◽

Jaeheon Yi ◽

Cormac Flanagan

Keyword(s):

Polynomial Time ◽

Race Detection

Download Full-text

Static and user-extensible proof checking

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 ◽

10.1145/2103656.2103690 ◽

2012 ◽

Cited By ~ 7

Author(s):

Antonis Stampoulis ◽

Zhong Shao

Keyword(s):

Proof Checking

Download Full-text

Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 ◽

10.1145/2103656.2103658 ◽

2012 ◽

Author(s):

Andrew P. Black ◽

Peter W. O'Hearn

Keyword(s):

Achievement Award

Download Full-text

Probabilistic relational reasoning for differential privacy

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 ◽

10.1145/2103656.2103670 ◽

2012 ◽

Cited By ~ 56

Author(s):

Gilles Barthe ◽

Boris Köpf ◽

Federico Olmedo ◽

Santiago Zanella Béguelin

Keyword(s):

Differential Privacy ◽

Relational Reasoning

Download Full-text

Programming with binders and indexed data-types

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 ◽

10.1145/2103656.2103705 ◽

2012 ◽

Cited By ~ 15

Author(s):

Andrew Cave ◽

Brigitte Pientka

Keyword(s):

Data Types

Download Full-text

Access permission contracts for scripting languages

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 ◽

10.1145/2103656.2103671 ◽

2012 ◽

Cited By ~ 10

Author(s):

Phillip Heidegger ◽

Annette Bieniusa ◽

Peter Thiemann

Keyword(s):

Scripting Languages

Download Full-text

Programming languages for programmable networks

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 ◽

10.1145/2103656.2103683 ◽

2012 ◽

Cited By ~ 3

Author(s):

Jennifer Rexford

Keyword(s):

Programming Languages ◽

Programmable Networks

Download Full-text

Algebraic foundations for effect-dependent optimisations

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 ◽

10.1145/2103656.2103698 ◽

2012 ◽

Cited By ~ 19

Author(s):

Ohad Kammar ◽

Gordon D. Plotkin

Download Full-text

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Meta-level features in an industrial-strength theorem prover

Information effects

Sound predictive race detection in polynomial time

Static and user-extensible proof checking

Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview

Probabilistic relational reasoning for differential privacy

Programming with binders and indexed data-types

Access permission contracts for scripting languages

Programming languages for programmable networks

Algebraic foundations for effect-dependent optimisations

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12
Latest Publications