Jad Hamza -

Not registered as user yet

Name:Jad Hamza

Affiliation:EPFL, Switzerland

Contributions

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
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