Dr. Pascal Weisenburger

Dr. Pascal Weisenburger

Dr. Pascal Weisenburger
pascal.weisenburger@unisg.ch
0000-0003-1288-1485
pweisenburger

School of Computer Science
Torstrasse 25
9000 St. Gallen, Switzerland

My current research focuses on the design of languages for distributed systems with a wide range of software architectures – e.g., peer-to-peer, cloud, edge, serverless, IoT – regarding areas such as sound programming models for the interaction between components, their composition, privacy protection issues, type systems for reasoning about the placement of data and computation.

Within the MAKI project, I worked on complex event processing (CEP) and multitier languages for developing modular distributed applications. I’m the main developer of the ScalaLoci multitier programming language.

I served in the program committee of ProWeb 2020 (Workshop on Programming Technology for the Future Web) at ‹Programming› ’20.

Short Bio

I got my PhD from the Departement of Computer Science at the Technical University of Darmstadt under the supervision of Prof. Guido Salvaneschi in 2020. My doctoral dissertation focuses on multitier programming for developing distributed software systems. I worked as a postdoc with Prof. Mira Mezini at the Technical University of Darmstadt until spring 2021. I joined the Programming Group at the University of St. Gallen in May 2021.

Publications

  1. Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems
    In Active Object Languages: Current Research Trends, Lecture Notes in Computer Science, 2024
  2. PLDI
    Propel
    Automated Verification of Fundamental Algebraic Laws
    In International Conference on Programming Language Design and Implementation, conditionally accepted, PLDI, 2024
  3. OOPSLA
    ScalaLoci
    Type-Safe Dynamic Placement with First-Class Placed Values
    Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2023
  4. TOPLAS
    Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications
    David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
    ACM Transactions on Programming Languages and Systems 45 (3), 2023
  5. ECOOP
    A Direct-Style Effect Notation for Sequential and Parallel Programs
    David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
    In Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP), Leibniz International Proceedings in Informatics (LIPIcs), 2023
  6. PLDI
    Propel
    Type-Checking CRDT Convergence
    Proceedings of the ACM on Programming Languages 7 (PLDI), 2023
  7. IEEE Software
    µs
    Decentralizing Infrastructure as Code
    IEEE Software 40 (1), 2023
  8. ECOOP
    Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract)
    David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
    In Proceedings of the 36th European Conference on Object-Oriented Programming (ECOOP), Leibniz International Proceedings in Informatics (LIPIcs), 2022
  9. ICSE
    Change Is the Only Constant: Dynamic Updates for Workflows
    In Proceedings of the 44th International Conference on Software Engineering, ICSE, 2022
  10. JCSS
    TCEP: Transitions in Operator Placement to Adapt to Dynamic Network Environments
    Manisha Luthra, Boris Koldehofe, Niels Danger, Pascal Weisenburger, Guido Salvaneschi, Ioannis Stavrakakis
    Journal of Computer and System Sciences 122, 2021
  11. ESEC/FSE
    µs
    Automating Serverless Deployments for DevOps Organizations
    In Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE, 2021
  12. ECOOP
    ScalaLoci
    Multiparty Languages: The Choreographic and Multitier Cases
    Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
    In Proceedings of the 35th European Conference on Object-Oriented Programming (ECOOP), Leibniz International Proceedings in Informatics (LIPIcs), 2021
  13. OOPSLA
    ConSysT
    Rethinking Safe Consistency in Distributed Object-Oriented Programming
    Proceedings of the ACM on Programming Languages 4 (OOPSLA), 2020
  14. A Survey of Multitier Programming
    ACM Computing Surveys 53 (4), 2020
  15. ‹Programming›
    ScalaLoci
    Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala
    The Art, Science, and Engineering of Programming 4 (3), 2020
  16. A Programming Language for Distributed Systems
    Doctoral dissertation, Technische Universität Darmstadt, 2020
  17. REBLS
    GRASS: Generic Reactive Application-Specific Scheduling
    Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi
    In Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS, 2019
  18. GHTC
    Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City
    Lars Baumgärtner, Jonas Höchst, Patrick Lampe, Ragnar Mogk, Artur Sterz, Pascal Weisenburger, Mira Mezini, Bernd Freisleben
    In Proceedings of the 2019 IEEE Global Humanitarian Technology Conference, GHTC, 2019
  19. ECOOP
    ScalaLoci
    Multitier Modules
    In Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP), Leibniz International Proceedings in Informatics (LIPIcs), 2019
  20. Tutorial: Developing Distributed Systems with Multitier Programming
    In Proceedings of the 13th ACM International Conference on Distributed and Event-Based Systems, DEBS, 2019
  21. OOPSLA
    ScalaLoci
    Distributed System Development with ScalaLoci
    Proceedings of the ACM on Programming Languages 2 (OOPSLA), 2018
  22. FTfJP
    ScalaLoci
    Static Latency Tracking with Placement Types
    In Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA/ECOOP Companion, 2018
  23. DEBS
    TCEP: Adapting to Dynamic User Environments by Enabling Transitions between Operator Placement Mechanisms
    Manisha Luthra, Boris Koldehofe, Pascal Weisenburger, Guido Salvaneschi, Raheel Arif
    In Proceedings of the 12th ACM International Conference on Distributed and Event-Based Systems, DEBS, 2018
  24. SEAMS
    Quality-Aware Runtime Adaptation in Complex Event Processing
    Pascal Weisenburger, Manisha Luthra, Boris Koldehofe, Guido Salvaneschi
    In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS, 2017
  25. SPLASH DS
    ScalaLoci
    Multitier Reactive Abstractions
    In Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH Companion, 2016