792 search results - page 139 / 159 » Static Analysis of XSLT Programs |
141
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Modern network processors support high levels of parallelism in packet processing by supporting multiple threads that execute on a micro-engine. Threads switch context upon encoun...
125
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...
108
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
125
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
135
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. ...