651 search results - page 75 / 131 » Precise Analysis of Java Programs Using JOANA |
134
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
144
Voted
PPPJ
2006
ACM
15 years 8 months ago
2006
ACM
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
127
click to vote
OOPSLA
2010
Springer
15 years 24 days ago
2010
Springer
Accurately predicting program behaviors (e.g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of...
151
click to vote
OPODIS
2003
15 years 3 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
127
click to vote
ENTCS
2008
15 years 2 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...