Guido Salvaneschi

Orcid: 0000-0002-9324-8894

Affiliations:
  • University of St.Gallen, Switzerland


According to our database1, Guido Salvaneschi authored at least 101 papers between 2010 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automated Infrastructure as Code Program Testing.
IEEE Trans. Software Eng., June, 2024

The eXchange Calculus (XC): A functional programming language design for distributed collective systems.
J. Syst. Softw., April, 2024

Automated Verification of Fundamental Algebraic Laws.
Proc. ACM Program. Lang., 2024

The PIPr Dataset of Public Infrastructure as Code Programs.
Proceedings of the 21st IEEE/ACM International Conference on Mining Software Repositories, 2024

Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code.
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Towards AI for Software Systems.
Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024

Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems.
Proceedings of the Active Object Languages: Current Research Trends, 2024

2023
Type-Safe Dynamic Placement with First-Class Placed Values.
Proc. ACM Program. Lang., October, 2023

Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.
ACM Trans. Program. Lang. Syst., September, 2023

The uphill journey of FaaS in the open-source community.
J. Syst. Softw., April, 2023

Decentralizing Infrastructure as Code.
IEEE Softw., 2023

Type-Checking CRDT Convergence.
Proc. ACM Program. Lang., 2023

Extensible Testing for Infrastructure as Code.
Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

Safe Combination of Data-Centric and Operation-Centric Consistency.
Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

Real-time Collaboration in Linked Data Systems.
Proceedings of the ISWC 2023 Posters, 2023

Towards Reliable Infrastructure as Code.
Proceedings of the 20th International Conference on Software Architecture, 2023

Stateful Entities: Object-oriented Cloud Applications as Distributed Dataflows.
Proceedings of the 13th Conference on Innovative Data Systems Research, 2023

2022
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact).
Dagstuhl Artifacts Ser., 2022

Functional Programming for Distributed Systems with XC (Artifact).
Dagstuhl Artifacts Ser., 2022

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version).
CoRR, 2022

Change Is the Only Constant: Dynamic Updates for Workflows.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract).
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Functional Programming for Distributed Systems with XC.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021
TCEP: Transitions in operator placement to adapt to dynamic network environments.
J. Comput. Syst. Sci., 2021

A Survey of Multitier Programming.
ACM Comput. Surv., 2021

Automating serverless deployments for DevOps organizations.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Enclave-Based Secure Programming with JE.
Proceedings of the IEEE Secure Development Conference, 2021

The Wonderless Dataset for Serverless Computing.
Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

Multiparty Languages: The Choreographic and Multitier Cases (Pearl).
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

Language Support for Secure Software Development with Enclaves.
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala.
Art Sci. Eng. Program., 2020

Handling bidirectional control flow.
Proc. ACM Program. Lang., 2020

Rethinking safe consistency in distributed object-oriented programming.
Proc. ACM Program. Lang., 2020

Handling Bidirectional Control Flow: Technical Report.
CoRR, 2020

Leveraging Hybrid Cloud HPC with Multitier Reactive Programming.
Proceedings of the IEEE/ACM International Workshop on Interoperability of Supercomputing and Cloud Technologies, 2020

A programming model for semi-implicit parallelization of static analyses.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

ConSysT: tunable, safe consistency meets object-oriented programming.
Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020

2019
Programming Languages for Distributed Systems (NII Shonan Meeting 149).
NII Shonan Meet. Rep., 2019

Language-integrated privacy-aware distributed queries.
Proc. ACM Program. Lang., 2019

A fault-tolerant programming model for distributed interactive applications.
Proc. ACM Program. Lang., 2019

Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442).
Dagstuhl Reports, 2019

Type-safe, Polyvariadic Event Correlation.
CoRR, 2019

On Context-Orientation in Aggregate Programming.
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

Language support for multiple privacy enhancing technologies.
Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

Distributed object-oriented programming with multiple consistency levels in ConSysT.
Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019

GRASS: generic reactive application-specific scheduling.
Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2019

Automated Refactoring to Reactive Programming.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Multitier Modules.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Developing Distributed Systems with Multitier Programming.
Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, 2019

2018
On the Semantics of Distributed Reactive Programming: The Cost of Consistency.
IEEE Trans. Software Eng., 2018

Distributed system development with ScalaLoci.
Proc. ACM Program. Lang., 2018

Thread-safe reactive programming.
Proc. ACM Program. Lang., 2018

Versatile event correlation with algebraic effects.
Proc. ACM Program. Lang., 2018

Reactive programming experience with REScala.
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Towards safe modular composition of network functions.
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Static latency tracking with placement types.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Lattice based modularization of static analyses.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Fault-tolerant Distributed Reactive Programming.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

TCEP: Adapting to Dynamic User Environments by Enabling Transitions between Operator Placement Mechanisms.
Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, 2018

Multimodal Complex Event Processing on Mobile Devices.
Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, 2018

2017
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study.
IEEE Trans. Software Eng., 2017

Editorial: Introducing The Art, Science, and Engineering of Programming - An Open Access Journal for All-Things Programming.
Art Sci. Eng. Program., 2017

Quality-Aware Runtime Adaptation in Complex Event Processing.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Consistency Types for Safe and Efficient Distributed Programming.
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

2016
CPL: A Core Language for Cloud Computing - Technical Report.
CoRR, 2016

An empirical study on program comprehension with reactive programming.
Proceedings of the Software Engineering 2016, 2016

SecureScala: Scala embedding of secure computations.
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Reactive Async: expressive deterministic concurrency.
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Accepting blame for safe tunneled exceptions.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

What do we really know about data flow languages?
Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools, 2016

Debugging reactive programming with reactive inspector.
Proceedings of the 38th International Conference on Software Engineering, 2016

Debugging for reactive programming.
Proceedings of the 38th International Conference on Software Engineering, 2016

CPL: a core language for cloud computing.
Proceedings of the 15th International Conference on Modularity, 2016

2015
ContextErlang: A language for distributed context-aware self-adaptive applications.
Sci. Comput. Program., 2015

Lightweight, flexible object-oriented generics.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015).
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Reactive Programming: A Walkthrough.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Programming with Implicit Flows.
IEEE Softw., 2014

i3QL: language-integrated live data views.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Distributed REScala: an update algorithm for distributed reactive programming.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

We have a DREAM: distributed reactive programming with consistency guarantees.
Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

REScala: bridging between object-oriented and functional style in reactive applications.
Proceedings of the 13th International Conference on Modularity, 2014

JEScala: modular coordination with declarative events and joins.
Proceedings of the 13th International Conference on Modularity, 2014

2013
Towards Reactive Programming for Object-Oriented Applications.
LNCS Trans. Aspect Oriented Softw. Dev., 2013

An Analysis of Language-Level Support for Self-Adaptive Software.
ACM Trans. Auton. Adapt. Syst., 2013

Towards Distributed Reactive Programming.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Reactive behavior in object-oriented applications: an analysis and a research roadmap.
Proceedings of the Aspect-Oriented Software Development, 2013

2012
A language-level approach to self-adaptive software.
PhD thesis, 2012

Context-oriented programming: A software engineering perspective.
J. Syst. Softw., 2012

ContextErlang: introducing context-oriented programming in the actor model.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011
Metrics of Software Security.
Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Context-Oriented Programming: A Programming Paradigm for Autonomic Systems
CoRR, 2011

An evaluation of the adaptation capabilities in programming languages.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Finding Non-trivial Malware Naming Inconsistencies.
Proceedings of the Information Systems Security - 7th International Conference, 2011

JavaCtx: seamless toolchain integration for context-oriented programming.
Proceedings of the 3rd International Workshop on Context-Oriented Programming, 2011

2010
Identifying Dormant Functionality in Malware Programs.
Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Programming language support to context-aware adaptation: a case-study with Erlang.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

Automatic Cross Validation of Multiple Specifications: A Case Study.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

Context oriented programming in highly concurrent systems.
Proceedings of the 2nd International Workshop on Context-Oriented Programming, 2010


  Loading...