173 search results - page 24 / 35 » Interprocedural analysis of asynchronous programs |
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
91
Voted
IEEEPACT
2006
IEEE
15 years 5 months ago
2006
IEEE
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...
103
Voted
PE
2010
Springer
14 years 10 months ago
2010
Springer
Solution of large sparse linear fixed-point problems lies at the heart of many important performance analysis calculations. These calculations include steady-state, transient and...
100
Voted
WWW
2009
ACM
16 years 9 days ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
95
Voted
ICSE
2008
IEEE-ACM
16 years 13 days ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...