PLDI 2012:
Beijing, ChinaJan Vitek , Haibo Lin , Frank Tip (Eds.):
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012.
ACM 2012, ISBN 978-1-4503-1205-9 GPUs and FPGAs
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Foundations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Performance analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Language-based techniques
export record as
dblp key:
export record as
dblp key:
Parallelism
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Aaron Turon :
Reagents: expressing and composing fine-grained concurrency.
157-168
Reasoning, inference, and symbolic execution
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Program analysis I
export record as
dblp key:
export record as
dblp key:
conf/pldi/AlbarghouthiKNR12 export record as
dblp key:
Web applications
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Type-based techniques
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
C and C++
export record as
dblp key:
conf/pldi/SarkarMOBSMAW12 export record as
dblp key:
export record as
dblp key:
Optimization
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/pldi/HolewinskiRRFPRS12
Verification
export record as
dblp key:
export record as
dblp key:
conf/pldi/MorrisettTTTG12 export record as
dblp key:
conf/pldi/GrebenshchikovLPR12
Synthesis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Program analysis II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Loop optimization
export record as
dblp key:
export record as
dblp key:
Chun Chen :
Polyhedra scanning revisited.
499-508
export record as
dblp key:
Concurrency bugs
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/pldi/NagarakatteBMM12
data released under the ODC-BY 1.0 license
