Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450346603

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Stateful manifest contracts

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009875 ◽

2017 ◽

Cited By ~ 3

Author(s):

Taro Sekiyama ◽

Atsushi Igarashi

Download Full-text

LightDP: towards automating differential privacy proofs

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009884 ◽

2017 ◽

Cited By ~ 19

Author(s):

Danfeng Zhang ◽

Daniel Kifer

Keyword(s):

Differential Privacy

Download Full-text

Learning nominal automata

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009879 ◽

2017 ◽

Cited By ~ 7

Author(s):

Joshua Moerman ◽

Matteo Sammartino ◽

Alexandra Silva ◽

Bartek Klin ◽

Michał Szynwelski

Download Full-text

Monadic second-order logic on finite sequences

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009844 ◽

2017 ◽

Cited By ~ 4

Author(s):

Loris D'Antoni ◽

Margus Veanes

Keyword(s):

Second Order ◽

Order Logic ◽

Finite Sequences ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Rigorous floating-point mixed-precision tuning

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009846 ◽

2017 ◽

Cited By ~ 38

Author(s):

Wei-Fan Chiang ◽

Mark Baranowski ◽

Ian Briggs ◽

Alexey Solovyev ◽

Ganesh Gopalakrishnan ◽

...

Keyword(s):

Floating Point ◽

Mixed Precision

Download Full-text

A posteriori environment analysis with Pushdown Delta CFA

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009899 ◽

2017 ◽

Cited By ~ 2

Author(s):

Kimball Germane ◽

Matthew Might

Keyword(s):

A Posteriori ◽

Environment Analysis

Download Full-text

Fast polyhedra abstract domain

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009885 ◽

2017 ◽

Cited By ~ 16

Author(s):

Gagandeep Singh ◽

Markus Püschel ◽

Martin Vechev

Download Full-text

Big types in little runtime: open-world soundness and collaborative blame for gradual type systems

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009849 ◽

2017 ◽

Cited By ~ 13

Author(s):

Michael M. Vitousek ◽

Cameron Swords ◽

Jeremy G. Siek

Keyword(s):

Type Systems ◽

Open World

Download Full-text

Sums of uncertainty: refinements go gradual

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009865 ◽

2017 ◽

Cited By ~ 8

Author(s):

Khurram A. Jafery ◽

Joshua Dunfield

Download Full-text

Automatically comparing memory consistency models

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009838 ◽

2017 ◽

Cited By ~ 41

Author(s):

John Wickerson ◽

Mark Batty ◽

Tyler Sorensen ◽

George A. Constantinides

Keyword(s):

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Stateful manifest contracts

LightDP: towards automating differential privacy proofs

Learning nominal automata

Monadic second-order logic on finite sequences

Rigorous floating-point mixed-precision tuning

A posteriori environment analysis with Pushdown Delta CFA

Fast polyhedra abstract domain

Big types in little runtime: open-world soundness and collaborative blame for gradual type systems

Sums of uncertainty: refinements go gradual

Automatically comparing memory consistency models

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017
Latest Publications