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

‹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)