8 citations · 12 across the 7 of their papers we have counts for
8 papers
Static Contract Simplification
Matthias Keil, Peter Thiemann
Contracts and contract monitoring are a powerful mechanism for specifying properties and guaranteeing them at run time. However, run time monitoring of contracts imposes a signific…
Transaction-based Sandboxing for JavaScript
Matthias Keil, Peter Thiemann
Today's JavaScript applications are composed of scripts from different origins that are loaded at run time. As not all of these origins are equally trusted, the execution of these…
TreatJS: Higher-Order Contracts for JavaScript
Matthias Keil, Peter Thiemann
TreatJS is a language embedded, higher-order contract system for JavaScript which enforces contracts by run-time monitoring. Beyond providing the standard abstractions for building…
Transparent Object Proxies for JavaScript
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel +2
Proxies are the swiss army knives of object adaptation. They introduce a level of indirection to intercept select operations on a target object and divert them as method calls to a…
Symbolic Solving of Extended Regular Expression Inequalities
Matthias Keil, Peter Thiemann
This paper presents a new solution to the containment problem for extended regular expressions that extends basic regular expressions with intersection and complement operators and…
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…