Guido Salvaneschi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
42
Venues
15
Active years
2010–2025
Best venue rank
A*
Where they publish
Papers
42 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DSD | CAPE - European Open Compute Architecture for Powerful Edge. | Martin Kaiser, Lennart Tigges, Jens Hagemeyer, Christian Klarhorst, Bjrn Vo, Fred Buining, Bola Fakhoury, Jnos Laznyi, 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 Bhler, Guido Salvaneschi, Brandon Lewis, Angela Hauber |
| 2025 | ISSTA | Hybrid Fuzzing of Infrastructure as Code Programs (Short Paper). | Emilio Coppa, Daniel Sokolowski, Guido Salvaneschi |
| 2025 | MSR | TerraDS: A Dataset for Terraform HCL Programs. | Christoph Bhler, David Spielmann, Roland Meier, Guido Salvaneschi |
| 2024 | EDBT | Stateful Entities: Object-oriented Cloud Applications as Distributed Dataflows. | Kyriakos Psarakis, Wouter Zorgdrager, Marios Fragkoulis, Guido Salvaneschi, Asterios Katsifodimos |
| 2024 | ICSE | Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code. | Daniel Sokolowski, David Spielmann, Guido Salvaneschi |
| 2024 | MSR | The PIPr Dataset of Public Infrastructure as Code Programs. | Daniel Sokolowski, David Spielmann, Guido Salvaneschi |
| 2023 | CIDR | Stateful Entities: Object-oriented Cloud Applications as Distributed Dataflows. | Kyriakos Psarakis, Wouter Zorgdrager, Marios Fragkoulis, Guido Salvaneschi, Asterios Katsifodimos |
| 2023 | ICSA | Towards Reliable Infrastructure as Code. | Daniel Sokolowski, Guido Salvaneschi |
| 2022 | ECOOP | Functional Programming for Distributed Systems with XC. | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli |
| 2022 | ECOOP | Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). | David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini |
| 2022 | ICSE | Change Is the Only Constant: Dynamic Updates for Workflows. | Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi |
| 2021 | ECOOP | Multiparty Languages: The Choreographic and Multitier Cases (Pearl). | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger |
| 2021 | MSR | The Wonderless Dataset for Serverless Computing. | Nafise Eskandani, Guido Salvaneschi |
| 2020 | ECOOP | ConSysT: tunable, safe consistency meets object-oriented programming. | Mirko Khler, Nafise Eskandani Masoule, Alessandro Margara, Guido Salvaneschi |
| 2020 | ISSTA | A programming model for semi-implicit parallelization of static analyses. | Dominik Helm, Florian Kbler, Jan Thomas Klzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini |
| 2020 | SC | Leveraging Hybrid Cloud HPC with Multitier Reactive Programming. | Daniel Sokolowski, Jan-Patrick Lehr, Christian H. Bischof, Guido Salvaneschi |
| 2019 | ECOOP | How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. | Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini |
| 2019 | ECOOP | Multitier Modules. | Pascal Weisenburger, Guido Salvaneschi |
| 2019 | OOPSLA | GRASS: generic reactive application-specific scheduling. | Marcel Blcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi |
| 2019 | OOPSLA | Distributed object-oriented programming with multiple consistency levels in ConSysT. | Nafise Eskandani, Mirko Khler, Alessandro Margara, Guido Salvaneschi |
| 2018 | ECOOP | Fault-tolerant Distributed Reactive Programming. | Ragnar Mogk, Lars Baumgrtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini |
| 2018 | ISSTA | Lattice based modularization of static analyses. | Michael Eichberg, Florian Kbler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini |
| 2018 | ISSTA | Static latency tracking with placement types. | Pascal Weisenburger, Tobias Reinhard, Guido Salvaneschi |
| 2017 | ECOOP | Consistency Types for Safe and Efficient Distributed Programming. | Alessandro Margara, Guido Salvaneschi |
| 2017 | ICSE | Quality-Aware Runtime Adaptation in Complex Event Processing. | Pascal Weisenburger, Manisha Luthra, Boris Koldehofe, Guido Salvaneschi |
| 2016 | ICSE | Debugging for reactive programming. | Guido Salvaneschi, Mira Mezini |
| 2016 | ICSE | Debugging reactive programming with reactive inspector. | Guido Salvaneschi, Mira Mezini |
| 2016 | OOPSLA | What do we really know about data flow languages? | Guido Salvaneschi |
| 2016 | PLDI | Accepting blame for safe tunneled exceptions. | Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers |
| 2015 | ICSE | Reactive Programming: A Walkthrough. | Guido Salvaneschi, Alessandro Margara, Giordano Tamburrelli |
| 2015 | OOPSLA | Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015). | Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek |
| 2015 | PLDI | Lightweight, flexible object-oriented generics. | Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers |
| 2014 | OOPSLA | Distributed REScala: an update algorithm for distributed reactive programming. | Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini |
| 2014 | OOPSLA | i3QL: language-integrated live data views. | Ralf Mitschke, Sebastian Erdweg, Mirko Khler, Mira Mezini, Guido Salvaneschi |
| 2013 | Coordination | Towards Distributed Reactive Programming. | Guido Salvaneschi, Joscha Drechsler, Mira Mezini |
| 2011 | ECOOP | JavaCtx: seamless toolchain integration for context-oriented programming. | Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella |
| 2011 | ICISS | Finding Non-trivial Malware Naming Inconsistencies. | Federico Maggi, Andrea Bellini, Guido Salvaneschi, Stefano Zanero |
| 2011 | ICSE | An evaluation of the adaptation capabilities in programming languages. | Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi |
| 2010 | ECOOP | Context oriented programming in highly concurrent systems. | Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi |
| 2010 | FASE | Automatic Cross Validation of Multiple Specifications: A Case Study. | Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi |
| 2010 | ICSE | Programming language support to context-aware adaptation: a case-study with Erlang. | Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi |
| 2010 | SP | Identifying Dormant Functionality in Malware Programs. | Paolo Milani Comparetti, Guido Salvaneschi, Engin Kirda, Clemens Kolbitsch, Christopher Kruegel, Stefano Zanero |