Publications

2021

  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

2020

  1. OOPSLA
    ConSysT
    Rethinking Safe Consistency in Distributed Object-Oriented Programming
    Proc. ACM Program. Lang. 2020
  2. OOPSLA
    Handling Bidirectional Control Flow
    Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
    Proc. ACM Program. Lang. 2020
  3. ACM Comp. Surv.
    ScalaLoci
    A Survey of Multitier Programming
    ACM Comput. Surv. 2020
  4. 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
  5. A Programming Language for Distributed Systems
    Doctoral dissertation. Technische Universität Darmstadt 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

2019

  1. 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
  2. OOPSLA
    REScala
    A Fault-Tolerant Programming Model for Distributed Interactive Applications
    Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, Mira Mezini
    Proc. ACM Program. Lang. 2019
  3. ASE
    Automated Refactoring to Reactive Programming
    In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering 2019
  4. 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
  5. CoRR
    Type-safe, Polyvariadic Event Correlation
    Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini
    CoRR 2019
  6. 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
  7. Developing Distributed Systems with Multitier Programming
    In Proceedings of the 13th ACM International Conference on Distributed and Event-Based Systems 2019
  8. 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
  9. 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
  10. REBLS
    ScalaLoci
    Multitier Reactive Programming in High Performance Computing
    6th Workshop on Reactive and Event-based Languages & Systems 2019
  11. ECOOP
    ScalaLoci
    Multitier Modules
    In 33rd European Conference on Object-Oriented Programming (ECOOP 2019) 2019
  12. 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
  13. GHTC
    Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City
    Lars Baumgärtner, Jonas Höchst, Patrick Lampe, Ragnar Mogk, Artur Sterz, Pascal Weisenburger, Mira Mezini, Bernd Freisleben
    In 2019 IEEE Global Humanitarian Technology Conference (GHTC) 2019
  14. ALGOSENSORS
    Collaborative Broadcast in O(log log n) Rounds
    Christian Schindelhauer, Aditya Oak, Thomas Janson
    In Algorithms for Sensor Systems 2019

2018

  1. OOPSLA
    ScalaLoci
    Distributed System Development with ScalaLoci
    Proc. ACM Program. Lang. 2018
  2. OOPSLA
    REScala
    Thread-Safe Reactive Programming
    Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, Mira Mezini
    Proc. ACM Program. Lang. 2018
  3. 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
  4. 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
  5. FTfJP
    ScalaLoci
    Static Latency Tracking with Placement Types
    In Companion Proceedings for the ISSTA/ECOOP 2018 Workshops 2018
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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

2017

  1. 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
  2. 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
  3. 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

2016

  1. 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
  2. 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
  3. 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
  4. 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
  5. ICSE
    REScala
    Debugging Reactive Programming with Reactive Inspector
    Guido Salvaneschi, Mira Mezini
    In Proceedings of the 38th International Conference on Software Engineering Companion 2016
  6. ICSE
    REScala
    Debugging for Reactive Programming
    Guido Salvaneschi, Mira Mezini
    In Proceedings of the 38th International Conference on Software Engineering 2016
  7. 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
  8. Multitier Reactive Abstractions
    In Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity 2016

2015

  1. Sci. Comput. Program.
    ContextErlang
    Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
    Sci. Comput. Program. 2015
  2. 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
  3. 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

2014

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. Towards Reactive Programming for Object-Oriented Applications
    Guido Salvaneschi, Mira Mezini
    2014
  8. IEEE Software
    Programming with Implicit Flows
    Guido Salvaneschi, Patrick Eugster, Mira Mezini
    IEEE Software 2014

2013

  1. 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
  2. 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
  3. Ways to React: Comparing Reactive Languages and Complex Event
    Alessandro Margara, Guido Salvaneschi
    2013
  4. COORDINATION
    Towards Distributed Reactive Programming
    Guido Salvaneschi, Joscha Drechsler, Mira Mezini
    In Coordination Models and Languages 2013

2012

  1. Journal of Syst. Softw.
    Context-Oriented Programming: A Software Engineering Perspective
    Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
    J. Syst. Softw. 2012
  2. 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

2011

  1. 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
  2. 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
  3. 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
  4. Metrics of Software Security
    Guido Salvaneschi, Paolo Salvaneschi
    In Encyclopedia of Cryptography and Security, 2nd Ed 2011
  5. CoRR
    Context-Oriented Programming: A Programming Paradigm for Autonomic Systems
    Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
    CoRR 2011

2010

  1. 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
  2. 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
  3. 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
  4. 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

2009

  1. 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