Julien Cretin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2010–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | MAGIKA: AI-Powered Content-Type Detection. | Yanick Fratantonio, Luca Invernizzi, Loua Farah, Kurt Thomas, Marina Zhang, Ange Albertini, Francois Galilee, Giancarlo Metitieri, Julien Cretin, Alex Petit-Bianco, David Tao, Elie Bursztein |
| 2023 | ACNS | Hybrid Post-quantum Signatures in Hardware Security Keys. | Diana Ghinea, Fabian Kaczmarczyck, Jennifer Pullman, Julien Cretin, Stefan Klbl, Rafael Misoczki, Jean-Michel Picod, Luca Invernizzi, Elie Bursztein |
| 2014 | CSL | System F with coercion constraints. | Julien Cretin, Didier Rmy |
| 2012 | POPL | On the power of coercion abstraction. | Julien Cretin, Didier Rmy |
| 2010 | ICFP | Matching lenses: alignment and view update. | Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce |