default search action
Guido Salvaneschi
Person information
- affiliation: University of St.Gallen, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j28]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
The eXchange Calculus (XC): A functional programming language design for distributed collective systems. J. Syst. Softw. 210: 111976 (2024) - [j27]George Zakhour, Pascal Weisenburger, Guido Salvaneschi:
Automated Verification of Fundamental Algebraic Laws. Proc. ACM Program. Lang. 8(PLDI): 766-789 (2024) - [j26]Daniel Sokolowski, David Spielmann, Guido Salvaneschi:
Automated Infrastructure as Code Program Testing. IEEE Trans. Software Eng. 50(6): 1585-1599 (2024) - [c65]Nafise Eskandani, Guido Salvaneschi:
Towards AI for Software Systems. AIware 2024 - [c64]Kyriakos Psarakis, Wouter Zorgdrager, Marios Fragkoulis, Guido Salvaneschi, Asterios Katsifodimos:
Stateful Entities: Object-oriented Cloud Applications as Distributed Dataflows. EDBT 2024: 15-21 - [c63]Daniel Sokolowski, David Spielmann, Guido Salvaneschi:
Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code. ICSE Companion 2024: 300-301 - [c62]Daniel Sokolowski, David Spielmann, Guido Salvaneschi:
The PIPr Dataset of Public Infrastructure as Code Programs. MSR 2024: 498-503 - [p1]Guido Salvaneschi, Pascal Weisenburger:
Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems. Active Object Languages: Current Research Trends 2024: 92-122 - [e9]Jonathan Aldrich, Guido Salvaneschi:
38th European Conference on Object-Oriented Programming, ECOOP 2024, September 16-20, 2024, Vienna, Austria. LIPIcs 313, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-341-6 [contents] - 2023
- [j25]Nafise Eskandani, Guido Salvaneschi:
The uphill journey of FaaS in the open-source community. J. Syst. Softw. 198: 111589 (2023) - [j24]George Zakhour, Pascal Weisenburger, Guido Salvaneschi:
Type-Safe Dynamic Placement with First-Class Placed Values. Proc. ACM Program. Lang. 7(OOPSLA2): 2142-2170 (2023) - [j23]George Zakhour, Pascal Weisenburger, Guido Salvaneschi:
Type-Checking CRDT Convergence. Proc. ACM Program. Lang. 7(PLDI): 1365-1388 (2023) - [j22]Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi:
Decentralizing Infrastructure as Code. IEEE Softw. 40(1): 50-55 (2023) - [j21]David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini:
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. ACM Trans. Program. Lang. Syst. 45(3): 17:1-17:41 (2023) - [c61]Kyriakos Psarakis, Wouter Zorgdrager, Marios Fragkoulis, Guido Salvaneschi, Asterios Katsifodimos:
Stateful Entities: Object-oriented Cloud Applications as Distributed Dataflows. CIDR 2023 - [c60]Daniel Sokolowski, Guido Salvaneschi:
Towards Reliable Infrastructure as Code. ICSA-C 2023: 318-321 - [c59]Jonathan Gruss, Andrei Ciortea, Guido Salvaneschi, Simon Mayer:
Real-time Collaboration in Linked Data Systems. ISWC (Posters/Demos/Industry) 2023 - [c58]David Spielmann, Daniel Sokolowski, Guido Salvaneschi:
Extensible Testing for Infrastructure as Code. SPLASH Companion 2023: 58-60 - [c57]Mirko Köhler, Guido Salvaneschi:
Safe Combination of Data-Centric and Operation-Centric Consistency. SPLASH Companion 2023: 65-67 - [e8]Karim Ali, Guido Salvaneschi:
37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States. LIPIcs 263, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-281-5 [contents] - 2022
- [j20]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC (Artifact). Dagstuhl Artifacts Ser. 8(2): 08:1-08:4 (2022) - [j19]David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini:
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact). Dagstuhl Artifacts Ser. 8(2): 16:1-16:3 (2022) - [c56]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC. ECOOP 2022: 20:1-20:28 - [c55]David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini:
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). ECOOP 2022: 35:1-35:4 - [c54]Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi:
Change Is the Only Constant: Dynamic Updates for Workflows. ICSE 2022: 350-362 - [e7]Wolfgang De Meuter, Patrick Eugster, Guido Salvaneschi, Francisco Sant'Anna, Lukasz Ziarek, Pascal Weisenburger:
Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2022, Auckland, New Zealand, 7 December 2022. ACM 2022, ISBN 978-1-4503-9911-1 [contents] - [i11]David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini:
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version). CoRR abs/2205.07780 (2022) - 2021
- [j18]Pascal Weisenburger, Johannes Wirth, Guido Salvaneschi:
A Survey of Multitier Programming. ACM Comput. Surv. 53(4): 81:1-81:35 (2021) - [j17]Manisha Luthra, Boris Koldehofe, Niels Danger, Pascal Weisenburger, Guido Salvaneschi, Ioannis Stavrakakis:
TCEP: Transitions in operator placement to adapt to dynamic network environments. J. Comput. Syst. Sci. 122: 94-125 (2021) - [c53]Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli:
Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming. ACSOS-C 2021: 99-104 - [c52]Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi:
Language Support for Secure Software Development with Enclaves. CSF 2021: 1-16 - [c51]Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger:
Multiparty Languages: The Choreographic and Multitier Cases (Pearl). ECOOP 2021: 22:1-22:27 - [c50]Nafise Eskandani, Guido Salvaneschi:
The Wonderless Dataset for Serverless Computing. MSR 2021: 565-569 - [c49]Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi:
Enclave-Based Secure Programming with JE. SecDev 2021: 71-78 - [c48]Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi:
Automating serverless deployments for DevOps organizations. ESEC/SIGSOFT FSE 2021: 57-69 - [i10]Manisha Luthra, Boris Koldehofe, Niels Danger, Pascal Weisenburger, Guido Salvaneschi, Ioannis Stavrakakis:
TCEP: Transitions in Operator Placement to Adapt to Dynamic Network Environments. CoRR abs/2106.12429 (2021) - 2020
- [j16]Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers:
Handling bidirectional control flow. Proc. ACM Program. Lang. 4(OOPSLA): 139:1-139:30 (2020) - [j15]Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, Guido Salvaneschi:
Rethinking safe consistency in distributed object-oriented programming. Proc. ACM Program. Lang. 4(OOPSLA): 188:1-188:30 (2020) - [j14]Pascal Weisenburger, Guido Salvaneschi:
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala. Art Sci. Eng. Program. 4(3): 17 (2020) - [c47]Mirko Köhler, Nafise Eskandani Masoule, Alessandro Margara, Guido Salvaneschi:
ConSysT: tunable, safe consistency meets object-oriented programming. FTfJP@ECOOP 2020: 15-17 - [c46]Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini:
A programming model for semi-implicit parallelization of static analyses. ISSTA 2020: 428-439 - [c45]Daniel Sokolowski, Jan-Patrick Lehr, Christian H. Bischof, Guido Salvaneschi:
Leveraging Hybrid Cloud HPC with Multitier Reactive Programming. SuperCompCloud@SC 2020: 27-32 - [e6]Guido Salvaneschi, Nada Amin:
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020. ACM 2020, ISBN 978-1-4503-8177-2 [contents] - [i9]Pascal Weisenburger, Guido Salvaneschi:
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala. CoRR abs/2002.06184 (2020) - [i8]Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers:
Handling Bidirectional Control Flow: Technical Report. CoRR abs/2010.09073 (2020)
2010 – 2019
- 2019
- [j13]Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, Mira Mezini:
A fault-tolerant programming model for distributed interactive applications. Proc. ACM Program. Lang. 3(OOPSLA): 144:1-144:29 (2019) - [j12]Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini:
Language-integrated privacy-aware distributed queries. Proc. ACM Program. Lang. 3(OOPSLA): 167:1-167:30 (2019) - [c44]Pascal Weisenburger, Guido Salvaneschi:
Developing Distributed Systems with Multitier Programming. DEBS 2019: 203-204 - [c43]Pascal Weisenburger, Guido Salvaneschi:
Multitier Modules. ECOOP 2019: 3:1-3:29 - [c42]Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini:
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. ECOOP 2019: 12:1-12:28 - [c41]Mirko Köhler, Guido Salvaneschi:
Automated Refactoring to Reactive Programming. ASE 2019: 835-846 - [c40]Nafise Eskandani, Mirko Köhler, Alessandro Margara, Guido Salvaneschi:
Distributed object-oriented programming with multiple consistency levels in ConSysT. SPLASH (Companion Volume) 2019: 13-14 - [c39]Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi:
GRASS: generic reactive application-specific scheduling. REBLS@SPLASH 2019: 21-30 - [c38]Aditya Oak, Mira Mezini, Guido Salvaneschi:
Language support for multiple privacy enhancing technologies. Programming 2019: 12:1-12:2 - [c37]Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli:
On Context-Orientation in Aggregate Programming. FAS*W@SASO/ICAC 2019: 92-97 - [e5]Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Francisco Sant'Anna, Lukasz Ziarek, Tetsuo Kamina, Hidehiko Masuhara:
Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2019, Athens, Greece, October 21, 2019. ACM 2019, ISBN 978-1-4503-6986-2 [contents] - [i7]Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini:
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. CoRR abs/1906.07223 (2019) - [i6]Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini:
Type-safe, Polyvariadic Event Correlation. CoRR abs/1907.02990 (2019) - [i5]Carla Ferreira, Philipp Haller, Guido Salvaneschi:
Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442). Dagstuhl Reports 9(10): 117-133 (2019) - [i4]Philipp Haller, Guido Salvaneschi, Takuo Watanabe, Gul Agha:
Programming Languages for Distributed Systems (NII Shonan Meeting 149). NII Shonan Meet. Rep. 2019 (2019) - 2018
- [j11]Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini:
Versatile event correlation with algebraic effects. Proc. ACM Program. Lang. 2(ICFP): 67:1-67:31 (2018) - [j10]Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, Mira Mezini:
Thread-safe reactive programming. Proc. ACM Program. Lang. 2(OOPSLA): 107:1-107:30 (2018) - [j9]Pascal Weisenburger, Mirko Köhler, Guido Salvaneschi:
Distributed system development with ScalaLoci. Proc. ACM Program. Lang. 2(OOPSLA): 129:1-129:30 (2018) - [j8]Alessandro Margara, Guido Salvaneschi:
On the Semantics of Distributed Reactive Programming: The Cost of Consistency. IEEE Trans. Software Eng. 44(7): 689-711 (2018) - [c36]Pablo Graubner, Christoph Thelen, Michael Körber, Artur Sterz, Guido Salvaneschi, Mira Mezini, Bernhard Seeger, Bernd Freisleben:
Multimodal Complex Event Processing on Mobile Devices. DEBS 2018: 112-123 - [c35]Manisha Luthra, Boris Koldehofe, Pascal Weisenburger, Guido Salvaneschi, Raheel Arif:
TCEP: Adapting to Dynamic User Environments by Enabling Transitions between Operator Placement Mechanisms. DEBS 2018: 136-147 - [c34]Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini:
Fault-tolerant Distributed Reactive Programming. ECOOP 2018: 1:1-1:26 - [c33]Pascal Weisenburger, Tobias Reinhard, Guido Salvaneschi:
Static latency tracking with placement types. ISSTA/ECOOP Workshops 2018: 34-36 - [c32]Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini:
Lattice based modularization of static analyses. ISSTA/ECOOP Workshops 2018: 113-118 - [c31]Matthias Eichholz, Guido Salvaneschi, Mira Mezini:
Towards safe modular composition of network functions. Programming 2018: 81-86 - [c30]Ragnar Mogk, Guido Salvaneschi, Mira Mezini:
Reactive programming experience with REScala. Programming 2018: 105-112 - [e4]Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek, Francisco Sant'Anna:
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. ACM 2018, ISBN 978-1-4503-6070-8 [contents] - [e3]Danilo Pianini, Guido Salvaneschi:
Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017. EPTCS 264, 2018 [contents] - 2017
- [j7]Cristina V. Lopes, Shigeru Chiba, Theo D'Hondt, Wolfgang De Meuter, Richard P. Gabriel, Robert Hirschfeld, Tobias Pape, Guido Salvaneschi, Mario Südholt:
Editorial: Introducing The Art, Science, and Engineering of Programming - An Open Access Journal for All-Things Programming. Art Sci. Eng. Program. 1(1) (2017) - [j6]Guido Salvaneschi, Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini:
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study. IEEE Trans. Software Eng. 43(12): 1125-1143 (2017) - [c29]Alessandro Margara, Guido Salvaneschi:
Consistency Types for Safe and Efficient Distributed Programming. FTfJP@ECOOP 2017: 8:1-8:2 - [c28]Pascal Weisenburger, Manisha Luthra, Boris Koldehofe, Guido Salvaneschi:
Quality-Aware Runtime Adaptation in Complex Event Processing. SEAMS@ICSE 2017: 140-151 - [e2]Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek:
Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Vancouver, BC, Canada, October 23, 2017. ACM 2017, ISBN 978-1-4503-5515-5 [contents] - 2016
- [c27]Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini:
CPL: a core language for cloud computing. MODULARITY 2016: 94-105 - [c26]Guido Salvaneschi, Mira Mezini:
Debugging reactive programming with reactive inspector. ICSE (Companion Volume) 2016: 728-730 - [c25]Guido Salvaneschi, Mira Mezini:
Debugging for reactive programming. ICSE 2016: 796-807 - [c24]Guido Salvaneschi:
What do we really know about data flow languages? PLATEAU@SPLASH 2016: 30-31 - [c23]Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers:
Accepting blame for safe tunneled exceptions. PLDI 2016: 281-295 - [c22]Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi:
Reactive Async: expressive deterministic concurrency. SCALA@SPLASH 2016: 11-20 - [c21]Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi:
SecureScala: Scala embedding of secure computations. SCALA@SPLASH 2016: 75-84 - [c20]Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini:
An empirical study on program comprehension with reactive programming. Software Engineering 2016: 69-70 - [e1]Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek:
Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems, Amsterdam, Netherlands, November 1, 2016. ACM 2016, ISBN 978-1-4503-4644-3 [contents] - [i3]Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini:
CPL: A Core Language for Cloud Computing - Technical Report. CoRR abs/1602.00981 (2016) - 2015
- [j5]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
ContextErlang: A language for distributed context-aware self-adaptive applications. Sci. Comput. Program. 102: 20-43 (2015) - [c19]Guido Salvaneschi, Alessandro Margara, Giordano Tamburrelli:
Reactive Programming: A Walkthrough. ICSE (2) 2015: 953-954 - [c18]Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek:
Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015). SPLASH (Companion Volume) 2015: 109-110 - [c17]Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers:
Lightweight, flexible object-oriented generics. PLDI 2015: 436-445 - 2014
- [j4]Guido Salvaneschi, Patrick Eugster, Mira Mezini:
Programming with Implicit Flows. IEEE Softw. 31(5): 52-59 (2014) - [c16]Guido Salvaneschi, Gerold Hintz, Mira Mezini:
REScala: bridging between object-oriented and functional style in reactive applications. MODULARITY 2014: 25-36 - [c15]Jurgen Michael Van Ham, Guido Salvaneschi, Mira Mezini, Jacques Noyé:
JEScala: modular coordination with declarative events and joins. MODULARITY 2014: 205-216 - [c14]Alessandro Margara, Guido Salvaneschi:
We have a DREAM: distributed reactive programming with consistency guarantees. DEBS 2014: 142-153 - [c13]Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini:
Distributed REScala: an update algorithm for distributed reactive programming. OOPSLA 2014: 361-376 - [c12]Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi:
i3QL: language-integrated live data views. OOPSLA 2014: 417-432 - [c11]Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini:
An empirical study on program comprehension with reactive programming. SIGSOFT FSE 2014: 564-575 - 2013
- [j3]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
An Analysis of Language-Level Support for Self-Adaptive Software. ACM Trans. Auton. Adapt. Syst. 8(2): 7:1-7:29 (2013) - [j2]Guido Salvaneschi, Mira Mezini:
Towards Reactive Programming for Object-Oriented Applications. LNCS Trans. Aspect Oriented Softw. Dev. 11: 227-261 (2013) - [c10]Guido Salvaneschi, Mira Mezini:
Reactive behavior in object-oriented applications: an analysis and a research roadmap. AOSD 2013: 37-48 - [c9]Guido Salvaneschi, Joscha Drechsler, Mira Mezini:
Towards Distributed Reactive Programming. COORDINATION 2013: 226-235 - 2012
- [b1]Guido Salvaneschi:
A language-level approach to self-adaptive software. Polytechnic University of Milan, Italy, 2012 - [j1]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
Context-oriented programming: A software engineering perspective. J. Syst. Softw. 85(8): 1801-1817 (2012) - [c8]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
ContextErlang: introducing context-oriented programming in the actor model. AOSD 2012: 191-202 - 2011
- [c7]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
JavaCtx: seamless toolchain integration for context-oriented programming. COP@ECOOP 2011: 4:1-4:6 - [c6]Federico Maggi, Andrea Bellini, Guido Salvaneschi, Stefano Zanero:
Finding Non-trivial Malware Naming Inconsistencies. ICISS 2011: 144-159 - [c5]Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi:
An evaluation of the adaptation capabilities in programming languages. SEAMS 2011: 50-59 - [r1]Guido Salvaneschi, Paolo Salvaneschi:
Metrics of Software Security. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 775-778 - [i2]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming. CoRR abs/1104.1351 (2011) - [i1]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
Context-Oriented Programming: A Programming Paradigm for Autonomic Systems. CoRR abs/1105.0069 (2011) - 2010
- [c4]Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi:
Context oriented programming in highly concurrent systems. COP@ECOOP 2010: 1:1-1:3 - [c3]Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi:
Automatic Cross Validation of Multiple Specifications: A Case Study. FASE 2010: 233-247 - [c2]Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi:
Programming language support to context-aware adaptation: a case-study with Erlang. SEAMS 2010: 59-68 - [c1]Paolo Milani Comparetti, Guido Salvaneschi, Engin Kirda, Clemens Kolbitsch, Christopher Kruegel, Stefano Zanero:
Identifying Dormant Functionality in Malware Programs. IEEE Symposium on Security and Privacy 2010: 61-76