| On verifying causal consistency A Bouajjani, C Enea, R Guerraoui, J Hamza Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 68 | 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 | 53 | 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 | 41 | 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 | 16 | 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 |
Viktor KunčakEPFLVerified email at epfl.ch
