Guido Salvaneschi

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 78

Top Venues

Proc. ACM Program. Lang.

CoRR

ECOOP

DEBS

Publications

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
The eXchange Calculus (XC): A functional programming language design for distributed collective systems. J. Syst. Softw. 210 (2024)
Daniel Sokolowski, David Spielmann, Guido Salvaneschi
The PIPr Dataset of Public Infrastructure as Code Programs. MSR (2024)
George Zakhour, Pascal Weisenburger, Guido Salvaneschi
Automated Verification of Fundamental Algebraic Laws. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Kyriakos Psarakis, Wouter Zorgdrager, Marios Fragkoulis, Guido Salvaneschi, Asterios Katsifodimos
Stateful Entities: Object-oriented Cloud Applications as Distributed Dataflows. EDBT (2024)
Daniel Sokolowski, David Spielmann, Guido Salvaneschi
Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code. ICSE Companion (2024)
Daniel Sokolowski, David Spielmann, Guido Salvaneschi
Automated Infrastructure as Code Program Testing. IEEE Trans. Software Eng. 50 (6) (2024)
Nafise Eskandani, Guido Salvaneschi
Towards AI for Software Systems. AIware (2024)
Kyriakos Psarakis, Wouter Zorgdrager, Marios Fragkoulis, Guido Salvaneschi, Asterios Katsifodimos
Stateful Entities: Object-oriented Cloud Applications as Distributed Dataflows. CIDR (2023)
Jonathan Gruss, Andrei Ciortea, Guido Salvaneschi, Simon Mayer
Real-time Collaboration in Linked Data Systems. ISWC (Posters/Demos/Industry) (2023)
Mirko Köhler, Guido Salvaneschi
Safe Combination of Data-Centric and Operation-Centric Consistency. SPLASH Companion (2023)
Nafise Eskandani, Guido Salvaneschi
The uphill journey of FaaS in the open-source community. J. Syst. Softw. 198 (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 Spielmann, Daniel Sokolowski, Guido Salvaneschi
Extensible Testing for Infrastructure as Code. SPLASH Companion (2023)
Daniel Sokolowski, Guido Salvaneschi
Towards Reliable Infrastructure as Code. ICSA-C (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)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
Functional Programming for Distributed Systems with XC. ECOOP (2022)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
Functional Programming for Distributed Systems with XC (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 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)
Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi
Enclave-Based Secure Programming with JE. SecDev (2021)
Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
Automating serverless deployments for DevOps organizations. ESEC/SIGSOFT FSE (2021)
Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi
Language Support for Secure Software Development with Enclaves. CSF (2021)
Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming. ACSOS-C (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)
Nafise Eskandani, Guido Salvaneschi
The Wonderless Dataset for Serverless Computing. MSR (2021)
Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
Handling bidirectional control flow. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
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)
Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini
A programming model for semi-implicit parallelization of static analyses. ISSTA (2020)
Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
Handling Bidirectional Control Flow: Technical Report. CoRR (2020)
Mirko Köhler, Nafise Eskandani Masoule, Alessandro Margara, Guido Salvaneschi
ConSysT: tunable, safe consistency meets object-oriented programming. FTfJP@ECOOP (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)
Daniel Sokolowski, Jan-Patrick Lehr, Christian H. Bischof, Guido Salvaneschi
Leveraging Hybrid Cloud HPC with Multitier Reactive Programming. SuperCompCloud@SC (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)
Carla Ferreira, Philipp Haller, Guido Salvaneschi
Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442). Dagstuhl Reports 9 (10) (2019)
Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi
GRASS: generic reactive application-specific scheduling. REBLS@SPLASH (2019)
Philipp Haller, Guido Salvaneschi, Takuo Watanabe, Gul Agha
Programming Languages for Distributed Systems (NII Shonan Meeting 149). NII Shonan Meet. Rep. 2019 (2019)
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. ECOOP (2019)
Nafise Eskandani, Mirko Köhler, Alessandro Margara, Guido Salvaneschi
Distributed object-oriented programming with multiple consistency levels in ConSysT. SPLASH (Companion Volume) (2019)
Mirko Köhler, Guido Salvaneschi
Automated Refactoring to Reactive Programming. ASE (2019)
Aditya Oak, Mira Mezini, Guido Salvaneschi
Language support for multiple privacy enhancing technologies. Programming (2019)
Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini
Type-safe, Polyvariadic Event Correlation. CoRR (2019)
Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini
Language-integrated privacy-aware distributed queries. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. CoRR (2019)
Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
On Context-Orientation in Aggregate Programming. FAS*W@SASO/ICAC (2019)
Pascal Weisenburger, Guido Salvaneschi
Developing Distributed Systems with Multitier Programming. DEBS (2019)
Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, Mira Mezini
A fault-tolerant programming model for distributed interactive applications. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Alessandro Margara, Guido Salvaneschi
On the Semantics of Distributed Reactive Programming: The Cost of Consistency. IEEE Trans. Software Eng. 44 (7) (2018)
Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini
Fault-tolerant Distributed Reactive Programming. ECOOP (2018)
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)
Matthias Eichholz, Guido Salvaneschi, Mira Mezini
Towards safe modular composition of network functions. Programming (2018)
Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini
Versatile event correlation with algebraic effects. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Ragnar Mogk, Guido Salvaneschi, Mira Mezini
Reactive programming experience with REScala. Programming (2018)
Pablo Graubner, Christoph Thelen, Michael Körber, Artur Sterz, Guido Salvaneschi, Mira Mezini, Bernhard Seeger, Bernd Freisleben
Multimodal Complex Event Processing on Mobile Devices. DEBS (2018)
Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini
Lattice based modularization of static analyses. ISSTA/ECOOP Workshops (2018)
Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, Mira Mezini
Thread-safe reactive programming. Proc. ACM Program. Lang. 2 (OOPSLA) (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)
Alessandro Margara, Guido Salvaneschi
Consistency Types for Safe and Efficient Distributed Programming. FTfJP@ECOOP (2017)
Cristina V. Lopes, Shigeru Chiba, Theo D'Hondt, Wolfgang De Meuter, Richard P. Gabriel, Robert Hirschfeld, Tobias Pape, Guido Salvaneschi, Mario Südholt
Editorial: Introducing The Art, Science, and Engineering of Programming - An Open Access Journal for All-Things Programming. Art Sci. Eng. Program. 1 (1) (2017)
Guido Salvaneschi, Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study. IEEE Trans. Software Eng. 43 (12) (2017)
Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
CPL: A Core Language for Cloud Computing - Technical Report. CoRR (2016)
Guido Salvaneschi
What do we really know about data flow languages? PLATEAU@SPLASH (2016)
Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers
Accepting blame for safe tunneled exceptions. PLDI (2016)
Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
CPL: a core language for cloud computing. MODULARITY (2016)
Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi
Reactive Async: expressive deterministic concurrency. SCALA@SPLASH (2016)
Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi
SecureScala: Scala embedding of secure computations. SCALA@SPLASH (2016)
Guido Salvaneschi, Mira Mezini
Debugging reactive programming with reactive inspector. ICSE (Companion Volume) (2016)
Guido Salvaneschi, Mira Mezini
Debugging for reactive programming. ICSE (2016)
Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini
An empirical study on program comprehension with reactive programming. Software Engineering (2016)
Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers
Lightweight, flexible object-oriented generics. PLDI (2015)
Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek
Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015). SPLASH (Companion Volume) (2015)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
ContextErlang: A language for distributed context-aware self-adaptive applications. Sci. Comput. Program. 102 (2015)
Guido Salvaneschi, Alessandro Margara, Giordano Tamburrelli
Reactive Programming: A Walkthrough. ICSE (2) (2015)
Guido Salvaneschi, Patrick Eugster, Mira Mezini
Programming with Implicit Flows. IEEE Softw. 31 (5) (2014)
Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi
i3QL: language-integrated live data views. OOPSLA (2014)
Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini
An empirical study on program comprehension with reactive programming. SIGSOFT FSE (2014)
Jurgen Michael Van Ham, Guido Salvaneschi, Mira Mezini, Jacques Noyé
JEScala: modular coordination with declarative events and joins. MODULARITY (2014)
Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini
Distributed REScala: an update algorithm for distributed reactive programming. OOPSLA (2014)
Alessandro Margara, Guido Salvaneschi
We have a DREAM: distributed reactive programming with consistency guarantees. DEBS (2014)
Guido Salvaneschi, Gerold Hintz, Mira Mezini
REScala: bridging between object-oriented and functional style in reactive applications. MODULARITY (2014)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
An Analysis of Language-Level Support for Self-Adaptive Software. ACM Trans. Auton. Adapt. Syst. 8 (2) (2013)
Guido Salvaneschi, Mira Mezini
Towards Reactive Programming for Object-Oriented Applications. LNCS Trans. Aspect Oriented Softw. Dev. 11 (2013)
Guido Salvaneschi, Mira Mezini
Reactive behavior in object-oriented applications: an analysis and a research roadmap. AOSD (2013)
Guido Salvaneschi, Joscha Drechsler, Mira Mezini
Towards Distributed Reactive Programming. COORDINATION (2013)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
ContextErlang: introducing context-oriented programming in the actor model. AOSD (2012)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
Context-oriented programming: A software engineering perspective. J. Syst. Softw. 85 (8) (2012)
Federico Maggi, Andrea Bellini, Guido Salvaneschi, Stefano Zanero
Finding Non-trivial Malware Naming Inconsistencies. ICISS (2011)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming CoRR (2011)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
JavaCtx: seamless toolchain integration for context-oriented programming. COP@ECOOP (2011)
Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
An evaluation of the adaptation capabilities in programming languages. SEAMS (2011)
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
Context-Oriented Programming: A Programming Paradigm for Autonomic Systems CoRR (2011)

Guido Salvaneschi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Guido Salvaneschi