Salvaneschi, Guido ; Köhler, Mirko ; Sokolowski, Daniel ; Haller, Philipp ; Erdweg, Sebastian ; Mezini, Mira (2019):
Language-Integrated Privacy-Aware Distributed Queries. (Publisher's Version)
In: Proceedings of the ACM on Programming Languages, 3 (OOPSLA), pp. 1-30. Association for Computing Machinery, ISSN 2475-1421,
DOI: 10.25534/tuprints-00014553,
[Article]

Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira (2018):
Versatile Event Correlation with Algebraic Effects. (Publisher's Version)
In: Proceedings of the ACM on Programming Languages, 2 (ICFP), pp. 1-31. ACM, ISSN 2475-1421,
DOI: 10.25534/tuprints-00014556,
[Article]

Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira (2017):
A Co-contextual Type Checker for Featherweight Java.
In: Leibniz International Proceedings in Informatics (LIPIcs), 74, In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), pp. 18:1-18:26, DOI: 10.4230/LIPIcs.ECOOP.2017.18,
[Book Section]

Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Kovacs, Laura ; Voronkov, Andrei (eds.) (2017):
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
In: EPiC Series in Computing, 44, In: Vampire 2016. Proceedings of the 3rd Vampire Workshop, pp. 33-45, [Book Section]

Grewe, Sylvia ; Erdweg, Sebastian ; Raulf, Michael ; Mezini, Mira (2016):
Exploration of language specifications by compilation to first-order logic.
In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 104-117, ACM, [Book Section]

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016):
CPL: A Core Language for Cloud Computing.
In: MODULARITY 2016, In: Proceedings of the 15th International Conference on Modularity, pp. 94-105, New York, NY, USA, ACM, ISBN 978-1-4503-3995-7,
[Book Section]

Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Kovács, Laura ; Voronkov, Andrei (eds.) (2016):
Using Vampire in Soundness Proofs of Type Systems.
In: EPiC Series in Computing, In: Proceedings of the 1st and 2nd Vampire Workshops,
[Conference or Workshop Item]

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016):
CPL: A Core Language for Cloud Computing -- Technical Report.
In: ArXiv-CoRR, (Preprint), [Article]

Grewe, Sylvia ; Erdweg, Sebastian ; Wittmann, Pascal ; Mezini, Mira (2015):
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers.
In: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015, pp. 137-150, ACM, [Book Section]

Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira (2015):
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
In: OOPSLA 2015, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 880-897, New York, NY, USA, ACM, ISBN 978-1-4503-3689-5,
[Book Section]

Arzt, Steven ; Nadi, Sarah ; Ali, Karim ; Bodden, Eric ; Erdweg, Sebastian ; Mezini, Mira (2015):
Towards Secure Integration of Cryptographic Software.
In: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, OOPSLA Onward!, Piitsburgh, 25.10.2015, [Conference or Workshop Item]

Mitschke, Ralf ; Erdweg, Sebastian ; Köhler, Mirko ; Mezini, Mira ; Salvaneschi, Guido (2014):
i3QL: Language-Integrated Live Data Views.
In: OOPSLA '14, In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, pp. 417-432,
ACM, Portland, Oregon, USA, ISBN 978-1-4503-2585-1,
DOI: 10.1145/2714064.2660242,
[Conference or Workshop Item]

Erdweg, Sebastian ; Vergu, Vlad ; Mezini, Mira ; Visser, Eelco (2014):
Finding bugs in program generators by dynamic analysis of syntactic language constraints.
In: Proceedings of the of the 13th international conference on Modularity - MODULARITY '14, pp. 17-20,
[Conference or Workshop Item]

Weiel, Manuel ; Maier, Ingo ; Erdweg, Sebastian ; Eichberg, Michael ; Mezini, Mira (2014):
Towards virtual traits in Scala.
In: Proceedings of the Fifth Anuual Scala Workshop on - SCALA '14, pp. 67-75,
[Conference or Workshop Item]

Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira (2013):
XPoints: Extension Interfaces for Multilayered Applications.
pp. 237-246, Enterprise Distributed Object Computing Conference (EDOC), 2013 17th IEEE International, Vancouver, Canada, 9 - 13 Sept., [Conference or Workshop Item]

Erdweg, Sebastian ; Rieger, Felix (2013):
A Framework for Extensible Languages.
pp. 3-12, ACM, Proceedings of Conference on Generative Programming and Component Engineering (GPCE), [Conference or Workshop Item]

Lorenzen, Florian ; Erdweg, Sebastian (2013):
Modular and automated type-soundness verification for language extensions.
In: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13, p. 331,
[Conference or Workshop Item]

Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira (2013):
XPoints: Extension Interfaces for Multilayered Applications.
In: 2013 17th IEEE International Enterprise Distributed Object Computing Conference, pp. 237-246,
[Conference or Workshop Item]

Erdweg, Sebastian ; Rieger, Felix (2013):
A framework for extensible languages.
In: Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13, pp. 3-12,
[Conference or Workshop Item]

Erdweg, Sebastian ; Rieger, Felix (2013):
A framework for extensible languages.
In: Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13, pp. 3-12,
[Conference or Workshop Item]