Pascal Weisenburger

Pascal Weisenburger

Last Name

Weisenburger

First name

Pascal

Email

pascal.weisenburger@unisg.ch

ORCID

0000-0003-1288-1485

Phone

+41 71 224 7867

Now showing 1 - 10 of 18

Decentralizing Infrastructure as Code

( 2023)
Daniel Sokolowski
;
Pascal Weisenburger
;
Guido Salvaneschi

Infrastructure as Code (IaC) automates deployments for single teams, falling short of decentralized deployments across groups. We need mature IaC solutions that embrace and consolidate software engineering principles to enable testing and automation advances for decentralized organizations.

Type: journal article

Journal: IEEE Software

Volume: 40

Issue: 1

URL: https://doi.org/10.1109/MS.2022.3192968

DOI: 10.1109/MS.2022.3192968

URI: https://www.alexandria.unisg.ch/handle/20.500.14171/118591
TCEP: Transitions in Operator Placement to Adapt to Dynamic Network Environments

( 2021)
Luthra, Manisha
;
Koldehofe, Boris
;
Danger, Niels
;
Weisenberger, Pascal
;
Salvaneschi, Guido
;
Stavrakakis, Ioannis

Type: journal article

Journal: Journal of Computer and System Sciences

Volume: 122

URL: https://doi.org/10.1016/j.jcss.2021.05.003

URI: https://www.alexandria.unisg.ch/handle/20.500.14171/111154
A Survey of Multitier Programming

( 2021)
Weisenburger, Pascal
;
Wirth, Johannes
;
Salvaneschi, Guido

Type: journal article

Journal: ACM Computing Surveys

Volume: 53

Issue: 4

URL: https://doi.org/10.1145/3397495

URI: https://www.alexandria.unisg.ch/handle/20.500.14171/111420
Rethinking Safe Consistency in Distributed Object-Oriented Programming

( 2020)
Köhler, Mirko
;
Eskandani, Nafise
;
Weisenburger, Pascal
;
Margara, Alessandro
;
Salvaneschi, Guido

Type: journal article

Journal: Proceedings of the ACM on Programming Languages

Volume: 4

Issue: OOPSLA

URL: https://doi.org/10.1145/3428256

URI: https://www.alexandria.unisg.ch/handle/20.500.14171/112919
Distributed System Development with ScalaLoci

( 2018)
Weisenburger, Pascal
;
Köhler, Mirko
;
Salvaneschi, Guido

Type: journal article

Journal: Proceedings of the ACM on Programming Languages

Volume: 2

Issue: OOPSLA

URL: https://doi.org/10.1145/3276499

URI: https://www.alexandria.unisg.ch/handle/20.500.14171/101656
Type-Checking CRDT Convergence

( 2023-06-06)
George Zakhour
;
Pascal Weisenburger
;
Guido Salvaneschi

Conflict-Free Replicated Data Types (CRDTs) are a recent approach for keeping replicated data consistent while guaranteeing the absence of conflicts among replicas. For correct operation, CRDTs rely on a merge function that is commutative, associative and idempotent. Ensuring that such algebraic properties are satisfied by implementations, however, is left to the programmer, resulting in a process that is complex and error-prone. While techniques based on testing, automatic verification of a model, and mechanized or handwritten proofs are available, we lack an approach that is able to verify such properties on concrete CRDT implementations. In this paper, we present Propel, a programming language with a type system that captures the algebraic properties required by a correct CRDT implementation. The Propel type system deduces such properties by case analysis and induction: sum types guide the case analysis and algebraic properties in function types enable induction for free. Propel’s key feature is its capacity to reason about algebraic properties (a) in terms of rewrite rules and (b) to derive the equality or inequality of expressions from the properties. We provide an implementation of Propel as a Scala embedding, we implement several CRDTs, verify them with Propel and compare the verification process with four state-of-the-art verification tools. Our evaluation shows that Propel is able to automatically deduce the properties that are relevant for common CRDT implementations found in open-source libraries even in cases in which competitors timeout.

Type: conference paper

Journal: Proceedings of the ACM on Programming Languages

Volume: 7

Issue: PLDI

URL: https://programming-group.com/assets/pdf/papers/2023_Type-Checking-CRDT-Convergence.pdf

DOI: 10.1145/3591276

URI: https://www.alexandria.unisg.ch/handle/20.500.14171/117437
Prisma: A Tierless Language for Enforcing Contract-client Protocols in Decentralized Apps

( 2022-06)
Richter, David
;
Kretzler, David
;
Weisenburger, Pascal
;
Salvaneschi, Guido
;
Faust, Sebastian
;
Mezini, Mira

Type: conference paper

Volume: 222

URL: https://drops.dagstuhl.de/opus/volltexte/2022/16263

URI: https://www.alexandria.unisg.ch/handle/20.500.14171/108678
Change is the only constant: Dynamic Update for Workflows

( 2022)
Sokolowski, Daniel
;
Weisenburger, Pascal
;
Salvaneschi, Guido

Type: conference paper

URL: https://doi.org/10.1145/3510003.3510065

URI: https://www.alexandria.unisg.ch/handle/20.500.14171/109540
Multiparty Languages: The Choreographic and Multitier Cases

( 2021-07)
Giallorenzo, Saverio
;
Montesi, Fabrizio
;
Peressotti, Marco
;
Richter, David
;
Salvaneschi, Guido
;
Weisenburger, Pascal

Type: conference paper

Volume: 194

URL: https://drops.dagstuhl.de/opus/volltexte/2021/14065

URI: https://www.alexandria.unisg.ch/handle/20.500.14171/110253
Automating serverless deployments for DevOps organizations

( 2021)
Sokolowski, Daniel
;
Weisenburger, Pascal
;
Salvaneschi, Guido

Type: conference paper

URL: https://doi.org/10.1145/3468264.3468575

URI: https://www.alexandria.unisg.ch/handle/20.500.14171/111357

Pascal Weisenburger

Filters

Author

Keyword

Has files

Type

Settings

Sort By

Results per page

Options

Pascal Weisenburger

Filters

Author

Keyword

Has files

Type

Settings

Sort By

Results per page