Home

  • Automated Refactoring to Reactive Programming accepted at ASE 2019.
  • Language-Integrated Privacy-Aware Distributed Queries accepted at OOPSLA 2019.
  • A Fault-tolerant Programming Model for Distributed Interactive Applications accepted at OOPSLA 2019.
  • Multitier Modules with ScalaLoci accepted at ECOOP 2019.
  • How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 accepted at ECOOP 2019.
  • Distributed Systems Development with ScalaLoci accepted at OOPSLA 2018.
  • Thread-Safe Reactive Programming accepted at OOPSLA 2018.
  • Versatile Event Correlation with Algebraic Effects, accepted at ICFP 2018.
  • On the Semantics of Distributed Reactive Programming: the Cost of Consistency, accepted in IEEE Transactions on Software Engineering, TSE 2018.
  • Fault-tolerant Reactive Programming, accepted at ECOOP 2018.

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.
  • Programming models for distributed systems and security.
  • Reactive applications, (distributed) event processing, functional reactive programming.
  • Self-adaptive software, autonomic computing.

Students:

M.Sc. Pascal Weisenburger
M.Sc.
 Mirko Köhler
M.Sc. Aditya Oak
M.Sc. Felix Weirich
M.Sc. Daniel Sokolowski
M. Sc. Nafise Eskandani

Projects

  • LOEWE-Zentrum emergenCITY (as of January 2020).
  • LOEWE project Software-Factory 4.0.
    http://www.software-factory-4-0.de
  • CRISP National center for applied cybersecurity, mission “Decentralized Cybersecurity” 2019.
    https://www.crisp-da.de/en/
  • Privacy-Aware Distributed Computation”, DFG SFB,  Subproject E05 in the CROSSING collaborative project (Sonderforschungsbereich 1119, CROSSING – Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments).
  • Amazon AWS Cloud Credits for Research initiative supports us with 8K AWS credits to bring distributed Reactive Programming to the Cloud.
  • 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).

Organization of scientific events

  • I’m co-organizing the DEBS’19 conference in Darmstadt.
  • Dagstuhl Seminar “Programming Languages for Distributed Systems and Distributed Data Management” (19442), 2019.
  • NII Shonan Meeting on “Programming Languages for Distributed Systems”, 2019.
  • I’m organizing the REBLS workshop series at Splash: REBLS’19,’18,’17,’16,’15,’14,REM’13.
  • COP’16 workshop at ECOOP.

Current Service

ESOP’21 conference (PC)
ECOOP’20 conference (PC)
ICFP’20 conference (ERC)
PROGRAMMING’20 conference (PC)
CCGrid’20 conference (PC)
FORTE’19 conference (PC)
MPLR’19 conference (PC)
PROGRAMMING’19 conference (PC)
PROGRAMMING’18 conference (Program Chair)
Onward!’18 conference (PC)
The Dynamic Language Symposium DLS’18 (PC)
COP’18 (PC)
PX’18 (PC)
PROGRAMMING’17 conference (PC)
ICSME-NIER 2017 (PC)
SCALA Symposium (PC)
SPLASH’17 Workshops (PC)
SPLASH’17 Doctoral Symposium (PC)
LASSY’17 (PC)
PX’17 (PC)
COP’17 (PC)
ALP4IoT2017 (co-organizer)

Previous

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.

Bio

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.