Sergueï Lenglet
Publications
Publications
|
|
Optimizing a Non-Deterministic Abstract Machine with EnvironmentsFSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.1-22, ⟨10.4230/LIPIcs.FSCD.2024.11⟩ |
|
|
Leaf-First Zipper SemanticsFORTE 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⟩ |
|
|
Non-Deterministic Abstract MachinesCONCUR 2022 - 33rd International Conference on Concurrency Theory, Sep 2022, Varsovie, Poland. pp.1-24, ⟨10.4230/LIPIcs.CONCUR.2022.7⟩ |
|
|
Certified Derivation of Small-Step From Big-Step Skeletal SemanticsPPDP 2022 - 24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-48, ⟨10.1145/3551357.3551384⟩ |
|
|
Certified Abstract Machines for Skeletal SemanticsCPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.1-13, ⟨10.1145/3497775.3503676⟩ |
|
|
A Complete Normal-Form Bisimilarity for Algebraic Effects and HandlersFormal Structures for Computation and Deduction, Jun 2020, Paris, France. ⟨10.4230/LIPIcs.FSCD.2020.7⟩ |
|
|
Diacritical CompanionsMFPS 2019-Mathematical Foundations of Programming Semantics XXXV, Jun 2019, London, United Kingdom. ⟨10.1016/j.entcs.2019.09.003⟩ |
|
|
A Complete Normal-Form Bisimilarity for StateFoSSaCS, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17127-8_6⟩ |
|
|
HOπ in CoqCPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, ⟨10.1145/3167083⟩ |
|
|
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract MachinesLICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩ |
|
|
Proving Soundness of Extensional Normal-Form BisimilaritiesMathematical Foundations of Programming Semantics XXXIII, Jun 2017, Ljubljana, Slovenia. ⟨10.1016/j.entcs.2018.03.015⟩ |
|
|
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. ⟨10.4230/LIPIcs.FSCD.2016.9⟩ |
|
|
Howe's Method for Contextual SemanticsCONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.212⟩ |
|
|
A faithful encoding of programmable strategies into term rewriting systemsRewriting Techniques and Application 2015, Jun 2015, Warsaw, Poland. pp.15, ⟨10.4230/LIPIcs.RTA.2015.74⟩ |
Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and EvaluationPOPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩ |
|
|
|
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-CalculusMathematical Foundations of Programming Semantics Thirtieth Conference, Jun 2014, Ithaca, United States. pp.49 - 64, ⟨10.1016/j.entcs.2014.10.004⟩ |
|
|
Environmental Bisimulations for Delimited-Control OperatorsAPLAS - 11th Asian Symposium on Programming Languages and Systems - 2013, Dec 2013, Melbourne, Australia. pp.333-348 |
|
|
Proving termination of evaluation for System F with control operatorsCOS 2013 - First Workshop on Control Operators and their Semantics, Jun 2013, Eindhoven, Netherlands. pp.15-29, ⟨10.4204/EPTCS.127.2⟩ |
|
|
Applicative Bisimulations for Delimited-Control OperatorsFoundations of Software Science and Computation Structures (FoSSaCS 2012), Mar 2012, Tallinn, Estonia. pp.119 - 134, ⟨10.1007/978-3-642-28729-9_8⟩ |
|
|
Normal Form Bisimulations for Delimited-Control OperatorsSymposium on Functional and Logic Programming (FLOPS 2012), Jun 2012, Kobé, Japan. pp.47 - 61, ⟨10.1007/978-3-642-29822-6_7⟩ |
|
|
Expansion for Universal QuantifiersEuropean Symposium On Programming (ESOP 2012), Mar 2012, Tallinn, Estonia. pp.456 - 475, ⟨10.1007/978-3-642-28869-2_23⟩ |
|
|
Typing control operators in the CPS hierarchyPPDP - Principles and Practice of Declarative Programming, Jul 2011, Odense, Denmark. pp.149-160, ⟨10.1145/2003476.2003498⟩ |
|
|
Howe's Method for Calculi with Passivation20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. pp.448--462 |
|
|
Normal bisimulations in process calculi with passivation12th 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⟩ |
|
|
A Core Calculus for Scala Type CheckingMathematical Foundations of Computer Science 2006, Aug 2006, Stará Lesná, Slovakia. pp.1-23, ⟨10.1007/11821069_1⟩ |
|
|
From Complementary to Zipper SemanticsComponents 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⟩ |
|
|
Leaf-First Zipper Semantics2024 |
|
|
Optimizing a Non-Deterministic Abstract Machine with Environments2024 |
|
|
A faithful encoding of programmable strategies into term rewriting systems2015 |
|
|
Environmental Bisimulations for Delimited-Control Operators2013 |
|
|
Applicative Bisimulations for Delimited-Control Operators2012 |
|
|
Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020 |
|
|
A Complete Normal-Form Bisimilarity for State[Research Report] RR-9251, Inria Nancy - Grand Est. 2019 |
|
|
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines[Research Report] RR-9052, Inria. 2017 |
|
|
Bisimulations for Delimited-Control Operators[Research Report] RR-9096, Inria Nancy - Grand Est. 2017 |
|
|
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation[Research Report] RR-8905, Inria. 2016 |
|
|
Howe's Method for Contextual Semantics[Research Report] RR-8750, Inria. 2015, pp.31 |
|
|
Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus[Research Report] RR-8447, INRIA. 2014 |
|
|
Howe's Method for Early Bisimilarities[Research Report] RR-6773, INRIA. 2008, pp.69 |
|
|
Normal bisimulations in process calculi with passivation[Research Report] RR-6664, INRIA. 2008, pp.102 |
|
|
Bisimulations dans les calculs avec passivationInformatique [cs]. Université Joseph-Fourier - Grenoble I, 2010. Français. ⟨NNT : ⟩ |