Gabriel Radanne

23 papers A* 1A 2B 3C 1Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits.
ACM Trans. Design Autom. Electr. Syst.
Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian
2025 J jnl
Avoiding Signature Avoidance in ML Modules with Zippers.
Proc. ACM Program. Lang.
Clement Blaudeau, Didier Rémy, Gabriel Radanne
2024 A conf
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving.
DATE
Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne
2024 — ch.
Active Objects Based on Algebraic Effects.
Active Object Languages: Current Research Trends
Martin Andrieux, Ludovic Henrio, Gabriel Radanne
2024 J jnl
Fulfilling OCaml Modules with Transparency.
Proc. ACM Program. Lang.
Clement Blaudeau, Didier Rémy, Gabriel Radanne
2023 J jnl
A Survey on Parallelism and Determinism.
ACM Comput. Surv.
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
2023 J jnl
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types.
Proc. ACM Program. Lang.
Thaïs Baudon, Gabriel Radanne, Laure Gonnord
2023 A conf
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory.
DATE
Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond
2022 J jnl
A Survey on Parallelism and Determinism.
CoRR
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
2021 B conf
Compiling pattern matching to in-place modifications.
GPCE
Paul Iannetta, Laure Gonnord, Gabriel Radanne
2020 J jnl
Kindly bent to free us.
Proc. ACM Program. Lang.
Gabriel Radanne, Hannes Saffrich, Peter Thiemann
2019 J jnl
Eliom: A Language for Modular Tierless Web Programming.
CoRR
Gabriel Radanne, Jérôme Vouillon, Vincent Balat
2019 J jnl
Kindly Bent to Free Us.
CoRR
Gabriel Radanne, Peter Thiemann
2019 J jnl
Programming Unikernels in the Large via Functor Driven Development.
CoRR
Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David J. Scott
2019 — conf
Typed parsing and unparsing for untyped regular expression engines.
PEPM@POPL
Gabriel Radanne
2018 B conf
Regenerate: a language generator for extended regular expressions.
GPCE
Gabriel Radanne, Peter Thiemann
2018 — conf
Tierless Web Programming in the Large.
WWW (Companion Volume)
Gabriel Radanne, Jérôme Vouillon
2017 — —
Tierless Web programming in ML. (Programmation Web sans-étages en ML).
Gabriel Radanne
2016 B conf
Eliom: A Core ML Language for Tierless Web Programming.
APLAS
Gabriel Radanne, Jérôme Vouillon, Vincent Balat
2016 — conf
Eliom: tierless Web programming from the ground up.
IFL
Gabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, Vincent Balat
2015 A* conf
Synthesis of ranking functions using extremal counterexamples.
PLDI
Laure Gonnord, David Monniaux, Gabriel Radanne
2014 C conf
Effective quotation: relating approaches to language-integrated query.
PEPM
James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler
2013 J jnl
Effective Quotation.
CoRR
James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler