Guido Salvaneschi

Registered user since Tue 1 Jul 2014

Name:Guido Salvaneschi
Country:Switzerland
Affiliation:University of St. Gallen
Research interests:Programming languages, software engineering

Contributions

‹Programming› 2024 Programme Committee in Program Committee within the Research Papers-track
Steering Committee Chair in Steering Committee
SPLASH 2024 Committee Member in Review Committee within the OOPSLA 2024-track
ICSE 2024 Committee Member in New Ideas and Emerging Results within the New Ideas and Emerging Results-track
REBLS 2023 Committee Member in Organizing Committee within the REBLS-track
Committee Member in Organizing Committee within the REBLS-track
SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
ICSME 2023 Committee Member in Program Committee within the Research Track-track
ECOOP 2023 Program Co-Chair in Organizing Committee
Program Co-Chair in Program Committee within the Research Papers-track
ISSTA 2023 PC Member in Technical Papers within the Technical Papers-track
PLDI 2023 Author of Type-Checking CRDT Convergence within the PLDI Research Papers-track
ICSE 2023 Committee Member in New Ideas and Emerging Results within the NIER - New Ideas and Emerging Results-track
‹Programming› 2023 Steering Committee Chair in Steering Committee
QP 2023 Committee Member in Program Committee within the QP2023-track
PAINT 2022 Committee Member in Program Committee within the Programming Abstractions and Interactive Notations, Tools, and Environments-track
REBLS 2022 Committee Member in Organizing Committee within the Reactive and Event-Based Languages and Systems-track
SPLASH 2022 Organizer of Reactive and Event-Based Languages and Systems (REBLS) within the Workshops-track
ESEC/FSE 2022 Author of Automating Serverless Deployments for DevOps Organizations within the ESEC/FSE 2021-track
ECOOP 2022 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 2022 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)
‹Programming› 2022 Steering Committee Chair of Conference Opening within the -track
Steering Committee Chair in Steering Committee
AGERE 2021 Committee Member in Program Committee within the AGERE 2021-track
REBLS 2021 Steering Committee Member in Steering Committee within the REBLS 2021-track
SPLASH 2021 Organizing Committee of REBLS within the Workshops-track
ACSOS 2021 PC Member in Program Committee within the Main Track-track
ESEC/FSE 2021 Author of Automating Serverless Deployments for DevOps Organizations within the Research Papers-track
ECOOP 2021 Author of Multiparty Languages: the Choreographic and Multitier Cases within the ECOOP Technical Papers-track
MSR 2021 Author of The Wonderless Dataset for Serverless Computing within the Data Showcase-track
‹Programming› 2021 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
ProWeb21 Keynote Speaker of Why Programming Languages for Distributed Systems are Inevitable within the ProWeb21-track
AGERE 2020 Committee Member in Program Committee within the AGERE 2020-track
SPLASH 2020 Author of Rethinking Safe Consistency in Distributed Object-Oriented Programming within the OOPSLA-track
Author of Handling Bidirectional Control Flow within the OOPSLA-track
Author of Handling Bidirectional Control Flow within the OOPSLA Artifacts-track
ECOOP 2020 Committee Member in Program Committee within the Research Papers-track
REBLS 2020 Committee Member in Steering Committee within the REBLS 2020-track
Author of Multitier Languages for Reactive Microservice Architectures within the REBLS 2020-track
Committee Member in Steering Committee within the REBLS 2020-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
ISSTA 2020 Author of A Programming Model for Semi-implicit Parallelization of Static Analyses within the Technical Papers-track
FTfJP 2020 Author of ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming within the FTfJP-track
Scala 2020 General Chair of Closing Scala 2020 within the Scala-track
General Chair of Welcome to Scala 2020 within the Scala-track
General Chair in Organizing Committee within the Scala-track
‹Programming› 2020 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 Program Committee within the Research Papers-track
Committee Member in Steering Committee
ProWeb20 Keynote Speaker of Why languages for distributed systems are inevitable within the ProWeb 2020-track
PX/20 Committee Member in Program Committee within the PX/20-track
ASE 2019 Author of Automated Refactoring to Reactive Programming within the Research Papers-track
SPLASH 2019 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
GPCE 2019 Session Chair of Product lines (part of GPCE 2019)
IC 2019 Committee Member in Organizing Committee within the IC 2019-track
MPLR 2019 Committee Member in Program Committee within the MPLR 2019-track
REBLS 2019 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 2019 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
Scala 2019 Committee Member in Program Committee within the Scala 2019-track
MoreVMs'19 Author of Language Support for Multiple Privacy Enhancing Technologies within the MoreVMs'19-track
PASS'19 Committee Member in Program Committee within the PASS'19 (Canceled)-track
‹Programming› 2019 Author of Developing Distributed Systems with ScalaLoci within the Posters-track
Session Chair of Language Design and Reactivity (part of Research Papers)
Publicity Co-Chair in Organizing Committee
Committee Member in Steering Committee
PX/19 Committee Member in Program Committee within the PX/19-track
DLS 2018 Committee Member in Program Committee within the DLS 2018-track
LIVE 2018 Author of From Debugging Towards Live Tuning of Reactive Applications within the LIVE 2018-track
REBLS 2018 Author of Multitier Reactive Programming with ScalaLoci within the REBLS 2018-track
Committee Member in Organizing Committee within the REBLS 2018-track
Steering Committee Member of Welcome and Opening Remarks within the REBLS 2018-track
SPLASH 2018 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
Onward! 2018 Committee Member in Program Committee within the Onward! Papers-track
ICFP 2018 Author of Versatile Event Correlation with Algebraic Effects within the Research Papers-track
COP 2018 Committee Member in Program Committee within the COP-track
FTfJP 2018 Author of Static Latency Tracking with Placement Types within the FTfJP-track
Committee Member in Program Committee within the FTfJP-track
SOAP 2018 Author of Lattice Based Modularization of Static Analyses within the SOAP-track
ECOOP 2018 Author of Fault-tolerant Distributed Reactive Programming within the ECOOP Research Papers-track
ECOOP and ISSTA 2018 Author of Fault-tolerant Distributed Reactive Programming within the Posters-track
Author of Distributed Multitier Programming with Placement Types using ScalaLoci within the Posters-track
‹Programming› 2018 Program Chair of Conference Opening within the Organizational-track
Program Chair in Organizing Committee
Program Chair in Program Committee within the Research Papers-track
Committee Member in Steering Committee
PX/18 Committee Member in Program Committee within the PX/18-track
Author of Reactive Programming Experience with REScala within the PX/18-track
PASS 2018 Author of Towards Safe Modular Composition of Network Functions within the PASS 2018-track
PX/17.2 Committee Member in Program Committee within the PX/17.2-track
REBLS 2017 Committee Member in Organizing Committee within the REBELS-track
SPLASH 2017 Committee Member in Program Committee within the Workshops-track
Committee Member in Program Committee within the Doctoral Symposium-track
Scala 2017 Session Chair of Open-source & Student Talks (part of Scala 2017)
Committee Member in Program Committee within the Scala 2017-track
COP 2017 Programme Committee in Program Committee within the COP-17-track
FTfJP 2017 Author of Consistency Types for Safe and Efficient Distributed Programming within the FTfJP 2017-track
DEBS 2017 Session Chair of Session 2: High Performance and Distribution (part of DEBS Research Papers)
IC 2017 Author of Privacy-aware Distributed Incremental Computation within the IC 2017-track
LASSY 2017 Committee Member in Program Committee within the LASSY 2017-track
‹Programming› 2017 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
PX 2017 Committee Member in Program Committee within the PX-track
PLATEAU 2016 Author of What Do We Really Know about Data Flow Languages? within the PLATEAU-track
REBLS 2016 Committee Member in Organizing Committee within the REBLS-track
Author of Towards a Comprehensive Multitier Reactive Language within the REBLS-track
Scala 2016 Author of SecureScala: Scala Embedding of Secure Computations within the Scala-track
Author of Reactive Async: Expressive Deterministic Concurrency within the Scala-track
COP 2016 Committee Member in Organizing Committee within the COP-track
Chair in Program Committee within the COP-track
PX 2016 Committee Member in Program Committee within the PX-track
PLDI 2016 Author of Accepting Blame for Safe Tunneled Exceptions within the Research Papers-track
Modularity 2016 Author of CPL: A Core Language for Cloud Computing within the Research Results-track
Committee Member in Program Committee within the Research Results-track
CROW 2016 Committee Member in Program Committee within the CROW 2016-track
REBLS 2015 Committee Member in Organizing Committee within the REBLS-track
COP 2015 Committee Member in Program Committee within the COP-track
PLDI 2015 Author of Lightweight, Flexible Object-Oriented Generics within the Research Papers-track
SPLASH 2014 Author of Distributed REScala: An Update Algorithm for Distributed Reactive Programming within the OOPSLA-track
Presenter of i3QL: Language-Integrated Live Data Views within the OOPSLA Artifacts-track
Author of i3QL: Language-Integrated Live Data Views within the OOPSLA-track
REBLS Committee Member in Organizing Committee within the REBLS-track
Session Chair of Keynote: Evan Czaplicki with Elm (part of REBLS)