Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12
Latest Publications

TOTAL DOCUMENTS

48
(FIVE YEARS 0)

H-INDEX

26
(FIVE YEARS 0)

Published By ACM Press

9781450312059
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parcae

2012 ◽  
Author(s):  
Arun Raman ◽  
Ayal Zaks ◽  
Jae W. Lee ◽  
David I. August

Parallelizing top-down interprocedural analyses

2012 ◽  
Author(s):  
Aws Albarghouthi ◽  
Rahul Kumar ◽  
Aditya V. Nori ◽  
Sriram K. Rajamani
Keyword(s):  
Top Down

scholarly journals Speculative linearizability

2012 ◽  
Author(s):  
Rachid Guerraoui ◽  
Viktor Kuncak ◽  
Giuliano Losa

scholarly journals Understanding and detecting real-world performance bugs

2012 ◽  
Author(s):  
Guoliang Jin ◽  
Linhai Song ◽  
Xiaoming Shi ◽  
Joel Scherpelz ◽  
Shan Lu
Keyword(s):  
Real World ◽  
Performance Bugs

Synthesizing software verifiers from proof rules

2012 ◽  
Author(s):  
Sergey Grebenshchikov ◽  
Nuno P. Lopes ◽  
Corneliu Popeea ◽  
Andrey Rybalchenko
Keyword(s):  
Proof Rules

Adaptive input-aware compilation for graphics engines

2012 ◽  
Author(s):  
Mehrzad Samadi ◽  
Amir Hormati ◽  
Mojtaba Mehrara ◽  
Janghaeng Lee ◽  
Scott Mahlke

A compiler framework for extracting superword level parallelism

2012 ◽  
Author(s):  
Jun Liu ◽  
Yuanrui Zhang ◽  
Ohyoung Jang ◽  
Wei Ding ◽  
Mahmut Kandemir
Keyword(s):  
Compiler Framework ◽  
Level Parallelism

Diderot

2012 ◽  
Author(s):  
Charisee Chiw ◽  
Gordon Kindlmann ◽  
John Reppy ◽  
Lamont Samuels ◽  
Nick Seltzer
Load More ...
Sign in / Sign up

Export Citation Format

Share Document