Guido Salvaneschi

122 papers A* 6A 18B 2C 3Misc 1Journal 42Unranked 40

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	CAPE - European Open Compute Architecture for Powerful Edge. DSD Martin Kaiser, Lennart Tigges, Jens Hagemeyer, Christian Klarhorst, Björn Voß, Fred Buining, Bola Fakhoury, János Lazányi, René Griessl, Muhammad Shahzad, Yiannis Georgiou, Salim Mimouni, Pedro Velho, Michael Mercier, Eva Trungel, Julian Gajewski, Stefan Krupop, Michavor Dem Berge, Deepak M. Mathew, Skipis Dimitrios, Arnidis Iordanis, Orestis Vantzos, David Georgantas, Gautier Rouaze, Christoph Bühler, Guido Salvaneschi, Brandon Lewis, Angela Hauber
2025	J	`jnl`	Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications. IEEE Trans. Software Eng. Mirko Köhler, George Zakhour, Pascal Weisenburger, Guido Salvaneschi
2025	J	`jnl`	Dis/Equality Graphs. Proc. ACM Program. Lang. George Zakhour, Pascal Weisenburger, Jahrim Gabriele Cesario, Guido Salvaneschi
2025	—	`conf`	Hybrid Fuzzing of Infrastructure as Code Programs (Short Paper). ISSTA Companion Emilio Coppa, Daniel Sokolowski, Guido Salvaneschi
2025	J	`jnl`	Securing AI Agent Execution. CoRR Christoph Bühler, Matteo Biagiola, Luca Di Grazia, Guido Salvaneschi
2025	A	`conf`	TerraDS: A Dataset for Terraform HCL Programs. MSR Christoph Bühler, David Spielmann, Roland Meier, Guido Salvaneschi
2024	A	`ed.`	38th European Conference on Object-Oriented Programming, ECOOP 2024, Vienna, Austria, September 16-20, 2024 ECOOP Jonathan Aldrich, Guido Salvaneschi
2024	J	`jnl`	Automated Infrastructure as Code Program Testing. IEEE Trans. Software Eng. Daniel Sokolowski, David Spielmann, Guido Salvaneschi
2024	J	`jnl`	Automated Verification of Fundamental Algebraic Laws. Proc. ACM Program. Lang. George Zakhour, Pascal Weisenburger, Guido Salvaneschi
2024	—	`ch.`	Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems. Active Object Languages: Current Research Trends Guido Salvaneschi, Pascal Weisenburger
2024	B	`conf`	Stateful Entities: Object-oriented Cloud Applications as Distributed Dataflows. EDBT Kyriakos Psarakis, Wouter Zorgdrager, Marios Fragkoulis, Guido Salvaneschi, Asterios Katsifodimos
2024	A	`conf`	The PIPr Dataset of Public Infrastructure as Code Programs. MSR Daniel Sokolowski, David Spielmann, Guido Salvaneschi
2024	J	`jnl`	The eXchange Calculus (XC): A functional programming language design for distributed collective systems. J. Syst. Softw. Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
2024	—	`conf`	Towards AI for Software Systems. AIware Nafise Eskandani, Guido Salvaneschi
2024	—	`conf`	Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code. ICSE Companion Daniel Sokolowski, David Spielmann, Guido Salvaneschi
2023	A	`ed.`	37th European Conference on Object-Oriented Programming, ECOOP 2023, Seattle, Washington, United States, July 17-21, 2023 ECOOP Karim Ali, Guido Salvaneschi
2023	J	`jnl`	Decentralizing Infrastructure as Code. IEEE Softw. Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
2023	—	`conf`	Extensible Testing for Infrastructure as Code. SPLASH Companion David Spielmann, Daniel Sokolowski, Guido Salvaneschi
2023	J	`jnl`	Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. ACM Trans. Program. Lang. Syst. David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2023	—	`conf`	Real-time Collaboration in Linked Data Systems. ISWC (Posters/Demos/Industry) Jonathan Gruss, Andrei Ciortea, Guido Salvaneschi, Simon Mayer
2023	—	`conf`	Safe Combination of Data-Centric and Operation-Centric Consistency. SPLASH Companion Mirko Köhler, Guido Salvaneschi
2023	A	`conf`	Stateful Entities: Object-oriented Cloud Applications as Distributed Dataflows. CIDR Kyriakos Psarakis, Wouter Zorgdrager, Marios Fragkoulis, Guido Salvaneschi, Asterios Katsifodimos
2023	J	`jnl`	The uphill journey of FaaS in the open-source community. J. Syst. Softw. Nafise Eskandani, Guido Salvaneschi
2023	—	`conf`	Towards Reliable Infrastructure as Code. ICSA-C Daniel Sokolowski, Guido Salvaneschi
2023	J	`jnl`	Type-Checking CRDT Convergence. Proc. ACM Program. Lang. George Zakhour, Pascal Weisenburger, Guido Salvaneschi
2023	J	`jnl`	Type-Safe Dynamic Placement with First-Class Placed Values. Proc. ACM Program. Lang. George Zakhour, Pascal Weisenburger, Guido Salvaneschi
2022	A*	`conf`	Change Is the Only Constant: Dynamic Updates for Workflows. ICSE Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
2022	J	`jnl`	Functional Programming for Distributed Systems with XC (Artifact). Dagstuhl Artifacts Ser. Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
2022	A	`conf`	Functional Programming for Distributed Systems with XC. ECOOP Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
2022	J	`jnl`	Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact). Dagstuhl Artifacts Ser. David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022	A	`conf`	Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). ECOOP David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022	J	`jnl`	Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version). CoRR David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022	—	`ed.`	Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2022, Auckland, New Zealand, 7 December 2022 REBLS@SPLASH Wolfgang De Meuter, Patrick Eugster, Guido Salvaneschi, Francisco Sant'Anna, Lukasz Ziarek, Pascal Weisenburger
2021	J	`jnl`	A Survey of Multitier Programming. ACM Comput. Surv. Pascal Weisenburger, Johannes Wirth, Guido Salvaneschi
2021	—	`conf`	Automating serverless deployments for DevOps organizations. ESEC/SIGSOFT FSE Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
2021	—	`conf`	Enclave-Based Secure Programming with JE. SecDev Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi
2021	A	`conf`	Language Support for Secure Software Development with Enclaves. CSF Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi
2021	A	`conf`	Multiparty Languages: The Choreographic and Multitier Cases (Pearl). ECOOP Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
2021	J	`jnl`	TCEP: Transitions in Operator Placement to Adapt to Dynamic Network Environments. CoRR Manisha Luthra, Boris Koldehofe, Niels Danger, Pascal Weisenburger, Guido Salvaneschi, Ioannis Stavrakakis
2021	J	`jnl`	TCEP: Transitions in operator placement to adapt to dynamic network environments. J. Comput. Syst. Sci. Manisha Luthra, Boris Koldehofe, Niels Danger, Pascal Weisenburger, Guido Salvaneschi, Ioannis Stavrakakis
2021	A	`conf`	The Wonderless Dataset for Serverless Computing. MSR Nafise Eskandani, Guido Salvaneschi
2021	—	`conf`	Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming. ACSOS-C Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
2020	A	`conf`	A programming model for semi-implicit parallelization of static analyses. ISSTA Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini
2020	—	`conf`	ConSysT: tunable, safe consistency meets object-oriented programming. FTfJP@ECOOP Mirko Köhler, Nafise Eskandani Masoule, Alessandro Margara, Guido Salvaneschi
2020	J	`jnl`	Handling Bidirectional Control Flow: Technical Report. CoRR Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
2020	J	`jnl`	Handling bidirectional control flow. Proc. ACM Program. Lang. Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
2020	J	`jnl`	Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala. CoRR Pascal Weisenburger, Guido Salvaneschi
2020	J	`jnl`	Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala. Art Sci. Eng. Program. Pascal Weisenburger, Guido Salvaneschi
2020	—	`conf`	Leveraging Hybrid Cloud HPC with Multitier Reactive Programming. SuperCompCloud@SC Daniel Sokolowski, Jan-Patrick Lehr, Christian H. Bischof, Guido Salvaneschi
2020	J	`jnl`	Rethinking safe consistency in distributed object-oriented programming. Proc. ACM Program. Lang. Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, Guido Salvaneschi
2020	—	`ed.`	SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020 SCALA@SPLASH Guido Salvaneschi, Nada Amin
2019	J	`jnl`	A fault-tolerant programming model for distributed interactive applications. Proc. ACM Program. Lang. Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, Mira Mezini
2019	A*	`conf`	Automated Refactoring to Reactive Programming. ASE Mirko Köhler, Guido Salvaneschi
2019	—	`conf`	Developing Distributed Systems with Multitier Programming. DEBS Pascal Weisenburger, Guido Salvaneschi
2019	—	`conf`	Distributed object-oriented programming with multiple consistency levels in ConSysT. SPLASH (Companion Volume) Nafise Eskandani, Mirko Köhler, Alessandro Margara, Guido Salvaneschi
2019	—	`conf`	GRASS: generic reactive application-specific scheduling. REBLS@SPLASH Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi
2019	A	`conf`	How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. ECOOP Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
2019	J	`jnl`	How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. CoRR Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
2019	—	`conf`	Language support for multiple privacy enhancing technologies. Programming Aditya Oak, Mira Mezini, Guido Salvaneschi
2019	J	`jnl`	Language-integrated privacy-aware distributed queries. Proc. ACM Program. Lang. Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini
2019	A	`conf`	Multitier Modules. ECOOP Pascal Weisenburger, Guido Salvaneschi
2019	—	`conf`	On Context-Orientation in Aggregate Programming. FAS*W@SASO/ICAC Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
2019	—	`ed.`	Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2019, Athens, Greece, October 21, 2019 SPLASH Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Francisco Sant'Anna, Lukasz Ziarek, Tetsuo Kamina, Hidehiko Masuhara
2019	J	`jnl`	Programming Languages for Distributed Systems (NII Shonan Meeting 149). NII Shonan Meet. Rep. Philipp Haller, Guido Salvaneschi, Takuo Watanabe, Gul Agha
2019	J	`jnl`	Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442). Dagstuhl Reports Carla Ferreira, Philipp Haller, Guido Salvaneschi
2019	J	`jnl`	Type-safe, Polyvariadic Event Correlation. CoRR Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini
2018	J	`jnl`	Distributed system development with ScalaLoci. Proc. ACM Program. Lang. Pascal Weisenburger, Mirko Köhler, Guido Salvaneschi
2018	A	`conf`	Fault-tolerant Distributed Reactive Programming. ECOOP Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini
2018	—	`conf`	Lattice based modularization of static analyses. ISSTA/ECOOP Workshops Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini
2018	—	`conf`	Multimodal Complex Event Processing on Mobile Devices. DEBS Pablo Graubner, Christoph Thelen, Michael Körber, Artur Sterz, Guido Salvaneschi, Mira Mezini, Bernhard Seeger, Bernd Freisleben
2018	J	`jnl`	On the Semantics of Distributed Reactive Programming: The Cost of Consistency. IEEE Trans. Software Eng. Alessandro Margara, Guido Salvaneschi
2018	—	`ed.`	Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017. ALP4IoT@iFM Danilo Pianini, Guido Salvaneschi
2018	—	`ed.`	Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2018, Boston, MA, USA, November 4, 2018 REBLS@SPLASH Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek, Francisco Sant'Anna
2018	—	`conf`	Reactive programming experience with REScala. Programming Ragnar Mogk, Guido Salvaneschi, Mira Mezini
2018	—	`conf`	Static latency tracking with placement types. ISSTA/ECOOP Workshops Pascal Weisenburger, Tobias Reinhard, Guido Salvaneschi
2018	—	`conf`	TCEP: Adapting to Dynamic User Environments by Enabling Transitions between Operator Placement Mechanisms. DEBS Manisha Luthra, Boris Koldehofe, Pascal Weisenburger, Guido Salvaneschi, Raheel Arif
2018	J	`jnl`	Thread-safe reactive programming. Proc. ACM Program. Lang. Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, Mira Mezini
2018	—	`conf`	Towards safe modular composition of network functions. Programming Matthias Eichholz, Guido Salvaneschi, Mira Mezini
2018	J	`jnl`	Versatile event correlation with algebraic effects. Proc. ACM Program. Lang. Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini
2017	—	`conf`	Consistency Types for Safe and Efficient Distributed Programming. FTfJP@ECOOP Alessandro Margara, Guido Salvaneschi
2017	J	`jnl`	Editorial: Introducing The Art, Science, and Engineering of Programming - An Open Access Journal for All-Things Programming. Art Sci. Eng. Program. Cristina V. Lopes, Shigeru Chiba, Theo D'Hondt, Wolfgang De Meuter, Richard P. Gabriel, Robert Hirschfeld, Tobias Pape, Guido Salvaneschi, Mario Südholt
2017	J	`jnl`	On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study. IEEE Trans. Software Eng. Guido Salvaneschi, Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini
2017	—	`ed.`	Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Vancouver, BC, Canada, October 23, 2017 REBLS@SPLASH Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek
2017	—	`conf`	Quality-Aware Runtime Adaptation in Complex Event Processing. SEAMS@ICSE Pascal Weisenburger, Manisha Luthra, Boris Koldehofe, Guido Salvaneschi
2016	A*	`conf`	Accepting blame for safe tunneled exceptions. PLDI Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers
2016	C	`conf`	An empirical study on program comprehension with reactive programming. Software Engineering Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini
2016	J	`jnl`	CPL: A Core Language for Cloud Computing - Technical Report. CoRR Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
2016	—	`conf`	CPL: a core language for cloud computing. MODULARITY Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
2016	A*	`conf`	Debugging for reactive programming. ICSE Guido Salvaneschi, Mira Mezini
2016	—	`conf`	Debugging reactive programming with reactive inspector. ICSE (Companion Volume) Guido Salvaneschi, Mira Mezini
2016	—	`ed.`	Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems, Amsterdam, Netherlands, November 1, 2016 REBLS@SPLASH Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek
2016	—	`conf`	Reactive Async: expressive deterministic concurrency. SCALA@SPLASH Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi
2016	—	`conf`	SecureScala: Scala embedding of secure computations. SCALA@SPLASH Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi
2016	—	`conf`	What do we really know about data flow languages? PLATEAU@SPLASH Guido Salvaneschi
2015	J	`jnl`	ContextErlang: A language for distributed context-aware self-adaptive applications. Sci. Comput. Program. Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2015	A*	`conf`	Lightweight, flexible object-oriented generics. PLDI Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers
2015	—	`conf`	Reactive Programming: A Walkthrough. ICSE (2) Guido Salvaneschi, Alessandro Margara, Giordano Tamburrelli
2015	—	`conf`	Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015). SPLASH (Companion Volume) Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek
2014	—	`conf`	An empirical study on program comprehension with reactive programming. SIGSOFT FSE Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini
2014	A	`conf`	Distributed REScala: an update algorithm for distributed reactive programming. OOPSLA Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini
2014	—	`conf`	JEScala: modular coordination with declarative events and joins. MODULARITY Jurgen Michael Van Ham, Guido Salvaneschi, Mira Mezini, Jacques Noyé
2014	J	`jnl`	Programming with Implicit Flows. IEEE Softw. Guido Salvaneschi, Patrick Eugster, Mira Mezini
2014	—	`conf`	REScala: bridging between object-oriented and functional style in reactive applications. MODULARITY Guido Salvaneschi, Gerold Hintz, Mira Mezini
2014	—	`conf`	We have a DREAM: distributed reactive programming with consistency guarantees. DEBS Alessandro Margara, Guido Salvaneschi
2014	A	`conf`	i3QL: language-integrated live data views. OOPSLA Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi
2013	J	`jnl`	An Analysis of Language-Level Support for Self-Adaptive Software. ACM Trans. Auton. Adapt. Syst. Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2013	—	`conf`	Reactive behavior in object-oriented applications: an analysis and a research roadmap. AOSD Guido Salvaneschi, Mira Mezini
2013	C	`conf`	Towards Distributed Reactive Programming. COORDINATION Guido Salvaneschi, Joscha Drechsler, Mira Mezini
2013	J	`jnl`	Towards Reactive Programming for Object-Oriented Applications. LNCS Trans. Aspect Oriented Softw. Dev. Guido Salvaneschi, Mira Mezini
2012	—	`—`	A language-level approach to self-adaptive software. Guido Salvaneschi
2012	J	`jnl`	Context-oriented programming: A software engineering perspective. J. Syst. Softw. Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2012	—	`conf`	ContextErlang: introducing context-oriented programming in the actor model. AOSD Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2011	A	`conf`	An evaluation of the adaptation capabilities in programming languages. SEAMS Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
2011	J	`jnl`	Context-Oriented Programming: A Programming Paradigm for Autonomic Systems CoRR Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2011	Misc	`conf`	Finding Non-trivial Malware Naming Inconsistencies. ICISS Federico Maggi, Andrea Bellini, Guido Salvaneschi, Stefano Zanero
2011	J	`jnl`	JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming CoRR Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2011	—	`conf`	JavaCtx: seamless toolchain integration for context-oriented programming. COP@ECOOP Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2011	—	`ch.`	Metrics of Software Security. Encyclopedia of Cryptography and Security (2nd Ed.) Guido Salvaneschi, Paolo Salvaneschi
2010	B	`conf`	Automatic Cross Validation of Multiple Specifications: A Case Study. FASE Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi
2010	—	`conf`	Context oriented programming in highly concurrent systems. COP@ECOOP Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
2010	A*	`conf`	Identifying Dormant Functionality in Malware Programs. IEEE Symposium on Security and Privacy Paolo Milani Comparetti, Guido Salvaneschi, Engin Kirda, Clemens Kolbitsch, Christopher Kruegel, Stefano Zanero
2010	A	`conf`	Programming language support to context-aware adaptation: a case-study with Erlang. SEAMS Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi