Showing 2021Show all
3 papers · 1 filter
cs.SE2021
Development of a NIC driver in C#
Samuel Chassot
Drivers have a special status among the developer community that sees them as mysterious and inaccessible. We think their extensive communication with the hardware and their need o…
cs.SE2021
Verifying a Realistic Mutable Hash Table
Samuel Chassot, Viktor Kunčak
In this work, we verify the mutable LongMap from the Scala standard library, a hash table using open addressing within a single array, using the Stainless program verifier. As a re…
cs.CV2021
Few-Shot Unsupervised Image-to-Image Translation on complex scenes
Luca Barras, Samuel Chassot, Daniel Filipe Nunes Silva
Unsupervised image-to-image translation methods have received a lot of attention in the last few years. Multiple techniques emerged tackling the initial challenge from different pe…