Matthias Keil

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 3

Top Topics

Dependency Analysis

Lambda Calculus

Top Venues

Dagstuhl Artifacts Ser.

Publications

Matthias Keil, Peter Thiemann
Static Contract Simplification. CoRR (2017)
Matthias Keil, Peter Thiemann
Transaction-based Sandboxing for JavaScript. CoRR (2016)
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
Transparent object proxies for javascript. Software Engineering (2016)
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
Transparent Object Proxies in JavaScript. ECOOP (2015)
Matthias Keil, Peter Thiemann
Blame assignment for higher-order contracts with intersection and union. ICFP (2015)
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
Transparent Object Proxies for JavaScript. CoRR (2015)
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
Transparent Object Proxies for JavaScript (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
Matthias Keil, Peter Thiemann
TreatJS: Higher-Order Contracts for JavaScripts. ECOOP (2015)
Matthias Keil, Peter Thiemann
TreatJS: Higher-Order Contracts for JavaScript (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
Matthias Keil, Peter Thiemann
TreatJS: Higher-Order Contracts for JavaScript. CoRR (2015)
Matthias Keil, Peter Thiemann
Symbolic Solving of Extended Regular Expression Inequalities. FSTTCS (2014)
Matthias Keil, Peter Thiemann
Symbolic Solving of Extended Regular Expression Inequalities. CoRR (2014)
Matthias Keil, Peter Thiemann
Type-based dependency analysis for javascript. PLAS (2013)
Matthias Keil, Peter Thiemann
Type-based Dependency Analysis for JavaScript CoRR (2013)
Matthias Keil, Peter Thiemann
Efficient dynamic access analysis using JavaScript proxies. DLS (2013)
Matthias Keil, Peter Thiemann
Efficient Dynamic Access Analysis Using JavaScript Proxies. CoRR (2013)
Matthias Keil, Peter Thiemann
On the Proxy Identity Crisis. CoRR (2013)