Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(1524)
Benjamin Pierce
16
Xavier Leroy
16
John C. Mitchell
16
Amir Pnueli
15
Matthias Felleisen
15
Albert R. Meyer
15
Thomas W. Reps
13
Paul Hudak
13
Philip Wadler
13
Robert Harper
12
Keywords
(1115)
Subscribe
Academic
Conferences
POPL - ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL - ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Publications: 1,268
|
Citation Count: 68,955 (Self-Citation: 2,461)
|
H-Index: 128Year Range: 1973-2011
Interests:
Programming Languages
Paper submissions due: 12 July 2011, Duration:
25 - 27 January 2012, Philadelphia, United States of America
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(1268)
Semantics of transactional memory and automatic mutual exclusion
(
Citations: 49
)
Andrew Birrell
,
Tim Harris
,
Michael Isard
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, vol. 33, no. 1, pp. 1-50, 2011
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated
(
Citations: 1
)
Hagit Attiya
,
Rachid Guerraoui
,
Danny Hendler
,
Petr Kuznetsov
,
Maged M. Michael
,
Martin Vechev
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, pp. 487-498, 2011
A parametric segmentation functor for fully automatic and scalable array content analysis
Patrick Cousot
,
Radhia Cousot
,
Francesco Logozzo
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, pp. 105-118, 2011
Robin Milner 1934--2010: verification, languages, and concurrency
Andrew D. Gordon
,
Robert Harper
,
John Harrison
,
Alan Jeffrey
,
Peter Sewell
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, pp. 473-474, 2011
Blame for all
Amal Ahmed
,
Robert Bruce Findler
,
Jeremy G. Siek
,
Philip Wadler
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, pp. 201-214, 2011