2023

Richter, David ; Kretzler, David ; Weisenburger, Pascal ; Salvaneschi, Guido ; Faust, Sebastian ; Mezini, Mira (2023)
Prisma: A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.
In: ACM Transactions on Programming Languages and Systems, 45 (3)
doi: 10.1145/3604629
Artikel, Bibliographie

Eskandani, Nafise ; Salvaneschi, Guido (2023)
The Uphill Journey of FaaS in the Open-Source Community.
In: Journal of Systems and Software, 198
doi: 10.1016/j.jss.2022.111589
Artikel, Bibliographie

2022

Sokolowski, Daniel ; Weisenburger, Pascal ; Salvaneschi, Guido (2022)
Change is the Only Constant: Dynamic Updates for Workflows.
44th International Conference on Software Engineering. Pittsburgh, Pennsylvania (21.05.2022-29.05.2022)
doi: 10.1145/3510003.3510065
Konferenzveröffentlichung, Bibliographie

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko
Hrsg.: Ali, Karim ; Vitek, Jan (2022)
Functional Programming for Distributed Systems with XC.
36th European Conference on Object-Oriented Programming. Berlin, Germany (06.06.2022-10.06.2022)
doi: 10.4230/LIPIcs.ECOOP.2022.20
Konferenzveröffentlichung, Bibliographie

Richter, David ; Kretzler, David ; Weisenburger, Pascal ; Salvaneschi, Guido ; Faust, Sebastian ; Mezini, Mira (2022)
Prisma: A tierless language for enforcing contract-client protocols in decentralized apps.
35th European Conference on Object-Oriented Programming. Berlin, Germany (06.07.2022-07.07.2022)
doi: 10.4230/LIPIcs.ECOOP.2022.35
Konferenzveröffentlichung, Bibliographie

2021

Oak, Aditya ; Ahmadian, Amir M. ; Balliu, Musard ; Salvaneschi, Guido (2021)
Enclave-Based Secure Programming with JE.
6th IEEE Secure Development Conference (SecDev 2021). virtual Conference (18.10.2021-20.10.2021)
doi: 10.1109/SecDev51306.2021.00026
Konferenzveröffentlichung, Bibliographie

Luthra, Manisha ; Koldehofe, Boris ; Danger, Niels ; Weisenburger, Pascal ; Salvaneschi, Guido ; Stavrakakis, Ioannis (2021)
TCEP: Transitions in operator placement to adapt to dynamic network environments.
In: Journal of Computer and System Sciences, 122
doi: 10.1016/j.jcss.2021.05.003
Artikel, Bibliographie

Sokolowski, Daniel ; Weisenburger, Pascal ; Salvaneschi, Guido (2021)
Automating serverless deployments for DevOps organizations.
29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Athens, Greece (23.08.2021-28.08.2021)
doi: 10.1145/3468264.3468575
Konferenzveröffentlichung, Bibliographie

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco ; Richter, David ; Salvaneschi, Guido ; Weisenburger, Pascal
Hrsg.: Møller, Anders ; Sridharan, Manu (2021)
Multiparty Languages: The Choreographic and Multitier Cases (Pearl).
35th European Conference on Object-Oriented Programming. virtual Conference (11.07.2021-17.07.2021)
doi: 10.4230/LIPIcs.ECOOP.2021.22
Konferenzveröffentlichung, Bibliographie

Oak, Aditya ; Ahmadian, Amir M. ; Balliu, Musard ; Salvaneschi, Guido (2021)
Language Support for Secure Software Development with Enclaves.
34th IEEE Computer Security Foundations Symposium (CSF 2021). virtual Conference (21.06.2021-24.06.2021)
Konferenzveröffentlichung, Bibliographie

Eskandani, Nafise ; Salvaneschi, Guido (2021)
The Wonderless Dataset for Serverless Computing.
18th International Conference on Mining Software Repositories (MSR). virtual Conference (22.05.2021-30.05.2021)
doi: 10.1109/MSR52588.2021.00075
Konferenzveröffentlichung, Bibliographie

2020

Köhler, Mirko ; Eskandani, Nafise ; Margara, Alessandro ; Salvaneschi, Guido (2020)
ConSysT: Tunable, Safe Consistency Meets Object-Oriented Programming.
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity. virtual Conference (23.07.2020-23.07.2020)
doi: 10.1145/3427761.3428346
Konferenzveröffentlichung, Bibliographie

Sokolowski, Daniel ; Lehr, Jan-Patrick ; Bischof, Christian ; Salvaneschi, Guido (2020)
Leveraging Hybrid Cloud HPC with Multitier Reactive Programming.
3rd International Workshop on Interoperability of Supercomputing and Cloud Technologies. Virtual Conference (11.11.2020-11.11.2020)
doi: 10.1109/SuperCompCloud51944.2020.00010
Konferenzveröffentlichung, Bibliographie

Köhler, Mirko ; Eskandani, Nafise ; Weisenburger, Pascal ; Margara, Alessandro ; Salvaneschi, Guido (2020)
Rethinking Safe Consistency in Distributed Object-Oriented Programming.
In: Proceedings of the ACM on Programming Languages, 4 (OOPSLA)
doi: 10.1145/3428256
Artikel, Bibliographie

Salvaneschi, Guido ; Wirth, Johannes ; Weisenburger, Pascal (2020)
A survey of multitier programming.
In: ACM Computing Surveys, 53 (4)
doi: 10.1145/3397495
Artikel, Bibliographie

Helm, Dominik ; Kübler, Florian ; Kölzer, Jan Thomas ; Haller, Philipp ; Eichberg, Michael ; Salvaneschi, Guido ; Mezini, Mira (2020)
A Programming Model for Semi-implicit Parallelization of Static Analyses.
ISSTA '20: 29th SIGSOFT International Symposium on Software Testing and Analysis. virtual Conference (18.07.2020-22.07.2020)
doi: 10.1145/3395363.3397367
Konferenzveröffentlichung, Bibliographie

Weisenburger, Pascal ; Salvaneschi, Guido (2020)
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala.
In: The Art, Science, and Engineering of Programming, 4 (3)
doi: 10.22152/programming-journal.org/2020/4/17
Artikel, Bibliographie

2019

Köhler, Mirco ; Salvaneschi, Guido (2019)
Automated Refactoring to Reactive Programming.
ASE'19 - The 34th International Conference on Automated Software Engineering. San Diego, Ca, USA (10.11.2019-15.11.2019)
doi: 10.1109/ASE.2019.00082
Konferenzveröffentlichung, Bibliographie

Blöcher, Marcel ; Eichholz, Matthias ; Weisenburger, Pascal ; Eugster, Patrick ; Mezini, Mira ; Salvaneschi, Guido (2019)
GRASS: generic reactive application-specific scheduling.
REBLS 2019: 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. Athens, Greece (20.10.2019-25.10.2019)
doi: 10.1145/3358503.3361274
Konferenzveröffentlichung, Bibliographie

Weisenburger, Pascal ; Salvaneschi, Guido (2019)
Multitier Modules.
London
doi: 10.4230/LIPIcs.ECOOP.2019.3
Konferenzveröffentlichung, Bibliographie

Weisenburger, Pascal ; Salvaneschi, Guido (2019)
Tutorial: Developing Distributed Systems with Multitier Programming.
13th ACM International Conference on Distributed and Event-based Systems (DEBS ’19). Darmstadt, Germany (24.06.2019-28.06.2019)
doi: 10.1145/3328905.3332465
Konferenzveröffentlichung, Bibliographie

Eskandani, Nafise ; Köhler, Mirko ; Margara, Alessandro ; Salvaneschi, Guido (2019)
Distributed object-oriented programming with multiple consistency levels in ConSysT.
SPLASH'19 : 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Athens, Greece (20.10.2019-25.10.2019)
doi: 10.1145/3359061.3362779
Konferenzveröffentlichung, Bibliographie

Mogk, Ragnar ; Drechsler, Joscha ; Salvaneschi, Guido ; Mezini, Mira (2019)
A Fault-Tolerant Programming Model for Distributed Interactive Applications.
In: Proceedings of the ACM on Programming Languages, 3 (OOPSLA)
doi: 10.1145/3360570
Artikel, Bibliographie

Eichholz, Matthias ; Campbell, Eric ; Foster, Nate ; Salvaneschi, Guido ; Mezini, Mira (2019)
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
33rd European Conference on Object-Oriented Programming (ECOOP 2019).
doi: 10.4230/LIPIcs.ECOOP.2019.12
Konferenzveröffentlichung, Bibliographie

Oak, Aditya ; Mezini, Mira ; Salvaneschi, Guido (2019)
Language Support for Multiple Privacy Enhancing Technologies.
Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming.
Konferenzveröffentlichung, Bibliographie

Salvaneschi, Guido ; Köhler, Mirko ; Sokolowski, Daniel ; Haller, Philipp ; Erdweg, Sebastian ; Mezini, Mira (2019)
Language-Integrated Privacy-Aware Distributed Queries.
In: Proceedings of the ACM on Programming Languages, 3 (OOPSLA)
doi: 10.1145/3360593
Artikel, Bibliographie

2018

Weisenburger, Pascal ; Köhler, Mirko ; Salvaneschi, Guido (2018)
Distributed System Development with ScalaLoci.
In: Proceedings of the ACM on Programming Languages, 2 (OOPSLA)
doi: 10.1145/3276499
Artikel, Bibliographie

Drechsler, Joscha ; Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira (2018)
Thread-safe Reactive Programming.
In: Proceedings of the ACM on Programming Languages, 2 (OOPSLA)
doi: 10.1145/3276477
Artikel, Bibliographie

Salvaneschi, Guido ; Margara, Alessandro (2018)
On the Semantics of Distributed Reactive Programming: The Cost of Consistency.
In: IEEE Transactions on Software Engineering, 44 (7)
doi: 10.1109/TSE.2018.2833109
Artikel, Bibliographie

Eichberg, Michael ; Kübler, Florian ; Helm, Dominik ; Reif, Michael ; Salvaneschi, Guido ; Mezini, Mira (2018)
Lattice Based Modularization of Static Analyses.
SOAP 2018. Amsterdam, Netherlands
doi: 10.1145/3236454.3236509
Konferenzveröffentlichung, Bibliographie

Weisenburger, Pascal ; Reinhard, Tobias ; Salvaneschi, Guido (2018)
Static Latency Tracking with Placement Types.
Amsterdam, Netherlands (15.07.2018-21.07.2018)
doi: 10.1145/3236454.3236486
Konferenzveröffentlichung, Bibliographie

Mogk, Ragnar ; Baumgärtner, Lars ; Salvaneschi, Guido ; Freisleben, Bernd ; Mezini, Mira
Hrsg.: Millstein, Todd (2018)
Fault-tolerant Distributed Reactive Programming.
32nd European Conference on Object-Oriented Programming (ECOOP 2018). Amsterdam, Netherlands (16.07.2018-21.07.2018)
doi: 10.4230/LIPIcs.ECOOP.2018.1
Konferenzveröffentlichung, Bibliographie

Graubner, Pablo ; Thelen, Christoph ; Körber, Michael ; Sterz, Artur ; Salvaneschi, Guido ; Mezini, Mira ; Seeger, Bernhard ; Freisleben, Bernd (2018)
Multimodal Complex Event Processing on Mobile Devices.
Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, DEBS 2018, Hamilton, New Zealand, June 25-29, 2018.
doi: 10.1145/3210284.3210289
Konferenzveröffentlichung, Bibliographie

Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira (2018)
Reactive Programming Experience with REScala.
Nice, France (09.04.2018-12.04.2018)
doi: 10.1145/3191697.3214337
Konferenzveröffentlichung, Bibliographie

Luthra, Manisha ; Koldehofe, Boris ; Weisenburger, Pascal ; Salvaneschi, Guido ; Arif, Raheel (2018)
TCEP: Adapting to Dynamic User Environments by Enabling Transitions between Operator Placement Mechanisms.
Proceedings of 12th ACM International Conference on Distributed and Event-based Systems (DEBS '18).
Konferenzveröffentlichung, Bibliographie

Eichholz, Matthias ; Salvaneschi, Guido ; Mezini, Mira (2018)
Towards Safe Modular Composition of Network Functions.
Conference Companion of the 2Nd International Conference on Art, Science, and Engineering of Programming. Nice, France (09.04.2018-12.04.2018)
doi: 10.1145/3191697.3213804
Konferenzveröffentlichung, Bibliographie

Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira (2018)
Versatile Event Correlation with Algebraic Effects.
In: Proceedings of the ACM on Programming Languages, 2 (ICFP)
doi: 10.1145/3236762
Artikel, Bibliographie

2017

Weisenburger, Pascal ; Luthra, Manisha ; Koldehofe, Boris ; Salvaneschi, Guido (2017)
Quality-Aware Runtime Adaptation in Complex Event Processing.
IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2017. Buenos Aires, Argentina
Konferenzveröffentlichung, Bibliographie

Salvaneschi, Guido ; Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2017)
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study.
In: IEEE Transactions on Software Engineering, 43 (12)
doi: 10.1109/TSE.2017.2655524
Artikel, Bibliographie

2016

Haller, Philipp ; Geries, Simon ; Eichberg, Michael ; Salvaneschi, Guido (2016)
Reactive Async: Expressive Deterministic Concurrency.
SCALA 2016. Amsterdam, Netherlands (30.10.2016-31.10.2016)
doi: 10.1145/2998392.2998396
Konferenzveröffentlichung, Bibliographie

Hauck, Markus ; Savvides, Savvas ; Eugster, Patrick ; Mezini, Mira ; Salvaneschi, Guido (2016)
SecureScala: Scala embedding of secure computations.
Konferenzveröffentlichung, Bibliographie

Salvaneschi, Guido ; Mezini, Mira (2016)
Debugging for reactive programming.
Austin, TX
doi: 10.1145/2884781.2884815
Konferenzveröffentlichung, Bibliographie

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016)
CPL: A Core Language for Cloud Computing.
In: Proceedings of the 15th International Conference on Modularity
doi: 10.1145/2889443.2889452
Buchkapitel, Bibliographie

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016)
CPL: A Core Language for Cloud Computing -- Technical Report.
doi: 10.48550/arXiv.1602.00981
Report, Bibliographie

2014

Mitschke, Ralf ; Erdweg, Sebastian ; Köhler, Mirko ; Mezini, Mira ; Salvaneschi, Guido (2014)
i3QL: Language-Integrated Live Data Views.
Portland, Oregon, USA
doi: 10.1145/2714064.2660242
Konferenzveröffentlichung, Bibliographie

Drechsler, Joscha ; Salvaneschi, Guido ; Mogk, Ragnar ; Mezini, Mira (2014)
Distributed REScala: An Update Algorithm for Distributed Reactive Programming.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. Portland, OR, USA (17.10.2014-21.10.2014)
Konferenzveröffentlichung, Bibliographie

Van Ham, Jurgen M. ; Salvaneschi, Guido ; Mezini, Mira ; Noyé, Jacques (2014)
JEScala.
doi: 10.1145/2584469.2577082
Konferenzveröffentlichung, Bibliographie

Salvaneschi, Guido ; Hintz, Gerold ; Mezini, Mira (2014)
REScala.
doi: 10.1145/2584469.2577083
Konferenzveröffentlichung, Bibliographie

Margara, Alessandro ; Salvaneschi, Guido (2014)
We have a DREAM.
doi: 10.1145/2611286.2611290
Konferenzveröffentlichung, Bibliographie

Salvaneschi, Guido ; Amann, Sven ; Proksch, Sebastian ; Mezini, Mira (2014)
An empirical study on program comprehension with reactive programming.
doi: 10.1145/2635868.2635895
Konferenzveröffentlichung, Bibliographie

2013

Salvaneschi, Guido ; Ghezzi, Carlo ; Pradella, Matteo (2013)
An Analysis of Language-Level Support for Self-Adaptive Software.
In: ACM Transactions on Autonomous and Adaptive Systems, 8 (2)
doi: 10.1145/2491465.2491466
Artikel, Bibliographie

Salvaneschi, Guido ; Ghezzi, Carlo ; Pradella, Matteo (2013)
An Analysis of Language-Level Support for Self-Adaptive Software.
In: ACM Transactions on Autonomous and Adaptive Systems, 8 (2)
doi: 10.1145/2491465.2491466
Artikel, Bibliographie

Salvaneschi, Guido ; Mezini, Mira (2013)
Reactive behavior in object-oriented applications.
doi: 10.1145/2451436.2451442
Konferenzveröffentlichung, Bibliographie

Salvaneschi, Guido ; Mezini, Mira (2013)
Reactive behavior in object-oriented applications.
doi: 10.1145/2451436.2451442
Konferenzveröffentlichung, Bibliographie

Salvaneschi, Guido ; Drechsler, Joscha ; Mezini, Mira (2013)
Towards Distributed Reactive Programming.
doi: 10.1007/978-3-642-38493-6_16
Konferenzveröffentlichung, Bibliographie

2012

Salvaneschi, Guido ; Ghezzi, Carlo ; Pradella, Matteo (2012)
Context-oriented programming: A software engineering perspective.
In: Journal of Systems and Software
doi: 10.1016/j.jss.2012.03.024
Artikel, Bibliographie