Matthias Keil

Identifiers

• name variant Matthias Keil 0.60 · backfill

Papers (8)

1. Static Contract Simplification cs.PL · 2017 · author #1
2. Transaction-based Sandboxing for JavaScript cs.PL · 2016 · author #1
3. TreatJS: Higher-Order Contracts for JavaScript cs.PL · 2015 · author #1
4. Transparent Object Proxies for JavaScript cs.PL · 2015 · author #1
5. Symbolic Solving of Extended Regular Expression Inequalities cs.FL · 2014 · author #1
6. On the Proxy Identity Crisis cs.PL · 2013 · author #1
7. Efficient Dynamic Access Analysis Using JavaScript Proxies cs.PL · 2013 · author #1
8. Type-based Dependency Analysis for JavaScript cs.PL · 2013 · author #1

Mentions

• 1504.08110 #1 · backfill · confidence 0.70 Matthias Keil
• 1504.08100 #1 · backfill · confidence 0.70 Matthias Keil
• 1410.3227 #1 · backfill · confidence 0.70 Matthias Keil
• 1312.5429 #1 · backfill · confidence 0.70 Matthias Keil
• 1312.3184 #1 · backfill · confidence 0.70 Matthias Keil
• 1305.6721 #1 · backfill · confidence 0.70 Matthias Keil

Frequent Coauthors

• Peter Thiemann 8 shared papers
• Andreas Schlegel 1 shared papers
• Manuel Geffken 1 shared papers
• Sankha Narayan Guria 1 shared papers