6829 search results - page 1192 / 1366 » Quantitative Generalizations of Languages |
126
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
126
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
140
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Data races are one of the most common and subtle causes of pernicious concurrency bugs. Static techniques for preventing data races are overly conservative and do not scale well t...
120
Voted
PPPJ
2009
ACM
15 years 10 months ago
2009
ACM
Dynamic compilers can optimize application code specifically for observed code behavior. Such behavior does not have to be stable across the entire program execution to be bene...
144
Voted
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
There has been an explosion of hyperlinked data in many domains, e.g., the biological Web. Expressive query languages and effective ranking techniques are required to convert this...