Roman Matthias Keil
Roman Matthias Keil
IBM Germany
Verified email at informatik.uni-freiburg.de
Title
Cited by
Cited by
Year
Blame assignment for higher-order contracts with intersection and union
M Keil, P Thiemann
ACM SIGPLAN Notices 50 (9), 375-386, 2015
312015
TreatJS: Higher-order contracts for JavaScript
M Keil, P Thiemann
arXiv preprint arXiv:1504.08110, 2015
232015
Transparent object proxies for JavaScript
M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann
arXiv preprint arXiv:1504.08100, 2015
162015
Efficient dynamic access analysis using JavaScript proxies
M Keil, P Thiemann
Proceedings of the 9th Symposium on Dynamic Languages, 49-60, 2013
122013
Type-based dependency analysis for javascript
M Keil, P Thiemann
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and …, 2013
92013
Symbolic solving of extended regular expression inequalities
M Keil, P Thiemann
arXiv preprint arXiv:1410.3227, 2014
72014
On the proxy identity crisis
M Keil, P Thiemann
arXiv preprint arXiv:1312.5429, 2013
12013
Informatische Bildung im Freistaat Sachsen-ein Gesamtkonzept
T Bechstädt, R Buttke, H Fischer, M Keil, T Knapp, H Neupert, P Zeller
Unterrichtskonzepte für informatische Bildung, 2005
12005
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–18