Pascal Weisenburger

According to our database, Pascal Weisenburger authored at least 30 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automated Verification of Fundamental Algebraic Laws.

George Zakhour, Pascal Weisenburger, Guido Salvaneschi

Proc. ACM Program. Lang., 2024

Compiling with Arrays (Artifact).

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini

Dagstuhl Artifacts Ser., 2024

Compiling with Arrays.

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems.

Guido Salvaneschi, Pascal Weisenburger

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Type-Safe Dynamic Placement with First-Class Placed Values.

George Zakhour, Pascal Weisenburger, Guido Salvaneschi

Proc. ACM Program. Lang., October, 2023

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 Trans. Program. Lang. Syst., September, 2023

Decentralizing Infrastructure as Code.

Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi

IEEE Softw., 2023

Type-Checking CRDT Convergence.

George Zakhour, Pascal Weisenburger, Guido Salvaneschi

Proc. ACM Program. Lang., 2023

A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact).

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini

Dagstuhl Artifacts Ser., 2023

A Direct-Style Effect Notation for Sequential and Parallel Programs.

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact).

David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini

Dagstuhl Artifacts Ser., 2022

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version).

David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini

CoRR, 2022

Change Is the Only Constant: Dynamic Updates for Workflows.

Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

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

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

TCEP: Transitions in operator placement to adapt to dynamic network environments.

Manisha Luthra, Boris Koldehofe, Niels Danger, Pascal Weisenburger, Guido Salvaneschi, Ioannis Stavrakakis

J. Comput. Syst. Sci., 2021

A Survey of Multitier Programming.

Pascal Weisenburger, Johannes Wirth, Guido Salvaneschi

ACM Comput. Surv., 2021

Automating serverless deployments for DevOps organizations.

Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Multiparty Languages: The Choreographic and Multitier Cases (Pearl).

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

A Programming Language for Distributed Systems.

Pascal Weisenburger

PhD thesis, 2020

Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala.

Pascal Weisenburger, Guido Salvaneschi

Art Sci. Eng. Program., 2020

Rethinking safe consistency in distributed object-oriented programming.

Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, Guido Salvaneschi

Proc. ACM Program. Lang., 2020

2019

GRASS: generic reactive application-specific scheduling.

Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi

Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2019

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

Proceedings of the IEEE Global Humanitarian Technology Conference, 2019

Multitier Modules.

Pascal Weisenburger, Guido Salvaneschi

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Developing Distributed Systems with Multitier Programming.

Pascal Weisenburger, Guido Salvaneschi

Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, 2019

2018

Distributed system development with ScalaLoci.

Pascal Weisenburger, Mirko Köhler, Guido Salvaneschi

Proc. ACM Program. Lang., 2018

Static latency tracking with placement types.

Pascal Weisenburger, Tobias Reinhard, Guido Salvaneschi

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

TCEP: Adapting to Dynamic User Environments by Enabling Transitions between Operator Placement Mechanisms.

Manisha Luthra, Boris Koldehofe, Pascal Weisenburger, Guido Salvaneschi, Raheel Arif

Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, 2018

2017

Quality-Aware Runtime Adaptation in Complex Event Processing.

Pascal Weisenburger, Manisha Luthra, Boris Koldehofe, Guido Salvaneschi

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

2016

Multitier reactive abstractions.

Pascal Weisenburger

Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016