Alexis Ghyselen

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 13

Top Topics

Parallel Computation

Top Venues

Proc. ACM Program. Lang.

Publications

Ugo Dal Lago, Alexis Ghyselen
On Model-Checking Higher-Order Effectful Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Ugo Dal Lago, Alexis Ghyselen
On Model-Checking Higher-Order Effectful Programs (Long Version). CoRR (2023)
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
Open Higher-Order Logic. CSL (2023)
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
Open Higher-Order Logic (Long Version). CoRR (2022)
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
On Reinforcement Learning, Effect Handlers, and the State Monad. CoRR (2022)
Patrick Baillot, Alexis Ghyselen
Types for Complexity of Parallel Computation in Pi-calculus. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
Patrick Baillot, Alexis Ghyselen
Types for Complexity of Parallel Computation in Pi-Calculus. ESOP (2021)
Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi
Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes. CONCUR (2021)
Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi
Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes. CoRR (2021)
Patrick Baillot, Alexis Ghyselen
Combining linear logic and size types for implicit complexity. Theor. Comput. Sci. 813 (2020)
Patrick Baillot, Alexis Ghyselen
Types for Parallel Complexity in the Pi-calculus. CoRR (2019)
Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen
Type-Based Complexity Analysis of Probabilistic Functional Programs. LICS (2019)
Patrick Baillot, Alexis Ghyselen
Combining Linear Logic and Size Types for Implicit Complexity. CSL (2018)