Guido Salvaneschi

Guido Salvaneschi

Title

Prof. Ph.D.

Last Name

Salvaneschi

First name

Guido

Email

guido.salvaneschi@unisg.ch

Now showing 1 - 10 of 16

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
Functional Programming for Distributed Systems with XC

Audrito, Giorgio
;
Casadei, Roberto
;
Damiani, Ferruccio
;
Salvaneschi, Guido
;
Viroli, Mirko

Type: conference paper

URI: https://www.alexandria.unisg.ch/handle/20.500.14171/117029
Towards Reliable Infrastructure as Code

( 2023)
Sokolowski, Daniel
;
Salvaneschi, Guido

Modern Infrastructure as Code (IaC) programs are increasingly complex and much closer to traditional software than to simple configuration scripts. Their reliability is crucial because their failure prevents the deployment of applications, and incorrect behavior can introduce malfunction and severe security issues. Yet, software engineering tools to develop reliable programs, such as testing and verification, are barely used in IaC. In fact, we observed that developers mainly rely on integration testing, a slow and expensive practice that can increase confidence in end-to-end functionality but is infeasible to systematically test IaC programs in various configurations—which is required to ensure robustness. On the other hand, fast testing techniques, such as unit testing, are cumbersome with IaC programs because, today, they require significant coding overhead while only providing limited confidence.To solve this issue, we envision the automated testing tool ProTI, reducing the manual overhead and boosting confidence in the test results. ProTI embraces modern unit testing techniques to test IaC programs in many different configurations. Out of the box, ProTI is a fuzzer for Pulumi TypeScript IaC programs, randomly testing the program in many different configurations for termination, configuration correctness, and existing policy compliance. Then developers can add specifications to their program to guide random-based value generation, test additional properties, and add further mocking, making ProTI a property-based testing tool. Lastly, we aim at automatically verifying IaC-specific properties, e.g., access paths between resources.

Type: conference paper

Journal: 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C)

DOI: 10.1109/ICSA-C57050.2023.00072

URI: https://www.alexandria.unisg.ch/handle/20.500.14171/117425
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

Guido Salvaneschi

Filters

Author

Keyword

Has files

Type

Settings

Sort By

Results per page

Options

Guido Salvaneschi

Filters

Author

Keyword

Has files

Type

Settings

Sort By

Results per page