| 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 | 65 | 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 | 57 | 2015 |
| On verifying causal consistency A Bouajjani, C Enea, R Guerraoui, J Hamza Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 53 | 2017 |
| Verifying concurrent programs against sequential specifications A Bouajjani, M Emmi, C Enea, J Hamza Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 48 | 2013 |
| On reducing linearizability to state reachability A Bouajjani, M Emmi, C Enea, J Hamza Information and Computation 261, 383-400, 2018 | 45 | 2018 |
| Synthesis for regular specifications over unbounded domains J Hamza, B Jobstmann, V Kuncak Formal Methods in Computer Aided Design, 101-109, 2010 | 30 | 2010 |
| 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 | 27 | 2019 |
| Monitoring refinement via symbolic reasoning M Emmi, C Enea, J Hamza Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 26 | 2015 |
| 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 | 20 | 2018 |
| On the complexity of linearizability J Hamza Computing 101 (9), 1227-1240, 2019 | 16* | 2019 |
| Can 100 machines agree? R Guerraoui, J Hamza, DA Seredinschi, M Vukolic arXiv preprint arXiv:1911.07966, 2019 | 10 | 2019 |
| Zippy ll (1) parsing with derivatives R Edelmann, J Hamza, V Kunčak Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 8 | 2020 |
| Optimal test sets for context-free languages M Mayer, J Hamza arXiv preprint arXiv:1611.06703, 2016 | 5 | 2016 |
| Stainless verification system tutorial V Kuncak, J Hamza 2021 Formal Methods in Computer Aided Design (FMCAD), 2-7, 2021 | 4 | 2021 |
| Minimal synthesis of string to string functions from examples J Hamza, V Kunčak Verification, Model Checking, and Abstract Interpretation: 20th …, 2019 | 4 | 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 |
| Algorithmic Verification of Concurrent and Distributed Data Structures J Hamza PhD thesis, Université Paris Diderot, 2015 | 3 | 2015 |
| LL (1) parsing with derivatives and zippers R Edelmann, J Hamza, V Kunčak arXiv preprint arXiv:1911.12737, 2019 | 2 | 2019 |
| Proactive synthesis of recursive tree-to-string functions from examples M Mayer, V Kuncak, J Hamza European Conference on Object-Oriented Programming, 2017 | 2 | 2017 |
| Proactive synthesis of recursive tree-to-string functions from examples (artifact) M Mayer, J Hamza, V Kuncak DARTS-Dagstuhl Artifacts Series 3, 2017 | 2 | 2017 |
Viktor KunčakEPFLVerified email at epfl.ch
