Folgen
Roman Matthias Keil
Roman Matthias Keil
Whitebox Services GmbH
Bestätigte E-Mail-Adresse bei informatik.uni-freiburg.de
Titel
Zitiert von
Zitiert von
Jahr
Blame assignment for higher-order contracts with intersection and union
M Keil, P Thiemann
ACM SIGPLAN Notices 50 (9), 375-386, 2015
412015
TreatJS: Higher-order contracts for JavaScript
M Keil, P Thiemann
arXiv preprint arXiv:1504.08110, 2015
262015
Transparent object proxies for JavaScript
M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann
arXiv preprint arXiv:1504.08100, 2015
202015
Symbolic solving of extended regular expression inequalities
M Keil, P Thiemann
arXiv preprint arXiv:1410.3227, 2014
162014
Efficient dynamic access analysis using JavaScript proxies
M Keil, P Thiemann
Proceedings of the 9th Symposium on Dynamic Languages, 49-60, 2013
132013
Type-based dependency analysis for javascript
M Keil, P Thiemann
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and …, 2013
92013
Transaction-based sandboxing for JavaScript
M Keil, P Thiemann
arXiv preprint arXiv:1612.00669, 2016
22016
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
Gesellschaft für Informatik eV, 2005
12005
Static Contract Simplification
M Keil, P Thiemann
arXiv preprint arXiv:1703.10331, 2017
2017
TreatJS: Higher-Order Contracts for JavaScript (Artifact).
M Keil, P Thiemann
Dagstuhl Artifacts Ser. 1 (1), 01:1-01:2, 2015
2015
Transparent Object Proxies for JavaScript (Artifact).
M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann
Dagstuhl Artifacts Ser. 1 (1), 02:1-02:2, 2015
2015
On Contracts and Sandboxes for JavaScript
M Keil, P Thiemann
2015
29th European Conference on Object-Oriented Programming (ECOOP 2015)
B Stroustrup, JD Choi, AJ Summers, A Takikawa, D Feltey, E Dean, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 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–18