• Sign in
  • Sign up
conf.researchr.org / Jad Hamza
  • 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 2019Author 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 2019Author of Minimal Synthesis of String To String Functions From Examples within the VMCAI 2019-track
POPL 2017Author of On Verifying Causal Consistency within the POPL-track
ECOOP 2017Author of Proactive Synthesis of Recursive Tree-to-String Functions from Examples within the ECOOP Research Papers-track
PLDI 2015Author of Monitoring Refinement via Symbolic Reasoning within the Research Papers-track

Share
xMon 16 Dec 14:04
using conf.researchr.org (v1.21.5)
Support page
Sign Up