PLDI 2011:
San Jose, CA, USAMary W. Hall , David A. Padua (Eds.):
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011.
ACM 2011, ISBN 978-1-4503-0663-8 Parallel programming notations
export record as
dblp key:
export record as
dblp key:
conf/pldi/PingaliNKBHKLLMMPS11 Keshav Pingali ,
Donald Nguyen ,
Milind Kulkarni ,
Martin Burtscher ,
Muhammad Amber Hassaan ,
Rashid Kaleem ,
Tsung-Hsien Lee ,
Andrew Lenharth ,
Roman Manevich ,
Mario Méndez-Lojo ,
Dimitrios Prountzos ,
Xin Sui :
The tao of parallelism in algorithms.
12-25
export record as
dblp key:
Program synthesis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Program optimization I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Domain specific languages and their compilers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/pldi/Tobin-HochstadtSCFF11
Program optimization II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Memory models
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Program verification I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Adam Chlipala :
Mostly-automated verification of low-level programs in computational separation logic.
234-245
Debugging I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Compiler correctness
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jaroslav Sevcík :
Safe optimisations for shared-memory concurrent programs.
306-316
Transforming and editing by example
export record as
dblp key:
export record as
dblp key:
Security
export record as
dblp key:
conf/pldi/SrivastavaBMS11 export record as
dblp key:
conf/pldi/AnselMETCSSBY11 export record as
dblp key:
Concurrency defects
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Singular topics
export record as
dblp key:
export record as
dblp key:
Debugging II
export record as
dblp key:
export record as
dblp key:
Program parallelization
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Program paths
export record as
dblp key:
conf/pldi/SrivastavaGCF11 export record as
dblp key:
export record as
dblp key:
Program verification II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Program analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Taming wildcards
export record as
dblp key:
export record as
dblp key:
Concurrent programming
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
