Browsen nach Person

Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira :
A Co-contextual Type Checker for Featherweight Java.
[Online-Edition: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7262]
In: 31st European Conference on Object-Oriented Programming (ECOOP 2017). Leibniz International Proceedings in Informatics (LIPIcs), 74. , 18:1-18:26.
[Buchkapitel], (2017)

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

Grewe, Sylvia ; Erdweg, Sebastian ; Raulf, Michael ; Mezini, Mira :
Exploration of language specifications by compilation to first-order logic.
[Online-Edition: http://doi.acm.org/10.1145/2967973.2968606]
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.
[Buchkapitel], (2016)

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

Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Kovács, Laura ; Voronkov, Andrei (eds.) :
Using Vampire in Soundness Proofs of Type Systems.
[Online-Edition: http://easychair.org/publications/paper/Using_Vampire_in_Sou...]
In: EPiC Series in Computing .
[Konferenz- oder Workshop-Beitrag], (2016)

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

Grewe, Sylvia ; Erdweg, Sebastian ; Wittmann, Pascal ; Mezini, Mira :
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers.
[Online-Edition: http://doi.acm.org/10.1145/2814228.2814239]
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.
[Buchkapitel], (2015)

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

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

Erdweg, Sebastian ; Vergu, Vlad ; Mezini, Mira ; Visser, Eelco :
Finding bugs in program generators by dynamic analysis of syntactic language constraints.
[Online-Edition: http://dx.doi.org/10.1145/2584469.2584474]
Proceedings of the of the 13th international conference on Modularity - MODULARITY '14
[Konferenz- oder Workshop-Beitrag], (2014)

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

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

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

Lorenzen, Florian ; Erdweg, Sebastian :
Modular and automated type-soundness verification for language extensions.
[Online-Edition: http://dx.doi.org/10.1145/2500365.2500596]
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13
[Konferenz- oder Workshop-Beitrag], (2013)

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

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

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