Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07
Latest Publications

TOTAL DOCUMENTS

45

(FIVE YEARS 0)

H-INDEX

30

(FIVE YEARS 0)

Published By ACM Press

9781595936332

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards locating execution omission errors

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 ◽

10.1145/1250734.1250782 ◽

2007 ◽

Author(s):

Xiangyu Zhang ◽

Sriraman Tallam ◽

Neelam Gupta ◽

Rajiv Gupta

Keyword(s):

Omission Errors

Download Full-text

Parameterized tiled loops for free

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 ◽

10.1145/1250734.1250780 ◽

2007 ◽

Author(s):

Lakshminarayanan Renganarayanan ◽

DaeGon Kim ◽

Sanjay Rajopadhye ◽

Michelle Mills Strout

Download Full-text

Offline compression for on-chip ram

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 ◽

10.1145/1250734.1250776 ◽

2007 ◽

Author(s):

Nathan Dean Cooprider ◽

John David Regehr

Keyword(s):

Download Full-text

Making context-sensitive points-to analysis with heap cloning practical for the real world

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 ◽

10.1145/1250734.1250766 ◽

2007 ◽

Author(s):

Chris Lattner ◽

Andrew Lenharth ◽

Vikram Adve

Keyword(s):

The Real ◽

Context Sensitive

Download Full-text

Sketching stencils

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 ◽

10.1145/1250734.1250754 ◽

2007 ◽

Author(s):

Armando Solar-Lezama ◽

Gilad Arnold ◽

Liviu Tancau ◽

Rastislav Bodik ◽

Vijay Saraswat ◽

...

Download Full-text

The ant and the grasshopper

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 ◽

10.1145/1250734.1250767 ◽

2007 ◽

Author(s):

Ben Hardekopf ◽

Calvin Lin

Download Full-text

Searching for type-error messages

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 ◽

10.1145/1250734.1250783 ◽

2007 ◽

Author(s):

Benjamin S. Lerner ◽

Matthew Flower ◽

Dan Grossman ◽

Craig Chambers

Download Full-text

Exterminator

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 ◽

10.1145/1250734.1250736 ◽

2007 ◽

Author(s):

Gene Novark ◽

Emery D. Berger ◽

Benjamin G. Zorn

Download Full-text

Sound and precise analysis of web applications for injection vulnerabilities

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 ◽

10.1145/1250734.1250739 ◽

2007 ◽

Author(s):

Gary Wassermann ◽

Zhendong Su

Keyword(s):

Web Applications ◽

Precise Analysis

Download Full-text

Enforcing isolation and ordering in STM

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 ◽

10.1145/1250734.1250744 ◽

2007 ◽

Author(s):

Tatiana Shpeisman ◽

Vijay Menon ◽

Ali-Reza Adl-Tabatabai ◽

Steven Balensiefer ◽

Dan Grossman ◽

...

Download Full-text