• Subproject E05 – “Privacy-Aware Distributed Computation”, accepted in the CROSSING collaborative project (SFB) phase 2.
  • Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini, Versatile Event Correlation with Algebraic Effects, accepted at ICFP 2018.
  • Alessandro Margara, Guido Salvaneschi, On the Semantics of Distributed Reactive Programming: the Cost of Consistency, accepted in IEEE Transactions on Software Engineering, 2018. Preprint available soon.
  • Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini, Fault-tolerant Reactive Programming, accepted at ECOOP 2018.
  • Pablo Graubner, Artur Sterz, Christoph Thelen, Michael Körber, Guido Salvaneschi, Mira Mezini, Bernhard Seeger and Bernd Freisleben, Multimodal Complex Event Processing on Mobile Devices, accepted at DEBS 2018.
  • Manisha Luthra, Boris Koldehofe, Pascal Weisenburger, Guido Salvaneschi and Raheel Arif,
    TCEP: Adapting to Dynamic User Environment by Enabling Transitions between Operator Placement Mechanisms, accepted at DEBS 2018.
  • Ragnar Mogk, Guido Salvaneschi, Mira Mezini, Reactive Programming Experience with REScala, accepted at PX@<Programming> 2018.
  • Matthias Eichholz, Guido Salvaneschi, Mira Mezini, Towards Safe Modular Composition of Network Functions, accepted at PASS@<Programming> 2018.
  • My project “Distributed Systems Development with Multitier Reactive Programming” financed by DFG with 200k EUR.
  • “G. Salvaneschi, S. Proksch, S. Amann, S. Nadi, M. Mezini, On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study” published in IEEE Transactions on Software Engineering.
  • A. Margara, G. Salvaneschi, Consistency Types for Safe and Efficient Distributed Programming, accepted at FTFJP 2017.

We are looking for talented students who want to do their PhD in the area of Programming Languages and Software Engineering – See the ‘Open Positions’ section for more details. 

About me

I’m an assistant professor at TU Darmstadt, where I’m leading the Reactive Software Systems group.

  • Programming languages and software engineering.
  • Reactive applications, event processing, functional reactive programming.
  • Self-adaptive software, autonomic computing.

PhD Students:

Pascal Weisenburger
Mirko Köhler


  • Privacy-Aware Distributed Computation”, DFG SFB,  Subproject E05 in the CROSSING collaborative project (Sonderforschungsbereich 1119, CROSSING – Cryptography-Based Security Solutions: En- abling Trust in New and Next Generation Computing Environments).
  • Distributed Systems Development with Multitier Reactive Programming”, DFG Individual Research Program.
  • Reactive Design for Object-Oriented Programming”, DFG Individual Research Program.
  • Event-Based Communication in Programmable Networks”, DFG SFB,  Subproject C02 in the MAKI collaborative project (Sonderforschungsbereich 1053, MAKI – Multi-Mechanismen-Adaption für das künftige Internet).

Current Service

PROGRAMMING’18 (Program Chair)
Onward!’18 (PC)
The Dynamic Language Symposium DLS’18 (PC)
COP’18 (PC)
PX’18 (PC)
SCALA Symposium (PC)
SPLASH’17 Workshops (PC)
SPLASH’17 Doctoral Symposium (PC)
PX’17 (PC)
COP’17 (PC)
ALP4IoT2017 (co-organizer)


Co-organizing the REBLS workshop series at Splash: REBLS’17,’16,’15,’14,REM’13. Co-organizing the COP’16 workshop. I served in the program committee of MODULARITY’16 and ’14, LASSY’15, CROW’16, Scala Symposium 2015, DEBS’15 posters & demo, COP’15FOAL’14.

Reviewer for journals: IEEE Transactions on Software Engineering, ACM Transactions on Software Engineering and Methodology, Elsevier Journal of Systems and Software, Elsevier Information and Software Technology, LNCS Transactions on Aspect-Oriented Software Development.


I got my PhD from Dipartimento di Elettronica e Informazione at Politecnico di Milano, under the supervision of Prof. Carlo Ghezzi. My doctoral dissertation focuses on context-oriented programming and language-level techniques for adaptive software.Visiting Ph.D. student, Fall 2011, Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, Supervisor: Prof. Barbara Liskov. Visiting Ph.D. student, Spring 2011, Technical University of Darmstadt, Computer Engineering Department, Supervisor: Prof. Mira Mezini. I’m an assistant professor at TU Darmstadt since fall 2016.