• Sign in
  • Sign up
conf.researchr.org / Jad Hamza
  • 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

PLDI 2022 Author of (PLDI 2020) Zippy LL(1) Parsing with Derivatives within the SIGPLAN Track-track
PLDI 2020 Author of Zippy LL(1) Parsing with Derivatives within the PLDI Research Papers-track
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
ECOOP 2017 Author of Proactive Synthesis of Recursive Tree-to-String Functions from Examples within the ECOOP Research Papers-track
POPL 2017 Author of On Verifying Causal Consistency within the POPL-track
PLDI 2015 Author of Monitoring Refinement via Symbolic Reasoning within the Research Papers-track

Share
xThu 30 Mar 13:07
using conf.researchr.org (v1.60.0)
Support page
Sign Up