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
602014
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
522015
Verifying concurrent programs against sequential specifications
A Bouajjani, M Emmi, C Enea, J Hamza
European Symposium on Programming, 290-309, 2013
442013
On verifying causal consistency
A Bouajjani, C Enea, R Guerraoui, J Hamza
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
402017
On reducing linearizability to state reachability
A Bouajjani, M Emmi, C Enea, J Hamza
Information and Computation 261, 383-400, 2018
382018
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
242015
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
152018
On the complexity of linearizability
J Hamza
International Conference on Networked Systems, 308-321, 2015
132015
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
92019
Can 100 machines agree?
R Guerraoui, J Hamza, DA Seredinschi, M Vukolic
arXiv preprint arXiv:1911.07966, 2019
52019
Zippy LL (1) parsing with derivatives
R Edelmann, J Hamza, V Kunčak
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
42020
Optimal test sets for context-free languages
M Mayer, J Hamza
arXiv preprint arXiv:1611.06703, 2016
42016
On the complexity of linearizability
J Hamza
Computing 101 (9), 1227-1240, 2019
3*2019
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
RDF: Reconfigurable Dataflow
P Fradet, A Girault, R Krishnaswamy, X Nicollin, A Shafiei
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 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
The system can't perform the operation now. Try again later.
Articles 1–20