Prof. Dr. Guido Salvaneschi

Prof. Dr. Guido Salvaneschi

Prof. Dr. Guido Salvaneschi
Head of the Programming Group
guido.salvaneschi@unisg.ch
guidosalva
http://www.guidosalvaneschi.com

School of Computer Science 33-507
Rosenbergstrasse 51
9000 St. Gallen, Switzerland

I’m a (tenured) Associate Professor at the University of St.Gallen from September 2020. Before, I have been an assistant professor at TU Darmstadt, where I led the Reactive Software Systems group.

Committees (Selected)

Reviewer for Journals

  • IEEE Transactions on Software Engineering (TSE)
  • ACM Transactions on Software Engineering and Methodology (TOSEM)
  • Springer International Journal on Very Large Data Bases (VLDB)
  • Elsevier Journal of Systems and Software (JSS)
  • Elsevier Science of Computer Programming
  • IEEE Transactions on Computers
  • Elsevier Journal of Computer Languages
  • Elsevier Knowledge-based Engineering
  • IEEE Internet Computing
  • ACM Transactions on Autonomous and Adaptive Systems (TAAS)
  • Springer Empirical Software Engineering
  • Elsevier Information and Software Technology
  • Elsevier Pervasive and Mobile Computing
  • LNCS Transactions on Aspect-Oriented Software Development

Organization of Scientific Events

  • The ACM DEBS’19 conference (with Boris Koldehofe)
  • Dagstuhl Seminar “Programming Languages for Distributed Systems and Distributed Data Management” (19442), 2019
  • NII Shonan Meeting on “Programming Languages for Distributed Systems”, 2019
  • REBLS workshop series at Splash: REBLS’21,’20,’19,’18,’17,’16,’15,’14,REM’13
  • COP’16 workshop at ECOOP

Short Bio

I got my PhD from Dipartimento di Elettronica e Informazione at Politecnico di Milano, under the supervision of Prof. Carlo Ghezzi. My doctoral dissertation focuses on context-oriented programming and language-level techniques for adaptive software.Visiting Ph.D. student, Fall 2011, Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, Supervisor: Prof. Barbara Liskov. Visiting Ph.D. student, Spring 2011, Technical University of Darmstadt, Computer Engineering Department, Supervisor: Prof. Mira Mezini. I’ve been an assistant professor at TU Darmstadt until fall 2020.

Publications

  1. CSF
    JE
    Language Support for Secure Software Development with Enclaves
    Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi
    In 34th IEEE Computer Security Foundations Symposium, CSF 2021 2021
  2. OOPSLA
    ConSysT
    Rethinking Safe Consistency in Distributed Object-Oriented Programming
    Proc. ACM Program. Lang. 2020
  3. OOPSLA
    Handling Bidirectional Control Flow
    Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
    Proc. ACM Program. Lang. 2020
  4. ACM Comp. Surv.
    ScalaLoci
    A Survey of Multitier Programming
    ACM Comput. Surv. 2020
  5. Art Sci. Eng. Program.
    ScalaLoci
    Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala
    The Art, Science, and Engineering of Programming 2020
  6. FTfJP
    ConSysT
    ConSysT: Tunable, Safe Consistency Meets Object-Oriented Programming
    In Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs 2020
  7. ISSTA
    A Programming Model for Semi-Implicit Parallelization of Static Analyses
    Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini
    In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis 2020
  8. SuperCompCloud
    ScalaLoci
    Leveraging Hybrid Cloud HPC with Multitier Reactive Programming
    Daniel Sokolowski, Jan-Patrick Lehr, Christian Bischof, Guido Salvaneschi
    In 2020 IEEE/ACM International Workshop on Interoperability of Supercomputing and Cloud Technologies (SuperCompCloud) 2020
  9. OOPSLA
    Language-Integrated Privacy-Aware Distributed Queries
    Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini
    Proc. ACM Program. Lang. 2019
  10. OOPSLA
    REScala
    A Fault-Tolerant Programming Model for Distributed Interactive Applications
    Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, Mira Mezini
    Proc. ACM Program. Lang. 2019
  11. ASE
    Automated Refactoring to Reactive Programming
    In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering 2019
  12. REBLS
    GRASS: Generic Reactive Application-Specific Scheduling
    Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi
    In Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems 2019
  13. CoRR
    Type-safe, Polyvariadic Event Correlation
    Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini
    CoRR 2019
  14. Distributed Object-Oriented Programming with Multiple Consistency Levels in ConSysT
    In Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity 2019
  15. Developing Distributed Systems with Multitier Programming
    In Proceedings of the 13th ACM International Conference on Distributed and Event-Based Systems 2019
  16. Programming
    JE
    Language Support for Multiple Privacy Enhancing Technologies
    In Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming 2019
  17. FAS*W
    On Context-Orientation in Aggregate Programming
    Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
    In 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W) 2019
  18. REBLS
    ScalaLoci
    Multitier Reactive Programming in High Performance Computing
    6th Workshop on Reactive and Event-based Languages & Systems 2019
  19. ECOOP
    ScalaLoci
    Multitier Modules
    In 33rd European Conference on Object-Oriented Programming (ECOOP 2019) 2019
  20. ECOOP
    How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
    Matthias Eichholz, Eric Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
    In 33rd European Conference on Object-Oriented Programming (ECOOP 2019) 2019
  21. OOPSLA
    ScalaLoci
    Distributed System Development with ScalaLoci
    Proc. ACM Program. Lang. 2018
  22. OOPSLA
    REScala
    Thread-Safe Reactive Programming
    Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, Mira Mezini
    Proc. ACM Program. Lang. 2018
  23. ICFP
    Versatile Event Correlation with Algebraic Effects
    Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini
    Proc. ACM Program. Lang. 2018
  24. SOAP
    Lattice Based Modularization of Static Analyses
    M. Eichberg, F. Kübler, D. Helm, M. Reif, G. Salvaneschi, M. Mezini
    In Companion Proceedings for the ISSTA/ECOOP 2018 Workshops 2018
  25. FTfJP
    ScalaLoci
    Static Latency Tracking with Placement Types
    In Companion Proceedings for the ISSTA/ECOOP 2018 Workshops 2018
  26. DEBS
    TCEP: Adapting to Dynamic User Environments by Enabling Transitions between Operator Placement Mechanisms
    Manisha Luthra, Boris Koldehofe, Pascal Weisenburger, Guido Salvaneschi, Raheel Arif
    In Proceedings of the 12th ACM International Conference on Distributed and Event-Based Systems 2018
  27. DEBS
    Multimodal Complex Event Processing on Mobile Devices
    Pablo Graubner, Christoph Thelen, Michael Körber, Artur Sterz, Guido Salvaneschi, Mira Mezini, Bernhard Seeger, Bernd Freisleben
    In Proceedings of the 12th ACM International Conference on Distributed and Event-Based Systems 2018
  28. Reactive Programming Experience with REScala
    Ragnar Mogk, Guido Salvaneschi, Mira Mezini
    In Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming 2018
  29. PASS
    Towards Safe Modular Composition of Network Functions
    Matthias Eichholz, Guido Salvaneschi, Mira Mezini
    In Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming 2018
  30. IEEE Trans. Softw. Eng.
    On the Semantics of Distributed Reactive Programming: The Cost of Consistency
    Alessandro Margara, Guido Salvaneschi
    IEEE Transactions on Software Engineering 2018
  31. ECOOP
    REScala
    Fault-tolerant Distributed Reactive Programming
    Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini
    In 32nd European Conference on Object-Oriented Programming (ECOOP 2018) 2018
  32. IEEE Trans. Softw. Eng.
    REScala
    On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study
    Guido Salvaneschi, Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini
    IEEE Trans. Softw. Eng. 2017
  33. FTFJP
    ConSysT
    Consistency Types for Safe and Efficient Distributed Programming
    Alessandro Margara, Guido Salvaneschi
    In Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs 2017
  34. SEAMS
    Quality-Aware Runtime Adaptation in Complex Event Processing
    Pascal Weisenburger, Manisha Luthra, Boris Koldehofe, Guido Salvaneschi
    In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems 2017
  35. PLATEAU
    REScala
    What Do We Really Know about Data Flow Languages?
    In Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools 2016
  36. SCALA
    SecureScala: Scala Embedding of Secure Computations
    Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi
    In Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala 2016
  37. SCALA
    Reactive Async: Expressive Deterministic Concurrency
    Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi
    In Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala 2016
  38. PLDI
    Accepting Blame for Safe Tunneled Exceptions
    Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers
    In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation 2016
  39. ICSE
    REScala
    Debugging Reactive Programming with Reactive Inspector
    Guido Salvaneschi, Mira Mezini
    In Proceedings of the 38th International Conference on Software Engineering Companion 2016
  40. ICSE
    REScala
    Debugging for Reactive Programming
    Guido Salvaneschi, Mira Mezini
    In Proceedings of the 38th International Conference on Software Engineering 2016
  41. MODULARITY
    CPL: A Core Language for Cloud Computing
    Oliver Bračevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
    In Proceedings of the 15th International Conference on Modularity 2016
  42. Sci. Comput. Program.
    ContextErlang
    Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
    Sci. Comput. Program. 2015
  43. PLDI
    Lightweight, Flexible Object-Oriented Generics
    Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers
    In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation 2015
  44. ICSE
    REScala
    Reactive Programming: A Walkthrough
    Guido Salvaneschi, Alessandro Margara, Giordano Tamburrelli
    In Proceedings of the 37th International Conference on Software Engineering - Volume 2 2015
  45. An Empirical Study on Program Comprehension with Reactive Programming
    Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini
    In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering 2014
  46. OOPSLA
    I3QL: Language-Integrated Live Data Views
    Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi
    In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications 2014
  47. OOPSLA
    REScala
    Distributed REScala: An Update Algorithm for Distributed Reactive Programming
    Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini
    In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications 2014
  48. DEBS
    ConSysT
    We Have a DREAM: Distributed Reactive Programming with Consistency Guarantees
    Alessandro Margara, Guido Salvaneschi
    In Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems 2014
  49. MODULARITY
    REScala
    REScala: Bridging between Object-Oriented and Functional Style in Reactive Applications
    Guido Salvaneschi, Gerold Hintz, Mira Mezini
    In Proceedings of the 13th International Conference on Modularity 2014
  50. MODULARITY
    REScala
    JEScala: Modular Coordination with Declarative Events and Joins
    Jurgen M. Van Ham, Guido Salvaneschi, Mira Mezini, Jacques Noyé
    In Proceedings of the 13th International Conference on Modularity 2014
  51. Towards Reactive Programming for Object-Oriented Applications
    Guido Salvaneschi, Mira Mezini
    2014
  52. IEEE Software
    Programming with Implicit Flows
    Guido Salvaneschi, Patrick Eugster, Mira Mezini
    IEEE Software 2014
  53. ACM Trans. Auton. Adapt. Syst.
    An Analysis of Language-Level Support for Self-Adaptive Software
    Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
    ACM Trans. Auton. Adapt. Syst. 2013
  54. AOSD
    REScala
    Reactive Behavior in Object-Oriented Applications: An Analysis and a Research Roadmap
    Guido Salvaneschi, Mira Mezini
    In Proceedings of the 12th Annual International Conference on Aspect-Oriented Software Development 2013
  55. Ways to React: Comparing Reactive Languages and Complex Event
    Alessandro Margara, Guido Salvaneschi
    2013
  56. COORDINATION
    Towards Distributed Reactive Programming
    Guido Salvaneschi, Joscha Drechsler, Mira Mezini
    In Coordination Models and Languages 2013
  57. Journal of Syst. Softw.
    Context-Oriented Programming: A Software Engineering Perspective
    Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
    J. Syst. Softw. 2012
  58. AOSD
    ContextErlang: Introducing Context-Oriented Programming in the Actor Model
    Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
    In Proceedings of the 11th Annual International Conference on Aspect-Oriented Software Development 2012
  59. ICISS
    Finding Non-Trivial Malware Naming Inconsistencies
    Federico Maggi, Andrea Bellini, Guido Salvaneschi, Stefano Zanero
    In Proceedings of the 7th International Conference on Information Systems Security 2011
  60. COP
    JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming
    Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
    In Proceedings of the 3rd International Workshop on Context-Oriented Programming 2011
  61. SEAMS
    An Evaluation of the Adaptation Capabilities in Programming Languages
    Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
    In Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems 2011
  62. Metrics of Software Security
    Guido Salvaneschi, Paolo Salvaneschi
    In Encyclopedia of Cryptography and Security, 2nd Ed 2011
  63. CoRR
    Context-Oriented Programming: A Programming Paradigm for Autonomic Systems
    Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
    CoRR 2011
  64. COP
    Context Oriented Programming in Highly Concurrent Systems
    Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
    In Proceedings of the 2nd International Workshop on Context-Oriented Programming 2010
  65. IEEE S&P
    Identifying Dormant Functionality in Malware Programs
    Paolo Milani Comparetti, Guido Salvaneschi, Engin Kirda, Clemens Kolbitsch, Christopher Kruegel, Stefano Zanero
    In Proceedings of the 2010 IEEE Symposium on Security and Privacy 2010
  66. SEAMS
    Programming Language Support to Context-Aware Adaptation: A Case-Study with Erlang
    Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
    In Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems 2010
  67. FASE
    Automatic Cross Validation of Multiple Specifications: A Case Study
    Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi
    In Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering 2010
  68. EC2ND
    Integrated Detection of Attacks Against Browsers, Web Applications and Databases
    C. Criscione, G. Salvaneschi, F. Maggi, S. Zanero
    In Proceedings of the 2009 European Conference on Computer Network Defense 2009