Sciweavers

4725 search results - page 30 / 945
» Dependence-Based Program Analysis
Sort
View
ASPLOS
2010
ACM
15 years 5 months ago
Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring
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...
Michelle L. Goodstein, Evangelos Vlachos, Shimin C...
86
Voted
APLAS
2005
ACM
15 years 7 months ago
Termination Analysis of Higher-Order Functional Programs
Damien Sereni, Neil D. Jones
78
Voted
ICLP
2005
Springer
15 years 7 months ago
Analysis and Optimization of CHR Programs
Jon Sneyers