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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450312059

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parcae

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

10.1145/2254064.2254082 ◽

2012 ◽

Cited By ~ 24

Author(s):

Arun Raman ◽

Ayal Zaks ◽

Jae W. Lee ◽

David I. August

Download Full-text

Parallelizing top-down interprocedural analyses

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

10.1145/2254064.2254091 ◽

2012 ◽

Cited By ~ 11

Author(s):

Aws Albarghouthi ◽

Rahul Kumar ◽

Aditya V. Nori ◽

Sriram K. Rajamani

Keyword(s):

Top Down

Download Full-text

Synthesising graphics card programs from DSLs

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

10.1145/2254064.2254080 ◽

2012 ◽

Cited By ~ 2

Author(s):

Luke Cartey ◽

Rune Lyngsø ◽

Oege de Moor

Download Full-text

Speculative linearizability

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

10.1145/2254064.2254072 ◽

2012 ◽

Cited By ~ 6

Author(s):

Rachid Guerraoui ◽

Viktor Kuncak ◽

Giuliano Losa

Download Full-text

Understanding and detecting real-world performance bugs

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

10.1145/2254064.2254075 ◽

2012 ◽

Cited By ~ 122

Author(s):

Guoliang Jin ◽

Linhai Song ◽

Xiaoming Shi ◽

Joel Scherpelz ◽

Shan Lu

Keyword(s):

Real World ◽

Performance Bugs

Download Full-text

Synthesizing software verifiers from proof rules

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

10.1145/2254064.2254112 ◽

2012 ◽

Cited By ~ 97

Author(s):

Sergey Grebenshchikov ◽

Nuno P. Lopes ◽

Corneliu Popeea ◽

Andrey Rybalchenko

Keyword(s):

Proof Rules

Download Full-text

Adaptive input-aware compilation for graphics engines

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

10.1145/2254064.2254067 ◽

2012 ◽

Cited By ~ 12

Author(s):

Mehrzad Samadi ◽

Amir Hormati ◽

Mojtaba Mehrara ◽

Janghaeng Lee ◽

Scott Mahlke

Download Full-text

A compiler framework for extracting superword level parallelism

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

10.1145/2254064.2254106 ◽

2012 ◽

Cited By ~ 27

Author(s):

Jun Liu ◽

Yuanrui Zhang ◽

Ohyoung Jang ◽

Wei Ding ◽

Mahmut Kandemir

Keyword(s):

Compiler Framework ◽

Level Parallelism

Download Full-text

Diderot

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

10.1145/2254064.2254079 ◽

2012 ◽

Cited By ~ 26

Author(s):

Charisee Chiw ◽

Gordon Kindlmann ◽

John Reppy ◽

Lamont Samuels ◽

Nick Seltzer

Download Full-text

Polyhedra scanning revisited

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

10.1145/2254064.2254123 ◽

2012 ◽

Cited By ~ 20

Author(s):

Chun Chen

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Parcae

Parallelizing top-down interprocedural analyses

Synthesising graphics card programs from DSLs

Speculative linearizability

Understanding and detecting real-world performance bugs

Synthesizing software verifiers from proof rules

Adaptive input-aware compilation for graphics engines

A compiler framework for extracting superword level parallelism

Diderot

Polyhedra scanning revisited

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