Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781595935953

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An overview of the saturn project

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07 ◽

10.1145/1251535.1251543 ◽

2007 ◽

Cited By ~ 55

Author(s):

Alex Aiken ◽

Suhabe Bugrara ◽

Isil Dillig ◽

Thomas Dillig ◽

Brian Hackett ◽

...

Download Full-text

Light context-sensitive points-to analysis for java

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07 ◽

10.1145/1251535.1251540 ◽

2007 ◽

Cited By ~ 2

Author(s):

Ana Milanova

Keyword(s):

Context Sensitive

Download Full-text

Refining buffer overflow detection via demand-driven path-sensitive analysis

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07 ◽

10.1145/1251535.1251546 ◽

2007 ◽

Cited By ~ 4

Author(s):

Wei Le ◽

Mary Lou Soffa

Keyword(s):

Buffer Overflow ◽

Sensitive Analysis

Download Full-text

Case study

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07 ◽

10.1145/1251535.1251544 ◽

2007 ◽

Cited By ~ 5

Author(s):

David Shepherd ◽

Lori Pollock ◽

K. Vijay-Shanker

Download Full-text

Improving software quality with static analysis

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07 ◽

10.1145/1251535.1251549 ◽

2007 ◽

Cited By ~ 9

Author(s):

Jeffrey S. Foster ◽

Michael W. Hicks ◽

William Pugh

Keyword(s):

Static Analysis ◽

Software Quality

Download Full-text

Dynamic purity analysis for java programs

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07 ◽

10.1145/1251535.1251548 ◽

2007 ◽

Cited By ~ 18

Author(s):

Haiying Xu ◽

Christopher J. F. Pickett ◽

Clark Verbrugge

Keyword(s):

Purity Analysis ◽

Java Programs

Download Full-text

Interstatement must aliases for data dependence analysis of heap locations

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07 ◽

10.1145/1251535.1251539 ◽

2007 ◽

Cited By ~ 6

Author(s):

Ju Qian ◽

Baowen Xu ◽

Hongbo Min

Keyword(s):

Data Dependence ◽

Dependence Analysis ◽

Data Dependence Analysis

Download Full-text

AWE

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07 ◽

10.1145/1251535.1251547 ◽

2007 ◽

Cited By ~ 2

Author(s):

Ruben E. Brown ◽

Roger Khazan ◽

Michael Zhivich

Download Full-text

Heap analysis in the presence of collection libraries

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07 ◽

10.1145/1251535.1251541 ◽

2007 ◽

Cited By ~ 9

Author(s):

Mark Marron ◽

Darko Stefanovic ◽

Manuel Hermenegildo ◽

Deepak Kapur

Keyword(s):

Heap Analysis

Download Full-text

Comparing call graphs

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07 ◽

10.1145/1251535.1251542 ◽

2007 ◽

Cited By ~ 25

Author(s):

Ond∨rej Lhoták

Keyword(s):

Call Graphs

Download Full-text

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

An overview of the saturn project

Light context-sensitive points-to analysis for java

Refining buffer overflow detection via demand-driven path-sensitive analysis

Case study

Improving software quality with static analysis

Dynamic purity analysis for java programs

Interstatement must aliases for data dependence analysis of heap locations

AWE

Heap analysis in the presence of collection libraries

Comparing call graphs

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07
Latest Publications