Showing cs.SEShow all
2 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…