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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450333009

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 12

Author(s):

Margus Veanes ◽

Todd Mytkowicz ◽

David Molnar ◽

Benjamin Livshits

Keyword(s):

Data Parallel

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 ◽

Cited By ~ 22

Author(s):

Luísa Lourenço ◽

Luís Caires

Keyword(s):

Information Flow

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

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

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

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

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

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 ◽

Cited By ~ 10

Author(s):

Michael D. Adams

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 ◽

Cited By ~ 6

Author(s):

Matt Brown ◽

Jens Palsberg

Analyzing Program Analyses

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

10.1145/2676726.2676987 ◽

2015 ◽

Cited By ~ 15

Author(s):

Roberto Giacobazzi ◽

Francesco Logozzo ◽

Francesco Ranzato

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Data-Parallel String-Manipulating Programs

Dependent Information Flow Types

Session details: Session 9A: Concurrency III

Session details: Session 8A: Program Analysis II

Session details: Session 7A: Probabilistic Programs

Session details: Session 4B: Types II

Session details: Session 3B: Concurrency I

Towards the Essence of Hygiene

Self-Representation in Girard's System U

Analyzing Program Analyses

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