TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 19.

Bračevac, Oliver and Amin, Nada and Salvaneschi, Guido and Erdweg, Sebastian and Eugster, Patrick and Mezini, Mira (2018):
Versatile Event Correlation with Algebraic Effects.
In: Proceedings of the ACM on Programming Languages, ACM, pp. 67:1-67:31, DOI: 10.1145/3236762,
[Online-Edition: https://doi.org/10.1145/3236762],
[Book Section]

Kuci, Edlira and Erdweg, Sebastian and Bračevac, Oliver and Bejleri, Andi and Mezini, Mira (2017):
A Co-contextual Type Checker for Featherweight Java.
In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), pp. 18:1-18:26, DOI: 10.4230/LIPIcs.ECOOP.2017.18,
[Online-Edition: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7262],
[Book Section]

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Kovacs, Laura and Voronkov, Andrei (eds.) (2017):
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
In: Vampire 2016. Proceedings of the 3rd Vampire Workshop, pp. 33-45, [Online-Edition: http://easychair.org/publications/paper/Automating_Proof_Ste...],
[Book Section]

Grewe, Sylvia and Erdweg, Sebastian and Raulf, Michael and 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, ACM, pp. 104-117, [Online-Edition: http://doi.acm.org/10.1145/2967973.2968606],
[Book Section]

Bračevac, Oliver and Erdweg, Sebastian and Salvaneschi, Guido and Mezini, Mira (2016):
CPL: A Core Language for Cloud Computing.
In: Proceedings of the 15th International Conference on Modularity, New York, NY, USA, ACM, pp. 94-105, [Online-Edition: http://doi.acm.org/10.1145/2889443.2889452],
[Book Section]

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

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

Grewe, Sylvia and Erdweg, Sebastian and Wittmann, Pascal and 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, ACM, pp. 137-150, [Online-Edition: http://doi.acm.org/10.1145/2814228.2814239],
[Book Section]

Erdweg, Sebastian and Bračevac, Oliver and Kuci, Edlira and Krebs, Matthias and Mezini, Mira (2015):
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, New York, NY, USA, ACM, pp. 880-897, [Online-Edition: http://doi.acm.org/10.1145/2814270.2814277],
[Book Section]

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

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

Erdweg, Sebastian and Vergu, Vlad and Mezini, Mira and 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, [Online-Edition: http://dx.doi.org/10.1145/2584469.2584474],
[Conference or Workshop Item]

Weiel, Manuel and Maier, Ingo and Erdweg, Sebastian and Eichberg, Michael and Mezini, Mira (2014):
Towards virtual traits in Scala.
In: Proceedings of the Fifth Anuual Scala Workshop on - SCALA '14, [Online-Edition: http://dx.doi.org/10.1145/2637647.2637654],
[Conference or Workshop Item]

Aly, Mohamed and Charfi, Anis and Erdweg, Sebastian and Mezini, Mira (2013):
XPoints: Extension Interfaces for Multilayered Applications.
In: Enterprise Distributed Object Computing Conference (EDOC), 2013 17th IEEE International, Vancouver, Canada, 9 - 13 Sept., [Online-Edition: http://dx.doi.org/10.1109/EDOC.2013.34],
[Conference or Workshop Item]

Erdweg, Sebastian and Rieger, Felix (2013):
A Framework for Extensible Languages.
ACM, In: Proceedings of Conference on Generative Programming and Component Engineering (GPCE), [Online-Edition: http://erdweg.org/publications/language-extensibility-framew...],
[Conference or Workshop Item]

Lorenzen, Florian and 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, [Online-Edition: http://dx.doi.org/10.1145/2500365.2500596],
[Conference or Workshop Item]

Aly, Mohamed and Charfi, Anis and Erdweg, Sebastian and Mezini, Mira (2013):
XPoints: Extension Interfaces for Multilayered Applications.
In: 2013 17th IEEE International Enterprise Distributed Object Computing Conference, [Online-Edition: http://dx.doi.org/10.1109/EDOC.2013.34],
[Conference or Workshop Item]

Erdweg, Sebastian and Rieger, Felix (2013):
A framework for extensible languages.
In: Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13, [Online-Edition: http://dx.doi.org/10.1145/2517208.2517210],
[Conference or Workshop Item]

Erdweg, Sebastian and Rieger, Felix (2013):
A framework for extensible languages.
In: Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13, [Online-Edition: http://dx.doi.org/10.1145/2517208.2517210],
[Conference or Workshop Item]

This list was generated on Tue Oct 15 00:24:00 2019 CEST.