Pascal Weisenburger

38 papers A* 1A 5Journal 21Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications.
IEEE Trans. Software Eng.
Mirko Köhler, George Zakhour, Pascal Weisenburger, Guido Salvaneschi
2025 J jnl
Dis/Equality Graphs.
Proc. ACM Program. Lang.
George Zakhour, Pascal Weisenburger, Jahrim Gabriele Cesario, Guido Salvaneschi
2024 J jnl
Automated Verification of Fundamental Algebraic Laws.
Proc. ACM Program. Lang.
George Zakhour, Pascal Weisenburger, Guido Salvaneschi
2024 — ch.
Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems.
Active Object Languages: Current Research Trends
Guido Salvaneschi, Pascal Weisenburger
2024 J jnl
Compiling with Arrays (Artifact).
Dagstuhl Artifacts Ser.
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2024 A conf
Compiling with Arrays.
ECOOP
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2024 J jnl
Compiling with Arrays.
CoRR
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2023 J jnl
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact).
Dagstuhl Artifacts Ser.
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2023 A conf
A Direct-Style Effect Notation for Sequential and Parallel Programs.
ECOOP
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2023 J jnl
A Direct-Style Effect Notation for Sequential and Parallel Programs.
CoRR
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2023 J jnl
Decentralizing Infrastructure as Code.
IEEE Softw.
Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
2023 J jnl
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.
ACM Trans. Program. Lang. Syst.
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2023 J jnl
Type-Checking CRDT Convergence.
Proc. ACM Program. Lang.
George Zakhour, Pascal Weisenburger, Guido Salvaneschi
2023 J jnl
Type-Safe Dynamic Placement with First-Class Placed Values.
Proc. ACM Program. Lang.
George Zakhour, Pascal Weisenburger, Guido Salvaneschi
2022 A* conf
Change Is the Only Constant: Dynamic Updates for Workflows.
ICSE
Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
2022 J jnl
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact).
Dagstuhl Artifacts Ser.
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022 A conf
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract).
ECOOP
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022 J jnl
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version).
CoRR
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022 — ed.
Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2022, Auckland, New Zealand, 7 December 2022
REBLS@SPLASH
Wolfgang De Meuter, Patrick Eugster, Guido Salvaneschi, Francisco Sant'Anna, Lukasz Ziarek, Pascal Weisenburger
2021 J jnl
A Survey of Multitier Programming.
ACM Comput. Surv.
Pascal Weisenburger, Johannes Wirth, Guido Salvaneschi
2021 — conf
Automating serverless deployments for DevOps organizations.
ESEC/SIGSOFT FSE
Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
2021 A conf
Multiparty Languages: The Choreographic and Multitier Cases (Pearl).
ECOOP
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
2021 J jnl
TCEP: Transitions in Operator Placement to Adapt to Dynamic Network Environments.
CoRR
Manisha Luthra, Boris Koldehofe, Niels Danger, Pascal Weisenburger, Guido Salvaneschi, Ioannis Stavrakakis
2021 J jnl
TCEP: Transitions in operator placement to adapt to dynamic network environments.
J. Comput. Syst. Sci.
Manisha Luthra, Boris Koldehofe, Niels Danger, Pascal Weisenburger, Guido Salvaneschi, Ioannis Stavrakakis
2020 — —
A Programming Language for Distributed Systems.
Pascal Weisenburger
2020 J jnl
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala.
CoRR
Pascal Weisenburger, Guido Salvaneschi
2020 J jnl
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala.
Art Sci. Eng. Program.
Pascal Weisenburger, Guido Salvaneschi
2020 J jnl
Rethinking safe consistency in distributed object-oriented programming.
Proc. ACM Program. Lang.
Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, Guido Salvaneschi
2019 — conf
Developing Distributed Systems with Multitier Programming.
DEBS
Pascal Weisenburger, Guido Salvaneschi
2019 — conf
GRASS: generic reactive application-specific scheduling.
REBLS@SPLASH
Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi
2019 A conf
Multitier Modules.
ECOOP
Pascal Weisenburger, Guido Salvaneschi
2019 — conf
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City.
GHTC
Lars Baumgärtner, Jonas Höchst, Patrick Lampe, Ragnar Mogk, Artur Sterz, Pascal Weisenburger, Mira Mezini, Bernd Freisleben
2019 J jnl
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City.
CoRR
Lars Baumgärtner, Jonas Höchst, Patrick Lampe, Ragnar Mogk, Artur Sterz, Pascal Weisenburger, Mira Mezini, Bernd Freisleben
2018 J jnl
Distributed system development with ScalaLoci.
Proc. ACM Program. Lang.
Pascal Weisenburger, Mirko Köhler, Guido Salvaneschi
2018 — conf
Static latency tracking with placement types.
ISSTA/ECOOP Workshops
Pascal Weisenburger, Tobias Reinhard, Guido Salvaneschi
2018 — conf
TCEP: Adapting to Dynamic User Environments by Enabling Transitions between Operator Placement Mechanisms.
DEBS
Manisha Luthra, Boris Koldehofe, Pascal Weisenburger, Guido Salvaneschi, Raheel Arif
2017 — conf
Quality-Aware Runtime Adaptation in Complex Event Processing.
SEAMS@ICSE
Pascal Weisenburger, Manisha Luthra, Boris Koldehofe, Guido Salvaneschi
2016 — conf
Multitier reactive abstractions.
SPLASH (Companion Volume)
Pascal Weisenburger