Výsledky vyhledávání - "Bozman, Çagdas"

Jouez à Faire Consensus Avec MITTEN (démonstration)

Autor: Bozman, Çagdas, Iguernlala, Mohamed, Laporte, Michael, Levillain, Maxime, Mebsout, Alain, Conchon, Sylvain

Publikováno v: Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.248-250

National audience; Cet article présente Mitten, un outil pour décrire finement et jouer des scénarios sur une implémentation de Tenderbake-le prochain protocole de consensus à la pBFT de la blockchain Tezos. Mitten est paramétrable pour filtrer

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::625424c0885cc0523eeee913e79500a6
https://inria.hal.science/hal-03626847

Zobrazit plný text záznamu

Formally Documenting Tenderbake

Autor: Conchon, Sylvain, Korneva, Alexandrina, Bozman, Çagdas, Iguernlala, Mohamed, Mebsout, Alain

Publikováno v: Open Access Series in Informatics
Open Access Series in Informatics, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, In press, ⟨10.4230/OASIcs.FMBC.2021.5⟩
Open Access Series in Informatics, In press, ⟨10.4230/OASIcs.FMBC.2021.5⟩

International audience; In this paper, we propose a formal documentation of Tenderbake, the new Tezos consensus algorithm, slated to replace the current Emmy family algorithms. The algorithm is broken down to its essentials and represented as an auto

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f04c26f07a20fd99c411fc662b008d2a
https://hal.archives-ouvertes.fr/hal-03398884/file/main.pdf

Zobrazit plný text záznamu

Learn OCaml, An Online Learning Center for OCaml

Autor: Canou, Benjamin, Henry, Grégoire, Bozman, Çagdas, Le Fessant, Fabrice

Publikováno v: OCaml Users and Developers Workshop 2016
OCaml Users and Developers Workshop 2016, Sep 2016, Nara, Japan

International audience; We present Learn OCaml, a Web application that packs a set of learning activities for people who want to learn OCaml. It includes an integrated and reworked version of the venerable Try OCaml, and an exercise environment with

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2e6c253b2e9200b6293fb65e1ff2176b
https://hal.inria.fr/hal-01352015/file/ocaml-2016-learn-ocaml.pdf

Zobrazit plný text záznamu

ocp-lint, A Plugin-based Style-Checker with Semantic Patches

Autor: Bozman, Çagdas, Huffschmitt, Théophane, Laporte, Michael, Le Fessant, Fabrice

Publikováno v: OCaml Users and Developers Workshop 2016
OCaml Users and Developers Workshop 2016, Sep 2016, Nara, Japan

International audience; In this talk, we will present ocp-lint, a new style-checker for OCaml projects. ocp-lint can typically be used to check pull-requests in a Github-style workflow. ocp-lint is highly ex-tensible, with a simple API to define new

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d05d9958bd76402df74404589132aed8
https://hal.inria.fr/hal-01352013

Zobrazit plný text záznamu

ocp-memprof: un profileur mémoire pour OCaml

Autor: Bozman, Çagdas, Henry, Grégoire, Iguernelala, Mohamed, Le Fessant, Fabrice, Mauny, Michel

Publikováno v: Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015)
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015)
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France

National audience; La récupération automatique de la mémoire est une caractéristiquecommune des langages de programmation. Elle offre certes auprogrammeur des garanties de fiabilité, mais, en éloignant ce dernierdes détails de la gestion de la

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4c42e6ceb60bc02ff88967e523c73e0f
https://hal.inria.fr/hal-01099134

Zobrazit plný text záznamu

Profiling the Memory Usage of OCaml Applications without Changing its Behavior

Autor: Bozman, Çagdas, Mauny, Michel, Le Fessant, Fabrice, Gazagnaire, Thomas

Publikováno v: OCaml Users and Developers Workshop (OCaml)
OCaml Users and Developers Workshop (OCaml), Sep 2013, boston, United States

International audience; In this paper, we present the current state of our work on profiling the memory usage of OCaml programs. Our technique allows to observe track types, allocation points and reachability paths of blocks, with no runtime cost, ex

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4c55e55badfce139ff33317460c0b843
https://inria.hal.science/hal-01095305

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání