• Publications
  • Influence
Type Analysis for JavaScript
TLDR
We present a static program analysis infrastructure that can infer detailed and sound type information for JavaScript programs using abstract interpretation. Expand
A framework for automated testing of javascript web applications
TLDR
We present a framework for feedback-directed automated test generation for JavaScript in which execution is monitored to collect information that directs the test generator towards inputs that yield increased coverage. Expand
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications
TLDR
We present the first static analysis that is capable of reasoning about the flow of control and data in modern JavaScript applications that interact with the HTML DOM and browser API. Expand
Remedying the eval that men do
TLDR
We present an approach to soundly and automatically transform many common uses of eval into other language constructs to enable sound static analysis of web applications. Expand
Interprocedural Analysis with Lazy Propagation
TLDR
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions may not be distributive. Expand
MemInsight: platform-independent memory debugging for JavaScript
TLDR
We present MemInsight, a tool that provides detailed, time-varying analysis of the memory behavior of JavaScript applications, including web applications. Expand
Test Generation from Business Rules
TLDR
We present a business rule modeling language that can be used to capture functional specification of an enterprise system. Expand
Improving Tools for JavaScript Programmers ( Position Paper )
We present an overview of three research projects that all aim to provide better tools for JavaScript web application programmers: TAJS, which infers static type information for JavaScriptExpand
4 Comparison with Other Ongoing Research 2 Our Data Model and Query Language a Temporal Object Query Language
of a set of time points. This set can used as a domain for time point variables, such as the variable above. This approach of using time points is more declarative than ours because it hides theExpand
Form of a Set of Time Points. This Set Can Used as a Domain 4 Comparison with Other Ongoing Research
for time point variables, such as the variable t above. This approach of using time points is more declarative than ours because it hides the implementation detail of using a set of pairs of timeExpand
...
1
2
...