29 citations · 49 across the 9 of their papers we have counts for
3 papers · 1 filter
Can 100 Machines Agree?
Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi +1
Agreement protocols have been typically deployed at small scale, e.g., using three to five machines. This is because these protocols seem to suffer from a sharp performance decay.…
LL(1) Parsing with Derivatives and Zippers
Romain Edelmann, Jad Hamza, Viktor Kunčak
In this paper, we present an efficient, functional, and formally verified parsing algorithm for LL(1) context-free expressions based on the concept of derivatives of formal languag…
System FR as Foundations for Stainless
Jad Hamza, Nicolas Voirol, Viktor Kunčak
We present the design, implementation, and foundation of a verifier for higher-order functional programs with generics and recursive data types. Our system supports proving safety…