• Publications
  • Influence
Precise Analysis of String Expressions
We perform static analysis of Java programs to answer a simple question: which values may occur as results of string expressions? The answers are summarized for each expression by a regular languageExpand
  • 447
  • 51
  • Open Access
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but there is stillExpand
  • 309
  • 40
  • Open Access
The project
  • 187
  • 20
A framework for automated testing of javascript web applications
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed automated testExpand
  • 177
  • 14
  • Open Access
MONA Version 1.4 - User Manual
  • 159
  • 14
  • Open Access
Dual syntax for XML languages
XML is successful as a machine processable data interchange format, but it is often too verbose for human use. For this reason, many XML languages permit an alternative more legible non-XML syntax.Expand
  • 72
  • 11
  • Open Access
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications
Developers of JavaScript web applications have little tool support for catching errors early in development. In comparison, an abundance of tools exist for statically typed languages, includingExpand
  • 105
  • 10
  • Open Access
Determinacy in static analysis for jQuery
Static analysis for JavaScript can potentially help programmers find errors early during development. Although much progress has been made on analysis techniques, a major obstacle is the prevalenceExpand
  • 71
  • 10
  • Open Access
PowerForms: Declarative client-side form field validation
All uses of HTML forms may benefit from validation of the specified input field values. Simple validation matches individual values against specified formats, while more advanced validation mayExpand
  • 70
  • 10
  • Open Access
The pointer assertion logic engine
We present a new framework for verifying partial specifications of programs in order to catch type and memory errors and check data structure invariants. Our technique can verify a large class ofExpand
  • 158
  • 9
  • Open Access