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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605584799

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Continuity analysis of programs

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

10.1145/1706299.1706308 ◽

2010 ◽

Cited By ~ 45

Author(s):

Swarat Chaudhuri ◽

Sumit Gulwani ◽

Roberto Lublinerman

Keyword(s):

Continuity Analysis

Download Full-text

Dynamically checking ownership policies in concurrent c/c++ programs

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

10.1145/1706299.1706351 ◽

2010 ◽

Cited By ~ 4

Author(s):

Jean-Phillipe Martin ◽

Michael Hicks ◽

Manuel Costa ◽

Periklis Akritidis ◽

Miguel Castro

Keyword(s):

C Programs

Download Full-text

Pure subtype systems

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

10.1145/1706299.1706334 ◽

2010 ◽

Cited By ~ 5

Author(s):

DeLesley S. Hutchins

Download Full-text

Modular session types for distributed object-oriented programming

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

10.1145/1706299.1706335 ◽

2010 ◽

Cited By ~ 31

Author(s):

Simon J. Gay ◽

Vasco T. Vasconcelos ◽

António Ravara ◽

Nils Gesbert ◽

Alexandre Z. Caldeira

Keyword(s):

Object Oriented ◽

Object Oriented Programming ◽

Distributed Object ◽

Session Types

Download Full-text

Coarse-grained transactions

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

10.1145/1706299.1706304 ◽

2010 ◽

Cited By ~ 31

Author(s):

Eric Koskinen ◽

Matthew Parkinson ◽

Maurice Herlihy

Keyword(s):

Coarse Grained

Download Full-text

Programming with angelic nondeterminism

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

10.1145/1706299.1706339 ◽

2010 ◽

Cited By ~ 15

Author(s):

Rastislav Bodik ◽

Satish Chandra ◽

Joel Galenson ◽

Doug Kimelman ◽

Nicholas Tung ◽

...

Download Full-text

Static determination of quantitative resource usage for higher-order programs

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

10.1145/1706299.1706327 ◽

2010 ◽

Cited By ~ 45

Author(s):

Steffen Jost ◽

Kevin Hammond ◽

Hans-Wolfgang Loidl ◽

Martin Hofmann

Keyword(s):

Higher Order ◽

Resource Usage

Download Full-text

Program analysis via satisfiability modulo path programs

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

10.1145/1706299.1706309 ◽

2010 ◽

Cited By ~ 20

Author(s):

William R. Harris ◽

Sriram Sankaranarayanan ◽

Franjo Ivančić ◽

Aarti Gupta

Keyword(s):

Program Analysis

Download Full-text

Semantics and algorithms for data-dependent grammars

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

10.1145/1706299.1706347 ◽

2010 ◽

Cited By ~ 18

Author(s):

Trevor Jim ◽

Yitzhak Mandelbaum ◽

David Walker

Download Full-text

Abstraction-guided synthesis of synchronization

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

10.1145/1706299.1706338 ◽

2010 ◽

Cited By ~ 67

Author(s):

Martin Vechev ◽

Eran Yahav ◽

Greta Yorsh

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Continuity analysis of programs

Dynamically checking ownership policies in concurrent c/c++ programs

Pure subtype systems

Modular session types for distributed object-oriented programming

Coarse-grained transactions

Programming with angelic nondeterminism

Static determination of quantitative resource usage for higher-order programs

Program analysis via satisfiability modulo path programs

Semantics and algorithms for data-dependent grammars

Abstraction-guided synthesis of synchronization

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