Efficient dynamic access analysis using JavaScript proxies. - Matthias Keil 002; Peter Thiemann 001 (DLS, 2013)

Type-based dependency analysis for javascript. - Matthias Keil 002; Peter Thiemann 001 (PLAS, 2013)

On the Proxy Identity Crisis. - Matthias Keil 002; Peter Thiemann 001 (CoRR, 2013)

Symbolic Solving of Extended Regular Expression Inequalities. - Matthias Keil 002; Peter Thiemann 001 (FSTTCS, 2014)

TreatJS: Higher-Order Contracts for JavaScripts. - Matthias Keil 002; Peter Thiemann 001 (ECOOP, 2015)

Blame assignment for higher-order contracts with intersection and union. - Matthias Keil 002; Peter Thiemann 001 (ICFP, 2015)

TreatJS: Higher-Order Contracts for JavaScript. - Matthias Keil 002; Peter Thiemann 001 (CoRR, 2015)

Transparent Object Proxies for JavaScript (Artifact). - Matthias Keil 002; Sankha Narayan Guria; Andreas Schlegel; Manuel Geffken; Peter Thiemann 001 (Dagstuhl Artifacts Ser., 2015)

TreatJS: Higher-Order Contracts for JavaScript (Artifact). - Matthias Keil 002; Peter Thiemann 001 (Dagstuhl Artifacts Ser., 2015)

Transparent object proxies for javascript. - Matthias Keil 002; Sankha Narayan Guria; Andreas Schlegel; Manuel Geffken; Peter Thiemann 001 (Software Engineering, 2016)

Transaction-based Sandboxing for JavaScript. - Matthias Keil 002; Peter Thiemann 001 (CoRR, 2016)

Static Contract Simplification. - Matthias Keil 002; Peter Thiemann 001 (CoRR, 2017)