On verifying causal consistency A Bouajjani, C Enea, R Guerraoui, J Hamza Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 69 | 2017 |
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 | 67 | 2014 |
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 | 59 | 2015 |
Verifying concurrent programs against sequential specifications A Bouajjani, M Emmi, C Enea, J Hamza Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 54 | 2013 |
On reducing linearizability to state reachability A Bouajjani, M Emmi, C Enea, J Hamza Information and Computation 261, 383-400, 2018 | 47 | 2018 |
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 | 43 | 2019 |
Monitoring refinement via symbolic reasoning M Emmi, C Enea, J Hamza Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 30 | 2015 |
Synthesis for regular specifications over unbounded domains J Hamza, B Jobstmann, V Kuncak Formal Methods in Computer Aided Design, 101-109, 2010 | 29 | 2010 |
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 | 26 | 2018 |
Zippy ll (1) parsing with derivatives R Edelmann, J Hamza, V Kunčak Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 17 | 2020 |
On the complexity of linearizability J Hamza International Conference on Networked Systems, 308-321, 2015 | 15 | 2015 |
Can 100 machines agree? R Guerraoui, J Hamza, DA Seredinschi, M Vukolic arXiv preprint arXiv:1911.07966, 2019 | 14 | 2019 |
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 | 6 | 2022 |
Algorithmic Verification of Concurrent and Distributed Data Structures J Hamza PhD thesis, Université Paris Diderot, 2015 | 6 | 2015 |
Stainless verification system tutorial V Kuncak, J Hamza 2021 Formal Methods in Computer Aided Design (FMCAD), 2-7, 2021 | 5 | 2021 |
Minimal synthesis of string to string functions from examples J Hamza, V Kunčak International Conference on Verification, Model Checking, and Abstract …, 2019 | 4 | 2019 |
Optimal test sets for context-free languages M Mayer, J Hamza arXiv preprint arXiv:1611.06703, 2016 | 4 | 2016 |
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 | 3 | 2017 |
On the Complexity of Convex and Reverse Convex Prequadratic Constraints. R Raya, J Hamza, V Kuncak LPAR, 350-368, 2023 | 2 | 2023 |