BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × India
1 × Italy
1 × Japan
2 × USA
Collaborated with:
C.Enea A.Bouajjani M.Emmi V.Kuncak M.Mayer Nicolas Voirol R.Guerraoui
Talks about:
verifi (4) consist (2) concurr (2) system (2) refin (2) stainless (1) tractabl (1) synthesi (1) sequenti (1) reachabl (1)

Person: Jad Hamza

DBLP DBLP: Hamza:Jad

Contributed to:

ICALP (2) 20152015
PLDI 20152015
POPL 20152015
POPL 20142014
ESOP 20132013
ECOOP 20172017
OOPSLA 20192019
POPL 20172017

Wrote 8 papers:

ICALP-v2-2015-BouajjaniEEH #on the #reachability
On Reducing Linearizability to State Reachability (AB, ME, CE, JH), pp. 95–107.
PLDI-2015-EmmiEH #monitoring #reasoning #refinement
Monitoring refinement via symbolic reasoning (ME, CE, JH), pp. 260–269.
POPL-2015-BouajjaniEEH #concurrent #refinement
Tractable Refinement Checking for Concurrent Objects (AB, ME, CE, JH), pp. 651–662.
POPL-2014-BouajjaniEH #consistency #replication #verification
Verifying eventual consistency of optimistic replication systems (AB, CE, JH), pp. 285–296.
ESOP-2013-BouajjaniEEH #concurrent #source code #specification #verification
Verifying Concurrent Programs against Sequential Specifications (AB, ME, CE, JH), pp. 290–309.
ECOOP-2017-MayerHK #recursion #string #synthesis
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (MM, JH, VK), p. 30.
OOPSLA-2019-HamzaVK #verification
System FR: formalized foundations for the stainless verifier (JH, NV, VK), p. 30.
POPL-2017-BouajjaniEGH #consistency #on the #verification
On verifying causal consistency (AB, CE, RG, JH), pp. 626–638.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.