Samuel Chassot

According to our database, Samuel Chassot authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

2024

Verifying a Realistic Mutable Hash Table - Case Study (Short Paper).

Samuel Chassot, Viktor Kuncak

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2022

SVSHI: Secure and Verified Smart Home Infrastructure.

Andrea Veneziano, Samuel Chassot

CoRR, 2022

2021

Development of a NIC driver in C#.

Samuel Chassot

CoRR, 2021

Verified Mutable Data Structures.

Samuel Chassot, Viktor Kuncak

CoRR, 2021

Few-Shot Unsupervised Image-to-Image Translation on complex scenes.

Luca Barras, Samuel Chassot, Daniel Filipe Nunes Silva

CoRR, 2021