Gabriel Radanne

Orcid: 0000-0002-2107-7678

According to our database1, Gabriel Radanne authored at least 20 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Fulfilling OCaml Modules with Transparency.
Proc. ACM Program. Lang., 2024

A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Active Objects Based on Algebraic Effects.
Proceedings of the Active Object Languages: Current Research Trends, 2024

2023
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types.
Proc. ACM Program. Lang., August, 2023

A Survey on Parallelism and Determinism.
ACM Comput. Surv., 2023

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2021
Compiling pattern matching to in-place modifications.
Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020
Kindly bent to free us.
Proc. ACM Program. Lang., 2020

2019
Kindly Bent to Free Us.
CoRR, 2019

Programming Unikernels in the Large via Functor Driven Development.
CoRR, 2019

Eliom: A Language for Modular Tierless Web Programming.
CoRR, 2019

Typed parsing and unparsing for untyped regular expression engines.
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019

2018
Tierless Web Programming in the Large.
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Regenerate: a language generator for extended regular expressions.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

2017
Tierless Web programming in ML. (Programmation Web sans-étages en ML).
PhD thesis, 2017

2016
Eliom: tierless Web programming from the ground up.
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

Eliom: A Core ML Language for Tierless Web Programming.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015
Synthesis of ranking functions using extremal counterexamples.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014
Effective quotation: relating approaches to language-integrated query.
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

2013
Effective Quotation.
CoRR, 2013


  Loading...