3 citations · 3 across the 4 of their papers we have counts for
4 papers
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…
Partial Derivatives for Context-Free Languages: From -Regular Expressions to Pushdown Automata
Peter Thiemann
We extend Antimirov's partial derivatives from regular expressions to -regular expressions that describe context-free languages. We prove the correctness of partial derivatives…
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
We consider the problem of static deadlock detection for programs in the Go programming language which make use of synchronous channel communications. In our analysis, regular expr…
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…