Sergueï Lenglet

Publication Activity (10 Years)

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

Top Venues

CoRR

Log. Methods Comput. Sci.

MFPS

FSCD

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt
Optimizing a Non-Deterministic Abstract Machine with Environments. FSCD (2024)
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines. Log. Methods Comput. Sci. 20 (3) (2024)
Sergueï Lenglet, Alan Schmitt
Leaf-First Zipper Semantics. FORTE (2024)
Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs
Certified Derivation of Small-Step From Big-Step Skeletal Semantics. PPDP (2022)
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines. CoRR (2022)
Guillaume Ambal, Sergueï Lenglet, Alan Schmitt
Certified abstract machines for skeletal semantics. CPP (2022)
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt
Non-Deterministic Abstract Machines. CONCUR (2022)
Guillaume Ambal, Sergueï Lenglet, Alan Schmitt
HOπ in Coq. J. Autom. Reason. 65 (1) (2021)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers. FSCD (2020)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Proving Soundness of Extensional Normal-Form Bisimilarities. Log. Methods Comput. Sci. 15 (1) (2019)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Diacritical Companions. MFPS (2019)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
A Complete Normal-Form Bisimilarity for State. FoSSaCS (2019)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Bisimulations for Delimited-Control Operators. Log. Methods Comput. Sci. 15 (2) (2019)
Sergueï Lenglet, Alan Schmitt
HOπ in Coq. CPP (2018)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Proving Soundness of Extensional Normal-Form Bisimilarities. MFPS (2018)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Bisimulations for Delimited-Control Operators. CoRR (2018)
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. Log. Methods Comput. Sci. 13 (3) (2017)
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Proving Soundness of Extensional Normal-Form Bisimilarities. CoRR (2017)
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
Fully abstract encodings of λ-calculus in HOcore through abstract machines. LICS (2017)
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
Faithful (meta-)encodings of programmable strategies into term rewriting systems. CoRR (2017)
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
Faithful (meta-)encodings of programmable strategies into term rewriting systems. Log. Methods Comput. Sci. 13 (4) (2017)
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. CoRR (2016)
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. FSCD (2016)
Sergueï Lenglet, Alan Schmitt
Howe's Method for Contextual Semantics. CONCUR (2015)
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
A faithful encoding of programmable strategies into term rewriting systems. RTA (2015)
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. POPL (2014)
Dariusz Biernacki, Sergueï Lenglet
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus. MFPS (2014)
Dariusz Biernacki, Sergueï Lenglet
Environmental Bisimulations for Delimited-Control Operators. CoRR (2013)
Dariusz Biernacki, Sergueï Lenglet
Environmental Bisimulations for Delimited-Control Operators. APLAS (2013)
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok
Proving termination of evaluation for System F with control operators. COS (2013)
Sergueï Lenglet, Joe B. Wells
Expansion for Universal Quantifiers CoRR (2012)
Dariusz Biernacki, Sergueï Lenglet
Normal Form Bisimulations for Delimited-Control Operators. FLOPS (2012)
Dariusz Biernacki, Sergueï Lenglet
Applicative Bisimulations for Delimited-Control Operators CoRR (2012)
Sergueï Lenglet, Joe B. Wells
Expansion for Universal Quantifiers. ESOP (2012)
Dariusz Biernacki, Sergueï Lenglet
Normal Form Bisimulations for Delimited-Control Operators CoRR (2012)
Dariusz Biernacki, Sergueï Lenglet
Applicative Bisimulations for Delimited-Control Operators. FoSSaCS (2012)
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
Characterizing contextual equivalence in calculi with passivation. Inf. Comput. 209 (11) (2011)
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet
Typing control operators in the CPS hierarchy. PPDP (2011)
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
Normal Bisimulations in Calculi with Passivation. FoSSaCS (2009)
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
Howe's Method for Calculi with Passivation. CONCUR (2009)
Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky
A Core Calculus for Scala Type Checking. MFCS (2006)

Sergueï Lenglet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sergueï Lenglet