Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15
Latest Publications

TOTAL DOCUMENTS

76

(FIVE YEARS 0)

H-INDEX

20

(FIVE YEARS 0)

Published By ACM Press

9781450333009

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dependent Information Flow Types

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 ◽

10.1145/2676726.2676994 ◽

2015 ◽

Author(s):

Luísa Lourenço ◽

Luís Caires

Keyword(s):

Information Flow

Download Full-text

Data-Parallel String-Manipulating Programs

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 ◽

10.1145/2676726.2677014 ◽

2015 ◽

Author(s):

Margus Veanes ◽

Todd Mytkowicz ◽

David Molnar ◽

Benjamin Livshits

Keyword(s):

Download Full-text

Analyzing Program Analyses

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 ◽

10.1145/2676726.2676987 ◽

2015 ◽

Author(s):

Roberto Giacobazzi ◽

Francesco Logozzo ◽

Francesco Ranzato

Download Full-text

Session details: Session 9A: Concurrency III

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 ◽

10.1145/3255668 ◽

2015 ◽

Author(s):

Rupak Majumdar

Download Full-text

Session details: Session 8A: Program Analysis II

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 ◽

10.1145/3255666 ◽

2015 ◽

Author(s):

Akash Lal

Keyword(s):

Program Analysis

Download Full-text

Session details: Session 7A: Probabilistic Programs

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 ◽

10.1145/3255664 ◽

2015 ◽

Author(s):

Supratik Chakraborty

Keyword(s):

Probabilistic Programs

Download Full-text

Session details: Session 4B: Types II

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 ◽

10.1145/3255657 ◽

2015 ◽

Author(s):

Deepak Garg

Download Full-text

Session details: Session 3B: Concurrency I

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 ◽

10.1145/3255655 ◽

2015 ◽

Author(s):

Ganesan Ramalingam

Download Full-text

Towards the Essence of Hygiene

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 ◽

10.1145/2676726.2677013 ◽

2015 ◽

Author(s):

Michael D. Adams

Download Full-text

Self-Representation in Girard's System U

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 ◽

10.1145/2676726.2676988 ◽

2015 ◽

Author(s):

Matt Brown ◽

Jens Palsberg

Download Full-text