Zaynah Dargaye

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 2

Top Topics

Evolutionary Algorithm

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Zaynah Dargaye, Önder Gürcan, Florent Kirchner, Sara Tucci Piergiovanni
Towards Secure and Trusted-by-Design Smart Contracts. CoRR (2024)
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)