Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jad Hamza
conf.researchr.org general profile
PLDI 2015 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2017 profile
POPL 2019 profile
SPLASH 2019 profile
Not registered as user yet
Name:
Jad Hamza
Affiliation:
EPFL, Switzerland
Contributions
SPLASH 2019
Author of System FR: Formalized Foundations for the Stainless Verifier within the Posters-track
Author of System FR: Formalized Foundations for the Stainless Verifier within the OOPSLA-track
VMCAI 2019
Author of Minimal Synthesis of String To String Functions From Examples within the VMCAI 2019-track
POPL 2017
Author of On Verifying Causal Consistency within the POPL-track
ECOOP 2017
Author of Proactive Synthesis of Recursive Tree-to-String Functions from Examples within the ECOOP Research Papers-track
PLDI 2015
Author of Monitoring Refinement via Symbolic Reasoning within the Research Papers-track
Share
x
Mon 16 Dec 14:04