243 search results - page 10 / 49 » Precise Interprocedural Dependence Analysis of Parallel Prog... |
ASPLOS
2010
ACM
15 years 26 days ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
LCPC
1999
Springer
15 years 1 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
178
click to vote
POPL
2008
ACM
15 years 9 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
KBSE
2008
IEEE
15 years 3 months ago
2008
IEEE
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
102
click to vote
PLDI
2012
ACM
12 years 12 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...