Solal Pirelli

14 papers A* 4Misc 3Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Lessons Learned from Five Years of Artifact Evaluations at EuroSys.
ACM REP
Daniele Cono D'Elia, Thaleia Dimitra Doudali, Cristiano Giuffrida, Miguel Matos, Mathias Payer, Solal Pirelli, Georgios Portokalidis, Valerio Schiavoni, Salvatore Signorello, Anjo Vahldiek-Oberwagner
2024 J jnl
Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants.
CoRR
Beatriz Borges, Negar Foroutan, Deniz Bayazit, Anna Sotnikova, Syrielle Montariol, Tanya Nazaretzky, Mohammadreza Banaei, Alireza Sakhaeirad, Philippe Servant, Seyed Parsa Neshaei, Jibril Frej, Angelika Romanou, Gail Weiss, Sepideh Mamooler, Zeming Chen, Simin Fan, Silin Gao, Mete Ismayilzada, Debjit Paul, Alexandre Schöpfer, Andrej Janchevski, Anja Tiede, Clarence Linden, Emanuele Troiani, Francesco Salvi, Freya Behrens, Giacomo Orsi, Giovanni Piccioli, Hadrien Sevel, Louis Coulon, Manuela Pineros-Rodriguez, Marin Bonnassies, Pierre Hellich, Puck van Gerwen, Sankalp Gambhir, Solal Pirelli, Thomas Blanchard, Timothée Callens, Toni Abi Aoun, Yannick Calvino Alonso, Yuri Cho, Alberto Silvio Chiappa, Antonio Sclocchi, Étienne Bruno, Florian Hofhammer, Gabriel Pescia, Geovani Rizk, Leello Dadi, Lucas Stoffl, Manoel Horta Ribeiro, Matthieu Bovel, Yueyang Pan, Aleksandra Radenovic, Alexandre Alahi, Alexander Mathis, Anne-Florence Bitbol, Boi Faltings, Cécile Hébert, Devis Tuia, François Maréchal, George Candea, Giuseppe Carleo, Jean-Cédric Chappelier, Nicolas Flammarion, Jean-Marie Fürbringer, Jean-Philippe Pellet, Karl Aberer, Lenka Zdeborová, Marcel Salathé, Martin Jaggi, Martin Rajman, Mathias Payer, Matthieu Wyart, Michael Gastpar, Michele Ceriotti, Ola Svensson, Olivier Lévêque, Paolo Ienne, Rachid Guerraoui, Robert West, Sanidhya Kashyap, Valerio Piazza, Viesturs Simanis, Viktor Kuncak, Volkan Cevher, Philippe Schwaller, Sacha Friedli, Patrick Jermann, Tanja Käser, Antoine Bosselut
2024 — conf
Scalable Teaching of Software Engineering Theory and Practice: An Experience Report.
SEET@ICSE
Solal Pirelli
2024 Misc conf
Towards Safer Heuristics With XPlain.
HotNets
Pantea Karimi, Solal Pirelli, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Beibin Li, Pooria Namyar, Behnaz Arzani
2024 J jnl
Towards Safer Heuristics With XPlain.
CoRR
Pantea Karimi, Solal Pirelli, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Beibin Li, Pooria Namyar, Behnaz Arzani
2023 J jnl
HotOS XIX Panel Report: Panel on Future of Reproduction and Replication of Systems Research.
CoRR
Roberta De Viti, Solal Pirelli, Vaastav Anand
2023 A* conf
Safe Low-Level Code Without Overhead is Practical.
ICSE
Solal Pirelli, George Candea
2022 Misc conf
Automated Verification of Network Function Binaries.
NSDI
Solal Pirelli, Akvile Valentukonyte, Katerina J. Argyraki, George Candea
2020 A* conf
A Simpler and Faster NIC Driver Model for Network Functions.
OSDI
Solal Pirelli, George Candea
2019 Misc conf
Performance Contracts for Software Network Functions.
NSDI
Rishabh R. Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina J. Argyraki, George Candea
2019 A* conf
Verifying software network functions with no verification expertise.
SOSP
Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo, Luis Pedrosa, Katerina J. Argyraki, George Candea
2018 — conf
A Formally Verified NAT Stack.
KBNets@SIGCOMM
Solal Pirelli, Arseniy Zaostrovnykh, George Candea
2018 J jnl
A formally verified NAT stack.
Comput. Commun. Rev.
Solal Pirelli, Arseniy Zaostrovnykh, George Candea
2017 A* conf
A Formally Verified NAT.
SIGCOMM
Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina J. Argyraki, George Candea