Matthias Keil

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