Follow
Jad Hamza
Jad Hamza
LARA, EPFL
Verified email at epfl.ch - Homepage
Title
Cited by
Cited by
Year
On verifying causal consistency
A Bouajjani, C Enea, R Guerraoui, J Hamza
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
662017
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
662014
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
592015
Verifying concurrent programs against sequential specifications
A Bouajjani, M Emmi, C Enea, J Hamza
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
542013
On reducing linearizability to state reachability
A Bouajjani, M Emmi, C Enea, J Hamza
Information and Computation 261, 383-400, 2018
462018
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
342019
Monitoring refinement via symbolic reasoning
M Emmi, C Enea, J Hamza
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
292015
Synthesis for regular specifications over unbounded domains
J Hamza, B Jobstmann, V Kuncak
Formal Methods in Computer Aided Design, 101-109, 2010
292010
Monotonic prefix consistency in distributed systems
A Girault, G Gössler, R Guerraoui, J Hamza, DA Seredinschi
Formal Techniques for Distributed Objects, Components, and Systems: 38th …, 2018
242018
On the complexity of linearizability
J Hamza
International Conference on Networked Systems, 308-321, 2015
152015
Zippy ll (1) parsing with derivatives
R Edelmann, J Hamza, V Kunčak
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
142020
Can 100 machines agree?
R Guerraoui, J Hamza, DA Seredinschi, M Vukolic
arXiv preprint arXiv:1911.07966, 2019
132019
Stainless verification system tutorial
V Kuncak, J Hamza
2021 Formal Methods in Computer Aided Design (FMCAD), 2-7, 2021
52021
Algorithmic Verification of Concurrent and Distributed Data Structures
J Hamza
PhD thesis, Université Paris Diderot, 2015
52015
Minimal synthesis of string to string functions from examples
J Hamza, V Kunčak
International Conference on Verification, Model Checking, and Abstract …, 2019
42019
Optimal test sets for context-free languages
M Mayer, J Hamza
arXiv preprint arXiv:1611.06703, 2016
42016
From verified Scala to STIX file system embedded code using Stainless
J Hamza, S Felix, V Kunčak, I Nussbaumer, F Schramka
NASA Formal Methods Symposium, 393-410, 2022
32022
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
On the complexity of convex and reverse convex prequadratic constraints
R Raya, J Hamza, V Kunčak
EPiC Series in Computing 94, 350-368, 2023
22023
The system can't perform the operation now. Try again later.
Articles 1–20