Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13
Latest Publications

TOTAL DOCUMENTS

48

(FIVE YEARS 0)

H-INDEX

27

(FIVE YEARS 0)

Published By ACM Press

9781450320146

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

AutoSynch

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 ◽

10.1145/2491956.2462175 ◽

2013 ◽

Author(s):

Wei-Lun Hung ◽

Vijay K. Garg

Download Full-text

Steal Tree

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 ◽

10.1145/2491956.2462193 ◽

2013 ◽

Author(s):

Jonathan Lifflander ◽

Sriram Krishnamoorthy ◽

Laxmikant V. Kale

Download Full-text

Reasoning about nondeterminism in programs

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 ◽

10.1145/2491956.2491969 ◽

2013 ◽

Author(s):

Byron Cook ◽

Eric Koskinen

Download Full-text

How to combine widening and narrowing for non-monotonic systems of equations

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 ◽

10.1145/2491956.2462190 ◽

2013 ◽

Author(s):

Kalmer Apinis ◽

Helmut Seidl ◽

Vesal Vojdani

Keyword(s):

Systems Of Equations

Download Full-text

Taming compiler fuzzers

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 ◽

10.1145/2491956.2462173 ◽

2013 ◽

Author(s):

Yang Chen ◽

Alex Groce ◽

Chaoqiang Zhang ◽

Weng-Keen Wong ◽

Xiaoli Fern ◽

...

Download Full-text

Programming languages in security

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 ◽

10.1145/2491956.2462158 ◽

2013 ◽

Author(s):

Fred B. Schneider

Keyword(s):

Programming Languages

Download Full-text

P

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 ◽

10.1145/2491956.2462184 ◽

2013 ◽

Author(s):

Ankush Desai ◽

Vivek Gupta ◽

Ethan Jackson ◽

Shaz Qadeer ◽

Sriram Rajamani ◽

...

Download Full-text

Translation validation for a verified OS kernel

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 ◽

10.1145/2491956.2462183 ◽

2013 ◽

Author(s):

Thomas Arthur Leck Sewell ◽

Magnus O. Myreen ◽

Gerwin Klein

Keyword(s):

Translation Validation

Download Full-text

SMAT

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 ◽

10.1145/2491956.2462181 ◽

2013 ◽

Author(s):

Jiajia Li ◽

Guangming Tan ◽

Mingyu Chen ◽

Ninghui Sun

Download Full-text

Limitations of partial compaction

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 ◽

10.1145/2491956.2491973 ◽

2013 ◽

Author(s):

Nachshon Cohen ◽

Erez Petrank

Download Full-text