Vous pouvez vous abonner à nos annonces de séminaires:
                     http://cambium.inria.fr/seminar.html

             Nos séminaires sont accessibles en ligne en direct:
                  https://webconf.math.cnrs.fr/b/fra-ryy-fjn

			     S É M I N A I R E

                   ______                __    _
                  / ____/___ _____ ___  / /_  (_)_  ______ ___
                 / /   / __ `/ __ `__ \/ __ \/ / / / / __ `__ \
                / /___/ /_/ / / / / / / /_/ / / /_/ / / / / / /
                \____/\__,_/_/ /_/ /_/_.___/_/\__,_/_/ /_/ /_/

			     I N R I A - Paris
                 2 rue Simone Iff (ou: 41 rue du Charolais)
                          Salle Lions 1, bâtiment C

                           Lundi 6 septembre, 10h30

                               ---------------
                               Émile Trotignon
                               ---------------

                               ENS Paris-Saclay

                         ===========================
                         Efficient, typed LR parsers
                         ===========================

During my 5-month internship under François Pottier, I wrote a new code
generation engine for Menhir, the LR(1) parser generator for OCaml, that is
both more efficient and safer. We increased safety by using OCaml's advanced
type system features, in particular GADTs. The increased safety allowed us to
optimize the code generation, resulting in significant gains of efficiency:
the number of allocations was divided by 4, and the speed increased by 10%,
across various grammars.