Roman Matthias Keil
Roman Matthias Keil
IBM Germany
Verified email at informatik.uni-freiburg.de
TitleCited byYear
Blame assignment for higher-order contracts with intersection and union
M Keil, P Thiemann
ACM SIGPLAN Notices 50 (9), 375-386, 2015
232015
TreatJS: Higher-order contracts for JavaScript
M Keil, P Thiemann
arXiv preprint arXiv:1504.08110, 2015
162015
Transparent object proxies for JavaScript
M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann
arXiv preprint arXiv:1504.08100, 2015
112015
Efficient dynamic access analysis using JavaScript proxies
M Keil, P Thiemann
arXiv preprint arXiv:1312.3184, 2013
92013
Type-based dependency analysis for javascript
M Keil, P Thiemann
arXiv preprint arXiv:1305.6721, 2013
82013
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
The system can't perform the operation now. Try again later.
Articles 1–17