Sergueï Lenglet

According to our database1, Sergueï Lenglet authored at least 31 papers between 2006 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
Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines.
Log. Methods Comput. Sci., 2024

Optimizing a Non-Deterministic Abstract Machine with Environments.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

Leaf-First Zipper Semantics.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2022
Certified Derivation of Small-Step From Big-Step Skeletal Semantics.
Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

Certified abstract machines for skeletal semantics.
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

Non-Deterministic Abstract Machines.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021
HOπ in Coq.
J. Autom. Reason., 2021

2020
A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers.
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019
Bisimulations for Delimited-Control Operators.
Log. Methods Comput. Sci., 2019

Diacritical Companions.
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

A Complete Normal-Form Bisimilarity for State.
Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018
Proving Soundness of Extensional Normal-Form Bisimilarities.
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

HOπ in Coq.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017
Faithful (meta-)encodings of programmable strategies into term rewriting systems.
Log. Methods Comput. Sci., 2017

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation.
Log. Methods Comput. Sci., 2017

Fully abstract encodings of λ-calculus in HOcore through abstract machines.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2015
A faithful encoding of programmable strategies into term rewriting systems.
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Howe's Method for Contextual Semantics.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus.
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013
Proving termination of evaluation for System F with control operators.
Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013

Environmental Bisimulations for Delimited-Control Operators.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012
Applicative Bisimulations for Delimited-Control Operators.
Proceedings of the Foundations of Software Science and Computational Structures, 2012

Normal Form Bisimulations for Delimited-Control Operators.
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

Expansion for Universal Quantifiers.
Proceedings of the Programming Languages and Systems, 2012

2011
Characterizing contextual equivalence in calculi with passivation.
Inf. Comput., 2011

Typing control operators in the CPS hierarchy.
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

2010
Bisimulations dans les calculs avec passivation. (Bisimulations in calculi with passivation).
PhD thesis, 2010

2009
Normal Bisimulations in Calculi with Passivation.
Proceedings of the Foundations of Software Science and Computational Structures, 2009

Howe's Method for Calculi with Passivation.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2006
A Core Calculus for Scala Type Checking.
Proceedings of the Mathematical Foundations of Computer Science 2006, 2006


  Loading...