Sergueï Lenglet

I am Maître de conférence (assistant professor) at the Université de Lorraine, doing my research within the Pareo team in the Loria laboratory, and teaching at the IUT Charlemagne.

Previous positions:

Contact:

Email: serguei.lenglet(at)univ-lorraine(dot)fr
Address: Postal At the Loria At the IUT
Loria Loria IUT Nancy-Charlemagne
Campus scientifique 615 rue du jardin botanique  2 ter boulevard Charlemagne
BP 239Office C306Office 114
54 506 Vandœuvre-lès-Nancy Cedex 54 600 Villers-lès-Nancy 54 000 Nancy
FranceHow to get there
Phone: (+33) (0)3 54 95 84 16(+33) (0)3 54 50 38 32

Journal papers:

  • Bisimulations for delimited-control operators. HAL
    D. Biernacki, S. Lenglet, and P. Polesiuk, submitted.
  • Characterizing contextual equivalence in calculi with passivation HAL | Sciencedirect
    S. Lenglet, A. Schmitt, J.-B. Stefani, Information and Computation.

Conference papers:

  • Howe's method for contextual semantics. LIPICS | RR (with proofs)
    S. Lenglet and A. Schmitt, CONCUR '15.
  • A faithful encoding of programmable strategies into term rewriting systems. LIPICS | RR (with proofs)
    H. Cirstea, S. Lenglet, and P.-E. Moreau, RTA '15.
  • Applicative bisimilarities for call-by-name and call-by-value λμ-calculus. HAL | ScienceDirect | RR (with proofs)
    D. Biernacki and S. Lenglet, MFPS '14.
  • Polymorphic functions with set-theoretic types. Part 1: syntax, semantics, and evaluation. pdf | ACM
    G. Castagna, K. Nguyễn, Z. Xu, H. Im, S. Lenglet, and L. Padovani, POPL '14.
  • Environmental bisimulations for delimited-control operators. arXiv (with proofs) | Springer
    D. Biernacki and S. Lenglet, APLAS '13.
  • Normal form bisimulations for delimited-control operators. arXiv (with proofs) | Springer
    D. Biernacki, and S. Lenglet, FLOPS '12.
  • Applicative bisimulations for delimited-control operators. arXiv (with proofs) | Springer
    D. Biernacki and S. Lenglet, FoSSaCS '12.
  • Expansion for universal quantifiers. arXiv (with proofs) | Springer
    S. Lenglet and J. B. Wells, ESOP '12.
  • Typing control operators in the CPS hierarchy. HAL | ACM
    M. Biernacka, D. Biernacki, and S. Lenglet, PPDP '11.
  • Howe's method for calculi with passivation. HAL | ACM | RR (with proofs)
    S. Lenglet, A. Schmitt, and J.-B. Stefani, CONCUR '09.
  • Normal bisimulations in process calculi with passivation. HAL | Springer | RR (with proofs)
    S. Lenglet, A. Schmitt, and J.-B. Stefani, FoSSaCS '09.
  • A core calculus for scala type checking. HAL | Springer
    V. Cremet, F. Garillot, S. Lenglet, and M. Odersky, MFCS'06.

Research reports and workshop papers:

  • Howe's method for contextual semantics. HAL
    S. Lenglet and A. Schmitt, Inria, 2015.
  • Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value λμ Calculus HAL
    D. Biernacki and S. Lenglet, Inria, 2014.
  • Proving termination of evaluation for System F with control operators. arXiv
    M. Biernacka, D. Biernacki, and S. Lenglet, COS 2013.
  • Howe's method for early bisimilarities. HAL
    S. Lenglet, A. Schmitt, and J.-B. Stefani, INRIA, 2008.
  • Normal bisimulations in process calculi with passivation. HAL
    S. Lenglet, A. Schmitt, and J.-B. Stefani, INRIA, 2008.

PhD Thesis:

  • Bisimulations dans les calculs avec passivation. TEL
    S. Lenglet, Université de Grenoble, 2010.