Pascal Weisenburger

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 31

Top Topics

Oriented Programming

Distributed Systems

Event Processing

Contractual Obligations

Top Venues

Proc. ACM Program. Lang.

Publications

George Zakhour, Pascal Weisenburger, Guido Salvaneschi
Automated Verification of Fundamental Algebraic Laws. Proc. ACM Program. Lang. 8 (PLDI) (2024)
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
Compiling with Arrays. CoRR (2024)
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
A Direct-Style Effect Notation for Sequential and Parallel Programs. ECOOP (2023)
George Zakhour, Pascal Weisenburger, Guido Salvaneschi
Type-Safe Dynamic Placement with First-Class Placed Values. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
A Direct-Style Effect Notation for Sequential and Parallel Programs. CoRR (2023)
Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
Decentralizing Infrastructure as Code. IEEE Softw. 40 (1) (2023)
George Zakhour, Pascal Weisenburger, Guido Salvaneschi
Type-Checking CRDT Convergence. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
Change Is the Only Constant: Dynamic Updates for Workflows. ICSE (2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). ECOOP (2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version). CoRR (2022)
Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
Automating serverless deployments for DevOps organizations. ESEC/SIGSOFT FSE (2021)
Manisha Luthra, Boris Koldehofe, Niels Danger, Pascal Weisenburger, Guido Salvaneschi, Ioannis Stavrakakis
TCEP: Transitions in Operator Placement to Adapt to Dynamic Network Environments. CoRR (2021)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
Multiparty Languages: The Choreographic and Multitier Cases (Pearl). ECOOP (2021)
Manisha Luthra, Boris Koldehofe, Niels Danger, Pascal Weisenburger, Guido Salvaneschi, Ioannis Stavrakakis
TCEP: Transitions in operator placement to adapt to dynamic network environments. J. Comput. Syst. Sci. 122 (2021)
Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, Guido Salvaneschi
Rethinking safe consistency in distributed object-oriented programming. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Pascal Weisenburger, Guido Salvaneschi
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala. Art Sci. Eng. Program. 4 (3) (2020)
Pascal Weisenburger, Johannes Wirth, Guido Salvaneschi
A Survey of Multitier Programming. ACM Comput. Surv. 53 (4) (2020)
Pascal Weisenburger, Guido Salvaneschi
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala. CoRR (2020)
Pascal Weisenburger, Guido Salvaneschi
Multitier Modules. ECOOP (2019)
Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi
GRASS: generic reactive application-specific scheduling. REBLS@SPLASH (2019)
Lars Baumgärtner, Jonas Höchst, Patrick Lampe, Ragnar Mogk, Artur Sterz, Pascal Weisenburger, Mira Mezini, Bernd Freisleben
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City. GHTC (2019)
Pascal Weisenburger, Guido Salvaneschi
Developing Distributed Systems with Multitier Programming. DEBS (2019)
Lars Baumgärtner, Jonas Höchst, Patrick Lampe, Ragnar Mogk, Artur Sterz, Pascal Weisenburger, Mira Mezini, Bernd Freisleben
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City. CoRR (2019)
Pascal Weisenburger, Tobias Reinhard, Guido Salvaneschi
Static latency tracking with placement types. ISSTA/ECOOP Workshops (2018)
Manisha Luthra, Boris Koldehofe, Pascal Weisenburger, Guido Salvaneschi, Raheel Arif
TCEP: Adapting to Dynamic User Environments by Enabling Transitions between Operator Placement Mechanisms. DEBS (2018)
Pascal Weisenburger, Mirko Köhler, Guido Salvaneschi
Distributed system development with ScalaLoci. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Pascal Weisenburger, Manisha Luthra, Boris Koldehofe, Guido Salvaneschi
Quality-Aware Runtime Adaptation in Complex Event Processing. SEAMS@ICSE (2017)
Pascal Weisenburger
Multitier reactive abstractions. SPLASH (Companion Volume) (2016)