Sergueï Lenglet

Publications

Article dans une revue (7)

Fully Abstract Encodings of Lambda-Calculus in HOcore through Abstract Machines Małgorzata Biernacka,Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk,Damien Pouset al. Logical Methods in Computer Science, 2024, 20 (3), pp.1-45. ⟨10.46298/lmcs-20(3:3)2024⟩ Article dans une revue hal-04638249v1
HOπ in Coq Guillaume Ambal,Sergueï Lenglet,Alan Schmitt Journal of Automated Reasoning, 2020, ⟨10.1007/s10817-020-09553-0⟩ Article dans une revue hal-02536463v2
Proving Soundness of Extensional Normal-Form Bisimilarities Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk Logical Methods in Computer Science, 2019, 15 (1), pp.31:1-31:24. ⟨10.23638/LMCS-15(1:31)2019⟩ Article dans une revue hal-02086527v1
Bisimulations for Delimited-Control Operators Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk Logical Methods in Computer Science, 2019, 15 (2), pp.18:1-18:57. ⟨10.23638/LMCS-15(2:18)2019⟩ Article dans une revue hal-02307669v1
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation Andrés Aristizábal,Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk Logical Methods in Computer Science, 2017, 13 (3), ⟨10.23638/LMCS-13(3:27)2017⟩ Article dans une revue hal-01590620v1
Faithful (Meta-)Encodings Of Programmable Strategies Into Term Rewriting Systems Horatiu Cirstea,Sergueï Lenglet,Pierre-Etienne Moreau Logical Methods in Computer Science, 2017, 13 (4), pp.1-54. ⟨10.23638/LMCS-13(4:16)2017⟩ Article dans une revue hal-01479030v2
Characterizing contextual equivalence in calculi with passivation Sergueï Lenglet,Alan Schmitt,Jean-Bernard Stefani Information and Computation, 2011, 209 (11), pp.1390-1433. ⟨10.1016/j.ic.2011.08.002⟩ Article dans une revue hal-00903877v1

Communication dans un congrès (25)

Optimizing a Non-Deterministic Abstract Machine with Environments Małgorzata Biernacka,Dariusz Biernacki,Sergueï Lenglet,Alan Schmitt FSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.1-22, ⟨10.4230/LIPIcs.FSCD.2024.11⟩ Communication dans un congrès hal-04643294v1
Leaf-First Zipper Semantics Sergueï Lenglet,Alan Schmitt FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2024, Groningen, Netherlands. ⟨10.1007/978-3-031-62645-6_7⟩ Communication dans un congrès hal-04571340v1
Non-Deterministic Abstract Machines Małgorzata Biernacka,Dariusz Biernacki,Sergueï Lenglet,Alan Schmitt CONCUR 2022 - 33rd International Conference on Concurrency Theory, Sep 2022, Varsovie, Poland. pp.1-24, ⟨10.4230/LIPIcs.CONCUR.2022.7⟩ Communication dans un congrès hal-03772712v1
Certified Derivation of Small-Step From Big-Step Skeletal Semantics Guillaume Ambal,Sergueï Lenglet,Alan Schmitt,Camille Noûs PPDP 2022 - 24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-48, ⟨10.1145/3551357.3551384⟩ Communication dans un congrès hal-03768820v1
Certified Abstract Machines for Skeletal Semantics Guillaume Ambal,Sergueï Lenglet,Alan Schmitt CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.1-13, ⟨10.1145/3497775.3503676⟩ Communication dans un congrès hal-03466807v1
A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk Formal Structures for Computation and Deduction, Jun 2020, Paris, France. ⟨10.4230/LIPIcs.FSCD.2020.7⟩ Communication dans un congrès hal-02559253v1
Diacritical Companions Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk MFPS 2019-Mathematical Foundations of Programming Semantics XXXV, Jun 2019, London, United Kingdom. ⟨10.1016/j.entcs.2019.09.003⟩ Communication dans un congrès hal-02136002v1
A Complete Normal-Form Bisimilarity for State Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk FoSSaCS, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17127-8_6⟩ Communication dans un congrès hal-02086532v1
HOπ in Coq Sergueï Lenglet,Alan Schmitt CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, ⟨10.1145/3167083⟩ Communication dans un congrès hal-01614987v3
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines Małgorzata Biernacka,Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk,Damien Pouset al. LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩ Communication dans un congrès hal-01479035v1
Proving Soundness of Extensional Normal-Form Bisimilarities Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk Mathematical Foundations of Programming Semantics XXXIII, Jun 2017, Ljubljana, Slovenia. ⟨10.1016/j.entcs.2018.03.015⟩ Communication dans un congrès hal-01650000v1
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation Andrés Aristizábal,Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. ⟨10.4230/LIPIcs.FSCD.2016.9⟩ Communication dans un congrès hal-01335959v1
A faithful encoding of programmable strategies into term rewriting systems Horatiu Cirstea,Sergueï Lenglet,Pierre-Etienne Moreau Rewriting Techniques and Application 2015, Jun 2015, Warsaw, Poland. pp.15, ⟨10.4230/LIPIcs.RTA.2015.74⟩ Communication dans un congrès hal-01168956v1
Howe's Method for Contextual Semantics Sergueï Lenglet,Alan Schmitt CONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.212⟩ Communication dans un congrès hal-01192699v1
Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation Giuseppe Castagna,Kim Nguyen,Zhiwu Xu,Hyeonseung Im,Sergueï Lengletet al. POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩ Communication dans un congrès hal-00907166v1
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus Dariusz Biernacki,Sergueï Lenglet Mathematical Foundations of Programming Semantics Thirtieth Conference, Jun 2014, Ithaca, United States. pp.49 - 64, ⟨10.1016/j.entcs.2014.10.004⟩ Communication dans un congrès hal-01080960v1
Environmental Bisimulations for Delimited-Control Operators Dariusz Biernacki,Sergueï Lenglet APLAS - 11th Asian Symposium on Programming Languages and Systems - 2013, Dec 2013, Melbourne, Australia. pp.333-348 Communication dans un congrès hal-00903839v1
Proving termination of evaluation for System F with control operators Małgorzata Biernacka,Dariusz Biernacki,Sergueï Lenglet,Marek Materzok COS 2013 - First Workshop on Control Operators and their Semantics, Jun 2013, Eindhoven, Netherlands. pp.15-29, ⟨10.4204/EPTCS.127.2⟩ Communication dans un congrès hal-00860954v1
Applicative Bisimulations for Delimited-Control Operators Dariusz Biernacki,Sergueï Lenglet Foundations of Software Science and Computation Structures (FoSSaCS 2012), Mar 2012, Tallinn, Estonia. pp.119 - 134, ⟨10.1007/978-3-642-28729-9_8⟩ Communication dans un congrès hal-01399945v1
Normal Form Bisimulations for Delimited-Control Operators Dariusz Biernacki,Sergueï Lenglet Symposium on Functional and Logic Programming (FLOPS 2012), Jun 2012, Kobé, Japan. pp.47 - 61, ⟨10.1007/978-3-642-29822-6_7⟩ Communication dans un congrès hal-01399951v1
Expansion for Universal Quantifiers Sergueï Lenglet,J B Wells European Symposium On Programming (ESOP 2012), Mar 2012, Tallinn, Estonia. pp.456 - 475, ⟨10.1007/978-3-642-28869-2_23⟩ Communication dans un congrès hal-01405792v1
Typing control operators in the CPS hierarchy Małgorzata Biernacka,Dariusz Biernacki,Sergueï Lenglet PPDP - Principles and Practice of Declarative Programming, Jul 2011, Odense, Denmark. pp.149-160, ⟨10.1145/2003476.2003498⟩ Communication dans un congrès hal-00903834v1
Howe's Method for Calculi with Passivation Sergueï Lenglet,Alan Schmitt,Jean-Bernard Stefani 20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. pp.448--462 Communication dans un congrès inria-00486800v1
Normal bisimulations in process calculi with passivation Sergueï Lenglet,Alan Schmitt,Jean-Bernard Stefani 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Mar 2009, York, United Kingdom. pp.257--271, ⟨10.1007/978-3-642-00596-1_19⟩ Communication dans un congrès inria-00490810v1
A Core Calculus for Scala Type Checking Vincent Cremet,François Garillot,Sergueï Lenglet,Martin Odersky Mathematical Foundations of Computer Science 2006, Aug 2006, Stará Lesná, Slovakia. pp.1-23, ⟨10.1007/11821069_1⟩ Communication dans un congrès hal-00903812v1

Chapitre d'ouvrage (1)

From Complementary to Zipper Semantics Sergueï Lenglet,Camille Noûs,Alan Schmitt Components Operationally: Reversibility and System Engineering Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday, 16065, Springer Nature Switzerland, pp.89-102, 2025, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-99717-4_5⟩ Chapitre d'ouvrage hal-05322293v1

Pré-publication, Document de travail (5)

Leaf-First Zipper Semantics Sergueï Lenglet,Alan Schmitt 2024 Pré-publication, Document de travail hal-04537440v1
Optimizing a Non-Deterministic Abstract Machine with Environments Małgorzata Biernacka,Dariusz Biernacki,Sergueï Lenglet,Alan Schmitt 2024 Pré-publication, Document de travail hal-04568253v3
A faithful encoding of programmable strategies into term rewriting systems Horatiu Cirstea,Sergueï Lenglet,Pierre-Etienne Moreau 2015 Pré-publication, Document de travail hal-01119941v1
Environmental Bisimulations for Delimited-Control Operators Dariusz Biernacki,Sergueï Lenglet 2013 Pré-publication, Document de travail hal-00862189v1
Applicative Bisimulations for Delimited-Control Operators Dariusz Biernacki,Sergueï Lenglet 2012 Pré-publication, Document de travail hal-01732498v1

Rapport (11)

Non-Deterministic Abstract Machines Małgorzata Biernacka,Dariusz Biernacki,Serguei Lenglet,Alan Schmitt [Research Report] RR-9475, Inria. 2022, pp.1-33 Rapport hal-03545768v2
Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step Guillaume Ambal,Alan Schmitt,Sergueï Lenglet [Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020 Rapport (rapport de recherche) hal-02946930v2
A Complete Normal-Form Bisimilarity for State Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk [Research Report] RR-9251, Inria Nancy - Grand Est. 2019 Rapport (rapport de recherche) hal-02002115v1
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines Małgorzata Biernacka,Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk,Damien Pouset al. [Research Report] RR-9052, Inria. 2017 Rapport (rapport de recherche) hal-01507625v1
Bisimulations for Delimited-Control Operators Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk [Research Report] RR-9096, Inria Nancy - Grand Est. 2017 Rapport (rapport de recherche) hal-01207112v3
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation Andrés Aristizábal,Dariusz Biernacki,Sergueï Lenglet,Piotr Polesiuk [Research Report] RR-8905, Inria. 2016 Rapport (rapport de recherche) hal-01305137v4
Howe's Method for Contextual Semantics Sergueï Lenglet,Alan Schmitt [Research Report] RR-8750, Inria. 2015, pp.31 Rapport (rapport de recherche) hal-01168865v1
Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus Dariusz Biernacki,Sergueï Lenglet [Research Report] RR-8447, INRIA. 2014 Rapport (rapport de recherche) hal-00926100v2
Howe's Method for Early Bisimilarities Sergueï Lenglet,Alan Schmitt,Jean-Bernard Stefani [Research Report] RR-6773, INRIA. 2008, pp.69 Rapport (rapport de recherche) inria-00347137v2
Normal bisimulations in process calculi with passivation Sergueï Lenglet,Alan Schmitt,Jean-Bernard Stefani [Research Report] RR-6664, INRIA. 2008, pp.102 Rapport (rapport de recherche) inria-00330565v1
A practical type system for generalized recursion Tom Hirschowitz,Serguei Lenglet [Research Report] Laboratoire de l'informatique du parallélisme. 2005, 2+50p Rapport (rapport de recherche) hal-02102506v1

Thèse (1)

Bisimulations dans les calculs avec passivation Sergueï Lenglet Informatique [cs]. Université Joseph-Fourier - Grenoble I, 2010. Français. ⟨NNT : ⟩ Thèse tel-00447857v1