Blame assignment for higher-order contracts with intersection and union M Keil, P Thiemann ACM SIGPLAN Notices 50 (9), 375-386, 2015 | 41 | 2015 |
TreatJS: Higher-order contracts for JavaScript M Keil, P Thiemann arXiv preprint arXiv:1504.08110, 2015 | 26 | 2015 |
Transparent object proxies for JavaScript M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann arXiv preprint arXiv:1504.08100, 2015 | 20 | 2015 |
Symbolic solving of extended regular expression inequalities M Keil, P Thiemann arXiv preprint arXiv:1410.3227, 2014 | 16 | 2014 |
Efficient dynamic access analysis using JavaScript proxies M Keil, P Thiemann Proceedings of the 9th Symposium on Dynamic Languages, 49-60, 2013 | 13 | 2013 |
Type-based dependency analysis for javascript M Keil, P Thiemann Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and …, 2013 | 9 | 2013 |
Transaction-based sandboxing for JavaScript M Keil, P Thiemann arXiv preprint arXiv:1612.00669, 2016 | 2 | 2016 |
On the proxy identity crisis M Keil, P Thiemann arXiv preprint arXiv:1312.5429, 2013 | 1 | 2013 |
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 | 1 | 2005 |
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 | | |