Matthias Keil

According to our database, Matthias Keil authored at least 12 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Static Contract Simplification.

Matthias Keil, Peter Thiemann

CoRR, 2017

2016

Transaction-based Sandboxing for JavaScript.

Matthias Keil, Peter Thiemann

CoRR, 2016

Transparent object proxies for javascript.

Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann

Proceedings of the Software Engineering 2016, 2016

2015

TreatJS: Higher-Order Contracts for JavaScript (Artifact).

Matthias Keil, Peter Thiemann

Dagstuhl Artifacts Ser., 2015

Transparent Object Proxies for JavaScript (Artifact).

Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann

Dagstuhl Artifacts Ser., 2015

TreatJS: Higher-Order Contracts for JavaScript.

Matthias Keil, Peter Thiemann

CoRR, 2015

Blame assignment for higher-order contracts with intersection and union.

Matthias Keil, Peter Thiemann

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

TreatJS: Higher-Order Contracts for JavaScripts.

Matthias Keil, Peter Thiemann

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Symbolic Solving of Extended Regular Expression Inequalities.

Matthias Keil, Peter Thiemann

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013

On the Proxy Identity Crisis.

Matthias Keil, Peter Thiemann

CoRR, 2013

Type-based dependency analysis for javascript.

Matthias Keil, Peter Thiemann

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

Efficient dynamic access analysis using JavaScript proxies.

Matthias Keil, Peter Thiemann

Proceedings of the DLS'13, 2013