26 citations · 71 across the 22 of their papers we have counts for
4 papers · 1 filter
On the Proxy Identity Crisis
Matthias Keil, Peter Thiemann
A proxy, in general, is an object mediating access to an arbitrary target object. The proxy is then intended to be used in place of the target object. Ideally, a proxy is not disti…
Efficient Dynamic Access Analysis Using JavaScript Proxies
Matthias Keil, Peter Thiemann
JSConTest introduced the notions of effect monitoring and dynamic effect inference for JavaScript. It enables the description of effects with path specifications resembling regular…
Towards Tree Automata-based Success Types
Robert Jakob, Peter Thiemann
Error detection facilities for dynamic languages are often based on unit testing. Thus, the advantage of rapid prototyping and flexibility must be weighed against cumbersome and ti…
Type-based Dependency Analysis for JavaScript
Matthias Keil, Peter Thiemann
Dependency analysis is a program analysis that determines potential data flow between program points. While it is not a security analysis per se, it is a viable basis for investiga…