Segui
Jad Hamza
Jad Hamza
LARA, EPFL
Email verificata su epfl.ch - Home page
Titolo
Citata da
Citata da
Anno
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
622014
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
532015
On verifying causal consistency
A Bouajjani, C Enea, R Guerraoui, J Hamza
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
472017
Verifying concurrent programs against sequential specifications
A Bouajjani, M Emmi, C Enea, J Hamza
European Symposium on Programming, 290-309, 2013
442013
On reducing linearizability to state reachability
A Bouajjani, M Emmi, C Enea, J Hamza
Information and Computation 261, 383-400, 2018
412018
Synthesis for regular specifications over unbounded domains
J Hamza, B Jobstmann, V Kuncak
Formal Methods in Computer Aided Design, 101-109, 2010
302010
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
182018
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
172019
On the complexity of linearizability
J Hamza
Computing 101 (9), 1227-1240, 2019
17*2019
Can 100 machines agree?
R Guerraoui, J Hamza, DA Seredinschi, M Vukolic
arXiv preprint arXiv:1911.07966, 2019
82019
Zippy LL (1) parsing with derivatives
R Edelmann, J Hamza, V Kunčak
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
62020
Optimal test sets for context-free languages
M Mayer, J Hamza
arXiv preprint arXiv:1611.06703, 2016
52016
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
Stainless verification system tutorial
V Kuncak, J Hamza
2021 Formal Methods in Computer Aided Design (FMCAD), 2-7, 2021
22021
LL (1) parsing with derivatives and zippers
R Edelmann, J Hamza, V Kunčak
arXiv preprint arXiv:1911.12737, 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
Proactive synthesis of recursive tree-to-string functions from examples
M Mayer, V Kuncak, J Hamza
European Conference on Object-Oriented Programming, 2017
22017
Proactive synthesis of recursive tree-to-string functions from examples (artifact)
M Mayer, J Hamza, V Kuncak
DARTS-Dagstuhl Artifacts Series 3, 2017
22017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20