Roman Matthias Keil
Roman Matthias Keil
Institute for Computer Science, University of Freiburg
Bestätigte E-Mail-Adresse bei informatik.uni-freiburg.de
TitelZitiert vonJahr
Blame assignment for higher-order contracts with intersection and union
M Keil, P Thiemann
ACM SIGPLAN Notices 50 (9), 375-386, 2015
142015
TreatJS: Higher-order contracts for JavaScript
M Keil, P Thiemann
arXiv preprint arXiv:1504.08110, 2015
122015
Transparent object proxies for JavaScript
M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann
arXiv preprint arXiv:1504.08100, 2015
92015
Efficient dynamic access analysis using JavaScript proxies
M Keil, P Thiemann
ACM SIGPLAN Notices 49 (2), 49-60, 2013
92013
Type-based dependency analysis for javascript
M Keil, P Thiemann
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and …, 2013
72013
Symbolic solving of extended regular expression inequalities
M Keil, P Thiemann
arXiv preprint arXiv:1410.3227, 2014
22014
On the proxy identity crisis
M Keil, P Thiemann
arXiv preprint arXiv:1312.5429, 2013
12013
Static Contract Simplification
M Keil, P Thiemann
arXiv preprint arXiv:1703.10331, 2017
2017
Transaction-based Sandboxing for JavaScript
M Keil, P Thiemann
arXiv preprint arXiv:1612.00669, 2016
2016
On Contracts and Sandboxes for JavaScript
M Keil, P Thiemann
2015
TreatJS: Higher-Order Contracts for JavaScript (Artifact)
M Keil, P Thiemann
DARTS-Dagstuhl Artifacts Series 1, 2015
2015
Transparent Object Proxies for JavaScript (Artifact)
M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann
DARTS-Dagstuhl Artifacts Series 1, 2015
2015
Transparent Object Proxies for JavaScript (Artifact)
M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann
DARTS-Dagstuhl Artifacts Series 1, 2015
2015
Android Components
M Keil
2014
Design Patterns
S Feo-Arenis, M Keil
2014
Android Telephony
M Keil
2013
Practical Exercises Communication Systems (Rechnernetze II) Topic 01: Basics
R Jakob, M Keil
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–17