conf.researchr.org / Guido Salvaneschi
Registered user since Tue 1 Jul 2014
Name:Guido Salvaneschi
Country:Switzerland
Affiliation:University of St. Gallen
Personal website: http://www.guidosalvaneschi.com/
Research interests:Programming languages, software engineering
Contributions
2025
‹Programming›
2024
ECOOP
PLDI
Choreographic Programming
ICSA
ICSE
Mining Software Repositories
2023
CONFLANG
REBLS
SPLASH
- PC Member in OOPSLA Review Committee within the OOPSLA-track
- Author of Type-Safe Dynamic Placement with First-Class Placed Values within the OOPSLA-track
- Author of Safe Combination of Data-centric and Operation-centric Consistency within the Posters-track
- Session Chair of AI4SE (part of OOPSLA)
- Author of Extensible Testing for Infrastructure as Code within the Posters-track
ECOOP
‹Programming›
2022
SPLASH
ESEC/FSE
ECOOP
- Author of Prisma: A tierless language for enforcing contract-client protocols in decentralized apps within the Research Papers-track
- Committee Member in Program Committee within the Research Papers-track
- Author of Programming languages and semantics within the Expert Discussion-track
- Co-chair in Chairs within the Workshops-track
- Session Chair of Language Implementation (part of Research Papers)
- Keynote Speaker of Are Programming Languages the Key to Distributed Systems? within the Research Papers-track
- Presenter of Awards, Outlooks, and Farewells within the Keynotes-track
- Workshops Co-Chair in Organizers
- Author of Functional programming for distributed systems with XC within the Research Papers-track
ICSE
- Committee Member in Program Committee within the Technical Track-track
- Author of Change Is the Only Constant: Dynamic Updates for Workflows within the Technical Track-track
- Session Chair of Validation and Verification 7 (part of Technical Track)
- Session Chair of Tools and Environments 4 (part of Technical Track)
2021
Mining Software Repositories
‹Programming›
- Session Chair of Session 12 (part of Research Papers)
- Committee Member in Program Committee within the Research Papers-track
- Author of Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala within the Research Papers-track
- Committee Member in Steering Committee
- Author of Techniques for Mixed Consistency in Programming Languages within the Conversation Starters-track
2020
SPLASH
REBLS
Scala
‹Programming›
ProWeb
2019
SPLASH
- Author of Multitier Reactive Programming in High Performance Computing within the Posters-track
- Author of Language-Integrated Privacy-Aware Distributed Queries within the Posters-track
- Author of Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT within the Posters-track
- Committee Member in Program Committee within the Doctoral Symposium-track
- Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the OOPSLA-track
- Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track
- Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the Posters-track
Incremental Computing
REBLS
- Author of Multitier Reactive Programming in High Performance Computing within the REBLS-track
- Committee Member in Organizing Committee within the REBLS-track
- Author of GRASS: Generic Reactive Application-Specific Scheduling within the REBLS-track
- Committee Member in Organizing Committee within the REBLS-track
ECOOP
- Author of How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 within the Research Papers-track
- Committee Member in Academic Panel within the Doctoral Symposium-track
- Author of Distributed System Development with ScalaLoci within the Posters-track
- Author of Type-Safe Data Plane Programming with SafeP4 within the Posters-track
- Author of Keynote: A Roadmap to PhD: Impressions and Experiences within the Doctoral Symposium-track
- Author of Multitier Modules within the Research Papers-track
MoreVMs
‹Programming›
2018
LIVE
REBLS
SPLASH
- Author of Distributed System Development with ScalaLoci within the Posters-track
- Author of Thread-Safe Reactive Programming within the OOPSLA-track
- Author of Thread-Safe Reactive Programming within the Posters-track
- Author of Thread-Safe Reactive Programming within the Artifacts-track
- Author of Distributed System Development with ScalaLoci within the OOPSLA-track
- Author of Distributed System Development with ScalaLoci within the Artifacts-track
FTfJP
ECOOP
ECOOP/ISSTA
‹Programming›
PX
2017
SPLASH
Scala
Incremental Computing
Live Adaptation of Software SYstems
‹Programming›
- Committee Member in Steering Committee
- Committee Member in Program Committee within the Research Papers-track
- Session Chair of Research Papers 1 (part of Research Papers)
- Contributor/Author of Steering Committee Meeting within the Organizational-track
- Contributor/Author of Steering Committee Meeting within the Organizational-track