Contact
Jad Hamza
jad.hamza@epfl.ch
Publications
-
Zippy LL(1) Parsing with Derivatives. PLDI 2020.
Romain Edelmann, Jad Hamza, Viktor Kunčak.
(pdf)
-
System FR: Formalized Foundations for the Stainless Verifier. OOPSLA 2019.
Jad Hamza, Nicolas Voirol, Viktor Kunčak.
(pdf)
-
Minimal Synthesis of String to String Functions from Examples. VMCAI 2019.
Jad Hamza, Viktor Kunčak.
(pdf)
-
Can 100 Machines Agree? (draft)
Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi, Marko Vukolic.
(pdf)
-
Monotonic Prefix Consistency in Distributed Systems. FORTE 2018.
Alain Girault, Gregor Gössler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi.
(pdf)
-
Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples.
ECOOP 2017.
Mikaël Mayer, Jad Hamza, Viktor Kunčak.
(pdf, long)
-
On Verifying Causal Consistency.
POPL 2017.
Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza.
(long)
-
On Reducing Linearizability to State Reachability.
ICALP 2015.
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza.
(pdf, I&C journal)
-
On the Complexity of Linearizability.
NETYS 2015.
Jad Hamza.
(pdf)
-
Monitoring refinement via symbolic reasoning.
PLDI 2015.
Michael Emmi, Constantin Enea, Jad Hamza.
(pdf)
-
Tractable Refinement Checking for Concurrent Objects.
POPL 2015.
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza.
(pdf)
-
Verifying eventual consistency of optimistic replication systems.
POPL 2014.
Ahmed Bouajjani, Constantin Enea, Jad Hamza.
(pdf)
-
Verifying Concurrent Programs against Sequential Specifications.
ESOP 2013.
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza.
(pdf, long)
-
Synthesis for regular specifications over unbounded domains.
FMCAD 2010.
Jad Hamza, Barbara Jobstmann, Viktor Kunčak.
(pdf)
Thesis
I did my PhD in Liafa, Paris, under the supervision of
Ahmed Bouajjani, and Constantin Enea.
Algorithmic Verification of Concurrent and Distributed Data Structures. 2015.