Publications

International Conferences

  • Automated Refactoring to Reactive Programming ASE 2019.
  • Language-Integrated Privacy-Aware Distributed Queries OOPSLA 2019.
  • A Fault-tolerant Programming Model for Distributed Interactive Applications OOPSLA 2019.
  • Multitier Modules with ScalaLoci accepted ECOOP 2019.
  • How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 ECOOP 2019.
  • Pascal Weisenburger, Mirko Köhler, Guido Salvaneschi, Distributed Systems Development with ScalaLociOOPSLA 2018 (Pdf).
  • Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, Mira Mezini, Thread-Safe Reactive Programming, OOPSLA 2018 (Pdf).
  • Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini, Versatile Event Correlation with Algebraic Effects, ICFP 2018 (Pdf).
  • Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini, Fault-tolerant Reactive Programming, ECOOP 2018 (Pdf).
  • Pablo Graubner, Artur Sterz, Christoph Thelen, Michael Körber, Guido Salvaneschi, Mira Mezini, Bernhard Seeger and Bernd Freisleben, Multimodal Complex Event Processing on Mobile DevicesDEBS 2018.
  • Manisha Luthra, Boris Koldehofe, Pascal Weisenburger, Guido Salvaneschi and Raheel Arif, TCEP: Adapting to Dynamic User Environment by Enabling Transitions between Operator Placement Mechanisms, DEBS 2018.
  • Pascal Weisenburger, Manisha Luthra, Boris Koldehofe, Guido Salvaneschi, Quality-aware Runtime Adaptation in Complex Event Processing, 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS ’17 (Pdf).
  • Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi, Scala Embedding of Secure ComputationsScala Symposium 2016 (Pdf).
  • Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi, Reactive Deterministic ConcurrencyScala Symposium 2016 (Pdf).
  • Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, and Andrew C. Myers, “Accepting Blame for Safe Tunneled Exceptions”, PLDI 2016.
  • Guido Salvaneschi, Mira Mezini, “Debugging for Reactive Programming“, ICSE 2016 (Pdf).
  • Oliver Bračevac, Sebastian Erdweg, Guido Salvaneschi, and Mira Mezini, “CPL: A Core Language for Cloud Computing”MODULARITY 2016 (Pdf).
  • Yizhou Zhang, Matthew Loring, Guido Salvaneschi, Barbara Liskov and Andrew C. Myers, “Lightweight, Flexible Object-Oriented Generics”, PLDI 2015, May 2015, Portland, Oregon, USA (Pdf).
  • Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, and Mira Mezini. “Distributed REScala: An Update Algorithm for Distributed Reactive Programming”OOPSLA ’14, 2014 (Pdf).
  • Ralf Mitschke, Sebastian Erdweg, Mirko Kohler, Mira Mezini, and Guido Salvaneschi. “i3QL: Language-Integrated Live Data Views”OOPSLA ’14, 2014 (Pdf).
  • Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini, An Empirical Study on Program Comprehension with Reactive Programming, FSE’14 (Pdf).
  • A. Margara and G. Salvaneschi, We have a DREAM: Distributed Reactive Programming with Consistency Guarantees, In Proceedings of the 8th International Conference on Distributed Event-Based Systems (DEBS ’14). Mumbay, India, May 26–29, 2014, (Pdf).
  • Guido Salvaneschi, Gerold Hintz and Mira Mezini, REScala: Bridging Between Object-oriented and Functional Style in Reactive ApplicationsMODULARITY AOSD 2014 (Pdf).
  • Jurgen Van Ham, Guido Salvaneschi, Mira Mezini and Jacques Noye, JEScala: Modular Coordination with Declarative Events and JoinsMODULARITY AOSD 2014. (Pdf)
  • Guido Salvaneschi, Joscha Drechsler and Mira Mezini. Towards Distributed Reactive Programming, COORDINATION’13, 15th International Conference on Coordination Models and Languages, 2013. (Pdf)
  • Guido Salvaneschi, Mira Mezini, Reactive Behavior in Object-oriented Applications: An Analysis and a Research Roadmap, In Proceedings of the 11th annual international conference on Aspect-oriented Software Development, MODULARITY AOSD 2013 (Best Paper Award). (Pdf)
  • G. Salvaneschi, C. Ghezzi, M. Pradella, ContextErlang: Introducing Context-oriented Programming in the Actor Model,  In Proceedings of the 11th annual international conference on Aspect-oriented Software Development (AOSD 2012). (Pdf)
  • F. Maggi, A. Bellini, G. Salvaneschi, and S. Zanero, Finding Non-trivial Malware Naming Inconsistencies, 7th International Conference on Information Systems Security (ICISS). 15-19 December 2011, Jadavpur University, Kolkata, India. (pdf)
  • C. Ghezzi, M. Pradella, G. Salvaneschi, An Evaluation of the Adaptation Capabilities in Programming Languages, SEAMS 2011, International Simposium on Software Engineering for Adaptive and Self-Managing Systems 2011. (pdf)
  • P. Milani Comparetti, G. Salvaneschi, C. Kolbitsch, E. Kirda, C. Kruegel, S. Zanero, Identifying Dormant Functionality in Malware Programs, IEEE Symposium on Security and Privacy, S&P 2010, Oakland CA. (Pdf)
  • C. Ghezzi, A. Mocci, and G. Salvaneschi. Automatic cross validation of multiple specifications: A case study. In FASE 2010, Paphos, Cyprus.
  • C. Criscione, F. Maggi, G. Salvaneschi, S. Zanero, Integrated Detection of Attacks Against Browsers, Web Applications and Databases, EC2ND 2009, Milano. (Pdf)

 

International Journals

  • Alessandro Margara, Guido Salvaneschi, On the Semantics of Distributed Reactive Programming: the Cost of Consistency, IEEE Transactions on Software Engineering, TSE 2018.
  • G. Salvaneschi, S. Proksch, S. Amann, S. Nadi, M. Mezini, On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study”, IEEE Transactions on Software Engineering, TSE 2017 (Pdf).
  • G. Salvaneschi, C. Ghezzi, M. Pradella, ContextErlang: A Language for Distributed Context-Aware Self-Adaptive Applications, Science of Computer Programming, 102: 20-43, SCP 2015 (Pdf).
  • G. Salvaneschi, M.Mezini, P.Eugster, Programming with Implicit Flows, IEEE Software 2014 (Pdf).
  • G. Salvaneschi, M. Mezini, Towards Reactive Programming for Object-oriented ApplicationsACM Transactions on Aspect-Oriented Software Development, TAOSD 2014 (Pdf).
  • G. Salvaneschi, C. Ghezzi, M. Pradella, An Analysis of Language-Level Support for Self-Adaptive Software. ACM Transactions on Autonomous and Adaptive Systems 8, 2, Article 7 (July 2013), TAAS 2013 (Pdf)
  • G. Salvaneschi, C. Ghezzi, M. Pradella, Context-oriented programming: a software engineering perspective. Journal of Systems and Software 85, 8 (August 2012), JSS 2012 (Pdf)

 

Workshops

  • Ragnar Mogk, Guido Salvaneschi, Mira Mezini, Reactive Programming Experience with REScala, accepted at PX@<Programming> 2018.
  • Matthias Eichholz, Guido Salvaneschi, Mira Mezini, Towards Safe Modular Composition of Network Functions, accepted at PASS@<Programming> 2018.
  • Alessandro Margara, Guido Salvaneschi, Consistency Typesfor Safe and Efficient Distributed Programming, FTFJP 2017 (Pdf).
  • Guido salvaneschi, What do we Really Know about Data Flow Languages, PLATEAU 2016 (Pdf).
  • A. Margara, G.Salvaneschi, Ways to React: Comparing Reactive Languages and Complex Event Processing, 1st SPLASH workshop on Reactivity, Events and Modulariy (REM), 2013. (Pdf)
  • G. Salvaneschi, C. Ghezzi and M. Pradella. JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming. Proc. of 3nd International Workshop on Context-oriented Programming (COP) 2011. (pdf)
  • C. Ghezzi, M. Pradella, G. Salvaneschi, Programming Language Support to Context-Aware Adaptation – A Case-Study with Erlang, Proc. of ICSE 2010 SEAMS Workshop on Software Engineering for Adaptive and Self-Managing Systems, pp 59-68, 2010. (Pdf)
  • C. Ghezzi, M. Pradella, G. Salvaneschi, Context Oriented Programming in Highly Concurrent Systems, Proc. of 2nd International Workshop on Context-oriented Programming (COP), 2010. (Pdf)
  • Angelo Gargantini and Guido Salvaneschi and Patrizia Scandurra. On the downscaling of the Jazz platform. 5th Italian Workshop on Eclipse Technologies – Eclipse-IT 2010. (Pdf)

 

Tutorials and Posters

  • Guido Salvaneschi, Mira Mezini, Debugging Reactive Programming with Reactive Inspector, ICSE 2016 (Pdf).
  • Reactive Programming: a Walkthrough. G. Salvaneschi, A. Margara, G. Tamburrelli. ICSE Technical Briefing. In Proceedings of the 37th International Conference on Software Engineering (ICSE ’15). Florence, Italy. May 16 – 24, 2015.

 

Technical Reports

  • Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: Context-Oriented Programming: A Programming Paradigm for Autonomic Systems CoRR abs/1105.0069: (2011)
  • Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming CoRR abs/1104.1351: (2011)

 

The papers available in this page are only intended to support rapid dissemination of scientific results. The versions appeared in print should be considered definitive. The copyrights belong to their respective owners.