Zaynah Dargaye

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 1

Top Topics

Theoretical Framework

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Zaynah Dargaye, Antonella Del Pozzo, Sara Tucci Piergiovanni
Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft. CoRR (2018)
Zaynah Dargaye, Xavier Leroy
A verified framework for higher-order uncurrying optimizations. High. Order Symb. Comput. 22 (3) (2009)
Zaynah Dargaye, Xavier Leroy
Mechanized Verification of CPS Transformations. LPAR (2007)
Sandrine Blazy, Zaynah Dargaye, Xavier Leroy
Formal Verification of a C Compiler Front-End. FM (2006)