Jad Hamza
Jad Hamza
LARA, EPFL
Verified email at epfl.ch - Homepage
Title
Cited by
Cited by
Year
Verifying eventual consistency of optimistic replication systems
A Bouajjani, C Enea, J Hamza
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
582014
Tractable refinement checking for concurrent objects
A Bouajjani, M Emmi, C Enea, J Hamza
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
512015
Verifying concurrent programs against sequential specifications
A Bouajjani, M Emmi, C Enea, J Hamza
European Symposium on Programming, 290-309, 2013
412013
On reducing linearizability to state reachability
A Bouajjani, M Emmi, C Enea, J Hamza
Information and Computation 261, 383-400, 2018
362018
On verifying causal consistency
A Bouajjani, C Enea, R Guerraoui, J Hamza
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
362017
Synthesis for regular specifications over unbounded domains
J Hamza, B Jobstmann, V Kuncak
Formal Methods in Computer Aided Design, 101-109, 2010
292010
Monitoring refinement via symbolic reasoning
M Emmi, C Enea, J Hamza
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
232015
On the complexity of linearizability
J Hamza
Computing 101 (9), 1227-1240, 2019
15*2019
Monotonic prefix consistency in distributed systems
A Girault, G Gössler, R Guerraoui, J Hamza, DA Seredinschi
International Conference on Formal Techniques for Distributed Objects …, 2018
122018
System FR: formalized foundations for the stainless verifier
J Hamza, N Voirol, V Kunčak
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
62019
Can 100 machines agree?
R Guerraoui, J Hamza, DA Seredinschi, M Vukolic
arXiv preprint arXiv:1911.07966, 2019
42019
Optimal test sets for context-free languages
M Mayer, J Hamza
arXiv preprint arXiv:1611.06703, 2016
42016
Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems
A Girault, G Gössler, R Guerraoui, J Hamza, DA Seredinschi
arxiv, 2017
32017
Algorithmic Verification of Concurrent and Distributed Data Structures
J Hamza
PhD thesis, Université Paris Diderot, 2015
32015
LL (1) Parsing with Derivatives and Zippers
R Edelmann, J Hamza, V Kunčak
arXiv preprint arXiv:1911.12737, 2019
22019
Minimal synthesis of string to string functions from examples
J Hamza, V Kunčak
International Conference on Verification, Model Checking, and Abstract …, 2019
22019
Polynomial-time proactive synthesis of tree-to-string functions from examples
M Mayer, J Hamza, V Kuncak
arXiv preprint arXiv:1701.04288, 2017
22017
Proactive synthesis of recursive tree-to-string functions from examples (artifact)
M Mayer, J Hamza, V Kuncak
DARTS-Dagstuhl Artifacts Series 3, 2017
22017
Zippy LL (1) parsing with derivatives
R Edelmann, J Hamza, V Kunčak
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
12020
RDF: Reconfigurable Dataflow
P Fradet, A Girault, R Krishnaswamy, X Nicollin, A Shafiei
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20