| 2026 | ITiCSE | Brachetti's Restaurant: An Operating Systems Unplugged Activity. | Renzo Davoli, Michael Goldweber |
| 2024 | SAFECOMP | VUOS: A User-Space Hypervisor Based on System Call Hijacking. | Luca Bassi, Davide Berardi, Renzo Davoli |
| 2024 | SAFECOMP | Capability Ambient DO - A Usable Tool for Linux System Security. | Davide Berardi, Luca Bassi, Renzo Davoli |
| 2023 | SIGCSE | 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 |
| 2022 | SIGCSE | A Tutorial for Adopting the MPS3/Pandos Project in the Operating Systems Course. | Mikey Goldweber, Renzo Davoli |
| 2021 | ITiCSE | The Pandos Project and the μMPS3 Emulator. | Mikey Goldweber, Renzo Davoli, Mattia Biondi |
| 2015 | GLOBECOM | VXVDE: A Switch-Free VXLAN Replacement. | Renzo Davoli, Michael Goldweber |
| 2015 | ITiCSE | The JaeOS Project and the μARM Emulator. | Marco Melletti, Michael Goldweber, Renzo Davoli |
| 2012 | ITiCSE | 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 |
| 2012 | ITiCSE | Supporting operating systems projects using the μMPS2 hardware simulator. | Michael Goldweber, Renzo Davoli, Tomislav Jonjic |
| 2012 | SAC | msocket: multiple stack support for the berkeley socket API. | Renzo Davoli, Michael Goldweber |
| 2010 | ITiCSE | Enhancing the Social Issues Components in our Computing Curriculum: Computing for the Social Good. | Mikey Goldweber, Joyce Currie Little, Gerry W. Cross, Renzo Davoli, Charles Riedesel, Brian R. von Konsky, Henry M. Walker |
| 2008 | ICCS | View-OS: A New Unifying Approach Against the Global View Assumption. | Ludovico Gardenghi, Michael Goldweber, Renzo Davoli |
| 2008 | ITiCSE | VDE: an emulation environment for supporting computer networking courses. | Michael Goldweber, Renzo Davoli |
| 2008 | TridentCom | Virtual integrated TCP testbed (VITT). | Carlo Caini, Rosario Firrincieli, Renzo Davoli, Daniele Lacamera |
| 2005 | ITiCSE | Virtual square ( | Renzo Davoli, Michael Goldweber |
| 2005 | ITiCSE | The Kaya OS project and the | Michael Goldweber, Renzo Davoli, Mauro Morsiani |
| 2005 | TridentCom | VDE: Virtual Distributed Ethernet. | Renzo Davoli |
| 2004 | ITiCSE | Teaching operating systems administration with user mode linux. | Renzo Davoli |
| 2001 | ITiCSE | The NetWire emulator: a tool for teaching and understanding networks. | Enrico Carniani, Renzo Davoli |
| 1999 | SIGCSE | Learning operating systems structure and implementation through the MPS computer system simulator. | Mauro Morsiani, Renzo Davoli |
| 1998 | ICDCS | System Support for Partition-Aware Network Applications. | zalp Babaoglu, Renzo Davoli, Alberto Montresor, Roberto Segala |
| 1993 | SIGMETRICS | Real Time Systems: A Tutorial. | Fabio Panzieri, Renzo Davoli |
| 1992 | ICS | Paralex: an environment for parallel programming in distributed systems. | zalp Babaoglu, Lorenzo Alvisi, Alessandro Amoroso, Renzo Davoli, Luigi-Alberto Giachini |