Renzo Davoli

According to our database, Renzo Davoli authored at least 36 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Capability Ambient DO - A Usable Tool for Linux System Security.

Davide Berardi, Luca Bassi, Renzo Davoli

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

VUOS: A User-Space Hypervisor Based on System Call Hijacking.

Luca Bassi, Davide Berardi, Renzo Davoli

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

2023

Learning Iteration for Grades 2-3: Puzzles vs. UMC in Code.org.

Enrico Nardelli, Francesco Lacchia, Renzo Davoli, Michael Lodi, Marco Sbaraglia, Veronica Rossano, Enrichetta Gentile, Violetta Lonati, Mattia Monga, Anna Morpurgo, Luca Forlizzi, Giovanna Melideo, Sara Capecchi, Ilenia Fronza, Tullio Vardanega

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2022

A Tutorial for Adopting the µMPS3/Pandos Project in the Operating Systems Course.

Mikey Goldweber, Renzo Davoli

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2021

The Pandos Project and the μMPS3 Emulator.

Mikey Goldweber, Renzo Davoli, Mattia Biondi

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021

2017

ITiCSE 2017 preview.

Renzo Davoli, Michael Goldweber

ACM SIGCSE Bull., 2017

VXVDEX: Internet of threads and networks of namespaces.

Renzo Davoli

Proceedings of the IEEE International Conference on Communications, 2017

2015

The JaeOS Project and the μARM Emulator.

Marco Melletti, Michael Goldweber, Renzo Davoli

Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

VXVDE: A Switch-Free VXLAN Replacement.

Renzo Davoli, Michael Goldweber

Proceedings of the 2015 IEEE Globecom Workshops, San Diego, CA, USA, December 6-10, 2015, 2015

2013

A framework for enhancing the social good in computing education: a values approach.

Michael Goldweber, John Barr, Tony Clear, Renzo Davoli, Samuel Mann, Elizabeth Patitsas, Scott R. Portnoff

Inroads, 2013

2012

msocket: multiple stack support for the berkeley socket API.

Renzo Davoli, Michael Goldweber

Proceedings of the ACM Symposium on Applied Computing, 2012

Supporting operating systems projects using the μMPS2 hardware simulator.

Michael Goldweber, Renzo Davoli, Tomislav Jonjic

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

2011

Enhancing the social issues components in our computing curriculum: computing for the social good.

Michael Goldweber, Renzo Davoli, Joyce Currie Little, Charles Riedesel, Henry M. Walker, Gerry W. Cross, Brian R. von Konsky

Inroads, 2011

2008

Virtual integrated TCP testbed (VITT).

Carlo Caini, Rosario Firrincieli, Renzo Davoli, Daniele Lacamera

Proceedings of the 4th International Conference on Testbeds & Research Infrastructures for the DEvelopment of NeTworks & COMmunities (TRIDENTCOM 2008), 2008

VDE: an emulation environment for supporting computer networking courses.

Michael Goldweber, Renzo Davoli

Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

View-OS: A New Unifying Approach Against the Global View Assumption.

Ludovico Gardenghi, Michael Goldweber, Renzo Davoli

Proceedings of the Computational Science, 2008

2005

VDE: Virtual Distributed Ethernet.

Renzo Davoli

Proceedings of the 1st International Conference on Testbeds & Research Infrastructures for the DEvelopment of NeTworks & COMmunities (TRIDENTCOM 2005), 2005

The Kaya OS project and the <i>mu</i>MPS hardware emulator.

Michael Goldweber, Renzo Davoli, Mauro Morsiani

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Virtual square (<i>V²</i>) in computer science education.

Renzo Davoli, Michael Goldweber

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Design and Implementation of a Multifunction, Modular and Extensible Proxy Server.

Simone Tellini, Renzo Davoli

Proceedings of the Networking, 2005

2004

Teaching operating systems administration with user mode linux.

Renzo Davoli

Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

Berserkr: a virtual beowulf cluster for fast prototyping and teaching.

Micaela Spigarolo, Renzo Davoli

Proceedings of the First Conference on Computing Frontiers, 2004

2001

Group Communication in Partitionable Systems: Specification and Algorithms.

Özalp Babaoglu, Renzo Davoli, Alberto Montresor

IEEE Trans. Software Eng., 2001

Middleware for Dependable Network Services in Partitionable Distributed Systems.

Alberto Montresor, Renzo Davoli, Özalp Babaoglu

ACM SIGOPS Oper. Syst. Rev., 2001

The NetWire emulator: a tool for teaching and understanding networks.

Enrico Carniani, Renzo Davoli

Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2001

Enhancing Jini with Group Communication.

Alberto Montresor, Renzo Davoli, Özalp Babaoglu

Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

1999

Learning operating systems structure and implementation through the MPS computer system simulator.

Mauro Morsiani, Renzo Davoli

Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

Group Communication in Partitionable Distributed Systems.

Özalp Babaoglu, Renzo Davoli, Alberto Montresor

Proceedings of the Advances in Distributed Systems, 1999

1998

System Support for Partition-Aware Network Applications.

Özalp Babaoglu, Renzo Davoli, Alberto Montresor, Roberto Segala

ACM SIGOPS Oper. Syst. Rev., 1998

1997

Group Membership and View Synchrony in Partitionable Asynchronous Distributed Systems: Specifications.

Özalp Babaoglu, Renzo Davoli, Alberto Montresor

ACM SIGOPS Oper. Syst. Rev., 1997

1996

Parallel Computing in Networks of Workstations with Paralex.

Renzo Davoli, Luigi-Alberto Giachini, Özalp Babaoglu, Alessandro Amoroso, Lorenzo Alvisi

IEEE Trans. Parallel Distributed Syst., 1996

Scheduling Data Flow Programs in Hard Real-Time Environments.

Renzo Davoli, Fabio Tamburini, Luigi-Alberto Giachini

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

1995

The Inherent Cost of Strong-Partial View-Synchronous Communication.

Özalp Babaoglu, Renzo Davoli, Luigi-Alberto Giachini, Paolo Sabattini

Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systems.

Özalp Babaoglu, Renzo Davoli, Luigi-Alberto Giachini, Mary Gray Baker

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

1993

Real Time Systems: A Tutorial.

Fabio Panzieri, Renzo Davoli

Proceedings of the Performance Evaluation of Computer and Communication Systems, 1993

1992

Paralex: an environment for parallel programming in distributed systems.

Özalp Babaoglu, Lorenzo Alvisi, Alessandro Amoroso, Renzo Davoli, Luigi-Alberto Giachini

Proceedings of the 6th international conference on Supercomputing, 1992