Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jad Hamza
conf.researchr.org general profile
PLDI 2015 profile
PLDI 2020 profile
PLDI 2022 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
2022
PLDI
Author of (PLDI 2020) Zippy LL(1) Parsing with Derivatives within the SIGPLAN Track-track
2020
PLDI
Author of Zippy LL(1) Parsing with Derivatives within the PLDI Research Papers-track
2019
SPLASH
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
Author of Minimal Synthesis of String To String Functions From Examples within the VMCAI 2019-track
2017
ECOOP
Author of Proactive Synthesis of Recursive Tree-to-String Functions from Examples within the ECOOP Research Papers-track
POPL
Author of On Verifying Causal Consistency within the POPL-track
2015
PLDI
Author of Monitoring Refinement via Symbolic Reasoning within the Research Papers-track
Share
x
Tue 3 Dec 18:05