Solal Pirelli

According to our database, Solal Pirelli authored at least 11 papers between 2017 and 2024.

Collaborative distances:

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

2024

Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants.

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

CoRR, 2024

Scalable Teaching of Software Engineering Theory and Practice: An Experience Report.

Solal Pirelli

Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, 2024

Towards Safer Heuristics With XPlain.

Pantea Karimi, Solal Pirelli, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Beibin Li, Pooria Namyar, Behnaz Arzani

Proceedings of the 23rd ACM Workshop on Hot Topics in Networks, 2024

2023

HotOS XIX Panel Report: Panel on Future of Reproduction and Replication of Systems Research.

Roberta De Viti, Solal Pirelli, Vaastav Anand

CoRR, 2023

Safe Low-Level Code Without Overhead is Practical.

Solal Pirelli, George Candea

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Automated Verification of Network Function Binaries.

Solal Pirelli, Akvile Valentukonyte, Katerina J. Argyraki, George Candea

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2020

A Simpler and Faster NIC Driver Model for Network Functions.

Solal Pirelli, George Candea

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Verifying software network functions with no verification expertise.

Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo, Luis Pedrosa, Katerina J. Argyraki, George Candea

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Performance Contracts for Software Network Functions.

Rishabh R. Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina J. Argyraki, George Candea

Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

2018

A formally verified NAT stack.

Solal Pirelli, Arseniy Zaostrovnykh, George Candea

Comput. Commun. Rev., 2018

2017

A Formally Verified NAT.

Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina J. Argyraki, George Candea

Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017