Jad Hamza
Jad Hamza
LARA, EPFL
Bestätigte E-Mail-Adresse bei epfl.ch - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
522014
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
482015
Verifying concurrent programs against sequential specifications
A Bouajjani, M Emmi, C Enea, J Hamza
European Symposium on Programming, 290-309, 2013
402013
On reducing linearizability to state reachability
A Bouajjani, M Emmi, C Enea, J Hamza
Information and Computation 261, 383-400, 2018
342018
On verifying causal consistency
A Bouajjani, C Enea, R Guerraoui, J Hamza
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
302017
Synthesis for regular specifications over unbounded domains
J Hamza, B Jobstmann, V Kuncak
Formal Methods in Computer Aided Design, 101-109, 2010
282010
Monitoring refinement via symbolic reasoning
M Emmi, C Enea, J Hamza
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
222015
On the complexity of linearizability
J Hamza
Computing 101 (9), 1227-1240, 2019
14*2019
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
102018
Can 100 machines agree?
R Guerraoui, J Hamza, DA Seredinschi, M Vukolic
arXiv preprint arXiv:1911.07966, 2019
42019
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
42017
Optimal test sets for context-free languages
M Mayer, J Hamza
arXiv preprint arXiv:1611.06703, 2016
42016
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
32019
Algorithmic Verification of Concurrent and Distributed Data Structures
J Hamza
PhD thesis, Université Paris Diderot, 2015
32015
Minimal synthesis of string to string functions from examples
J Hamza, V Kunčak
International Conference on Verification, Model Checking, and Abstract …, 2019
22019
Polynomial-time proactive synthesis of tree-to-string functions from examples
M Mayer, J Hamza, V Kuncak
arXiv preprint arXiv:1701.04288, 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
Zippy LL (1) parsing with derivatives
R Edelmann, J Hamza, V Kunčak
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
12020
RDF: Reconfigurable Dataflow
P Fradet, A Girault, R Krishnaswamy, X Nicollin, A Shafiei
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
12019
LL (1) Parsing with Derivatives and Zippers
R Edelmann, J Hamza, V Kunčak
arXiv preprint arXiv:1911.12737, 2019
2019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20