2019
Conference papers
-
- titre
- Learn-OCaml : un assistant à l'enseignement d'OCaml
- auteur
- Cagdas Bozman, Benjamin Canou, Roberto Di Cosmo, Pierrick Couderc, Louis Gesbert, Grégoire Henry, Fabrice Le Fessant, Michel Mauny, Carine Morel, Loïc Peyrot, Yann Regis-Gianas
- article
- JFLA 2019 - Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France
- Resume_court
- La plateforme Learn-OCaml est un assistant à l'enseignement du langage de program-mation OCaml, dé .....
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
2017
Conference papers
-
- titre
- Tezos: the OCaml Crypto-Ledger
- auteur
- Benjamin Canou, Grégoire Henry, Pierre Chambart, Fabrice Le Fessant, Cagdas Bozman, Vincent Bernardoff, Guillem Rieu, Mohamed Iguernelala, Alain Mebsout, Arthur Breitman
- article
- OCaml 2017 - OCaml Users and Developers Workshop, Sep 2017, Oxford, United Kingdom. pp.1-2
- Resume_court
- In this talk, we will present the story of the Tezos project. Tezos is a crypto-ledger, i.e. a distr .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
2016
Conference papers
-
- titre
- Learn OCaml, An Online Learning Center for OCaml
- auteur
- Benjamin Canou, Grégoire Henry, Çagdas Bozman, Fabrice Le Fessant
- article
- OCaml Users and Developers Workshop 2016, Sep 2016, Nara, Japan
- Resume_court
- We present Learn OCaml, a Web application that packs a set of learning activities for people who wan .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- OPAM-builder: Continuous Monitoring of OPAM Repositories
- auteur
- Fabrice Le Fessant
- article
- OCaml Users and Developers Workshop 2016, Sep 2016, Nara, Japan
- Resume_court
- In this talk, we will present the opam-builder system. opam-builder is an online service that monito .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- ocp-lint, A Plugin-based Style-Checker with Semantic Patches
- auteur
- Çagdas Bozman, Théophane Huffschmitt, Michael Laporte, Fabrice Le Fessant
- article
- OCaml Users and Developers Workshop 2016, Sep 2016, Nara, Japan
- Resume_court
- In this talk, we will present ocp-lint, a new style-checker for OCaml projects. ocp-lint can typical .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
2015
Conference papers
-
- titre
- Towards A Debugger for Native-Code OCaml Applications
- auteur
- Fabrice Le Fessant, Pierre Chambart
- article
- OCaml Users and Developers Workshop, Sep 2015, Vancouver, Canada
- Resume_court
- In this talk, we will present a starting project at OCamlPro, the development of a debugging framewo .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Operf: Benchmarking the OCaml Compiler
- auteur
- Pierre Chambart, Michael Laporte, Vincent Bernardoff, Fabrice Le Fessant
- article
- OCaml Users and Developers Workshop, Sep 2015, Vancouver, Canada
- Resume_court
- We present operf, a set of tools to benchmark the OCaml compiler, with both micro-benchmarks, for fa .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- Global Semantic Analysis on OCaml programs
- auteur
- Thomas Blanc, Pierre Chambart, Michel Mauny, Fabrice Le Fessant
- article
- OCaml 2015 - The OCaml Users and Developers Workshop, Sep 2015, Vancouver, Canada
- Resume_court
- We present an ongoing project at OCamlPro, the development of a semantic analyser of OCaml code base .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- ocp-memprof: un profileur mémoire pour OCaml
- auteur
- Çagdas Bozman, Grégoire Henry, Mohamed Iguernelala, Fabrice Le Fessant, Michel Mauny
- article
- Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
- Resume_court
- La récupération automatique de la mémoire est une caractéristique commune des langages de progra .....
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
2014
Conference papers
-
- titre
- Using Preferences to Tame your Package Manager
- auteur
- Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Stefano Zacchiroli
- article
- OCaml 2014, Sep 2014, Goteborg, Sweden
- Resume_court
- Determining whether some components can be installed on a system is a complex problem: not only it i .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- A Case for Multi-Switch Constraints in OPAM
- auteur
- Fabrice Le Fessant
- article
- OCaml 2014, Sep 2014, goteborg, Sweden
- Resume_court
- Package managers usually only deal with packages and their versions, and the con-straints on their d .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
-
- titre
- A Proposal for Non-Intrusive Namespaces in OCaml
- auteur
- Pierrick Couderc, Benjamin Canou, Pierre Chambart, Fabrice Le Fessant
- article
- OCaml 2014, Sep 2014, Goteborg, Sweden
- Resume_court
- We present a work-in-progress about adding namespaces to OCaml. Inspired by other lan-guages such as .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
2013
Conference papers
-
- titre
- Profiling the Memory Usage of OCaml Applications without Changing its Behavior
- auteur
- Çagdas Bozman, Michel Mauny, Fabrice Le Fessant, Thomas Gazagnaire
- article
- OCaml Users and Developers Workshop (OCaml), Sep 2013, boston, United States
- Resume_court
- In this paper, we present the current state of our work on profiling the memory usage of OCaml progr .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
2012
Journal articles
- titre
- A Sinkhole Resilient Protocol for Wireless Sensor Networks: Performance and Security Analysis
- auteur
- Fabrice Le Fessant, Anthonis Papadimitriou, Aline Carneiro Viana, Cigdem Sengul, Esther Palomar
- article
- Computer Communications, 2012, 35 (2), pp.234-248. ⟨10.1016/j.comcom.2011.09.005⟩
- Resume_court
- This work focuses on: (1) understanding the impact of selective forwarding attacks on tree-based rou .....
- typdoc
- Journal articles
- audience
- International
- Accès au bibtex
-
Conference papers
-
- titre
- Ocp-build: un gestionnaire de projets pour OCaml
- auteur
- Fabrice Le Fessant, Thomas Gazagnaire
- article
- JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France
- Resume_court
- Dans ce papier, nous présentons ocp-build, un nouveau gestionnaire de projet pour OCaml [Leroy, X. .....
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
2010
Conference papers
-
- titre
- Spying the World from your Laptop -- Identifying and Profiling Content Providers and Big Downloaders in BitTorrent
- auteur
- Stevens Le Blond, Arnaud Legout, Fabrice Le Fessant, Walid Dabbous, Mohamed Ali Kaafar
- article
- 3rd USENIX Workshop on Large-Scale Exploits and Emergent Threats (LEET'10), Usenix, Apr 2010, San Jose, CA, United States
- Resume_court
- This paper presents a set of exploits an adversary can use to continuously spy on most BitTorrent us .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
- titre
- Real-Time Monitoring of Ocaml programs
- auteur
- Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume von Tokarski
- article
- JFLA 2010, Jan 2010, Vieux-Port La Ciotat, France. pp.159-185
- typdoc
- Conference papers
- audience
- International
- Accès au bibtex
-
-
- titre
- Observation temps-réel de programmes Caml
- auteur
- Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume von Tokarski
- article
- JFLA (Journées Francophones des Langages Impératifs), INRIA, Jan 2010, Vieux-Port La Ciotat, France. pp.195-216
- Resume_court
- Pour mettre au point un programme, tant du point de vue de sa correction que de ses performances, il .....
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
Reports
-
- titre
- Angling for Big Fish in BitTorrent
- auteur
- Stevens Le Blond, Arnaud Legout, Fabrice Le Fessant, Walid Dabbous
- article
- [Research Report] 2010
- Resume_court
- BitTorrent piracy is at the core of fierce debates around network neutrality. Most of the legal acti .....
- typdoc
- Reports
- audience
- Not specified
- Accès au texte intégral et bibtex
-
2009
Conference papers
-
- titre
- Finding Good Partners in Availability-aware P2P Networks
- auteur
- Stevens Le Blond, Fabrice Le Fessant, Erwan Le Merrer
- article
- International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'09), Nov 2009, Lyon, France
- Resume_court
- We study the problem of finding peers matching a given availability pattern in a peer-to-peer (P2P) .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
- titre
- Cryptographic Protocols to Fight Sinkhole Attacks on Tree-based Routing in Wireless Sensor Networks
- auteur
- Anthonis Papadimitriou, Fabrice Le Fessant, Aline Carneiro Viana, Cigdem Sengul
- article
- 5th Workshop on Secure Network Protocols (NPSec), Oct 2009, Princeton, United States
- Resume_court
- This work introduces two new cryptographic protocols of different complexity and strength in limitin .....
- typdoc
- Conference papers
- audience
- International
- Accès au bibtex
-
-
- titre
- Choix de partenaires en p2p suivant des critères de disponibilité
- auteur
- Stevens Le Blond, Fabrice Le Fessant, Erwan Le Merrer
- article
- conférence francaise sur les systèmes d'exploitation, Sep 2009, Toulouse, France
- Resume_court
- Nous étudions la problématique de recherche distribuée de pairs correspondant à un motif de disp .....
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
-
- titre
- Optimizing peer-to-peer backup using lifetime estimations
- auteur
- Samuel Bernard, Fabrice Le Fessant
- article
- International Workshop on Data Management in Peer-to-Peer Systems (Damap'09), Mar 2009, Saint-Petersburg, Russia. pp.26-33, ⟨10.1145/1698790.1698797⟩
- Resume_court
- In this paper, we study the viability of a peer-to-peer backup system on nowadays internet connectio .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
Reports
-
- titre
- Finding Good Partners in Availability-aware P2P Networks
- auteur
- Stevens Le Blond, Fabrice Le Fessant, Erwan Le Merrer
- article
- [Research Report] RR-6795, INRIA. 2009, pp.17
- Resume_court
- In this paper, we study the problem of finding peers matching a given availability pattern in a peer .....
- typdoc
- Reports
- audience
- Not specified
- Accès au texte intégral et bibtex
-
-
- titre
- Fighting Sinkhole Attacks in Tree-based Routing Topologies
- auteur
- Anthonis Papadimitriou, Fabrice Le Fessant, Aline Carneiro Viana, Cigdem Sengul
- article
- [Research Report] RR-6811, INRIA. 2009, pp.24
- Resume_court
- This work focuses on: (1) understanding the impact of sinkhole attacks on tree-based routing topolog .....
- typdoc
- Reports
- audience
- Not specified
- Accès au texte intégral et bibtex
-
2008
Conference papers
-
- titre
- Solipsis: A Decentralized Architecture for Virtual Environments
- auteur
- Davide Frey, Jérôme Royan, Romain Piegay, Anne-Marie Kermarrec, Emmanuelle Anceaume, Fabrice Le Fessant
- article
- 1st International Workshop on Massively Multiuser Virtual Environments, Mar 2008, Reno, NV, United States
- Resume_court
- Lack of scalability is a key issue for virtual-environment technology, and more generally for any la .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
Reports
-
- titre
- Pacemaker: Fighting Selfishness in Availability-Aware Large-Scale Networks
- auteur
- Fabrice Le Fessant, Cigdem Sengul, Anne-Marie Kermarrec
- article
- [Research Report] RR-6594, INRIA. 2008, pp.33
- Resume_court
- In this paper, we introduce Pacemaker, a scalable and lightweight protocol to measure reliably the a .....
- typdoc
- Reports
- audience
- Not specified
- Accès au texte intégral et bibtex
-
2007
Journal articles
-
- titre
- The “Art” of Programming Gossip-based Systems
- auteur
- Patrick Eugster, Pascal Felber, Fabrice Le Fessant
- article
- Operating Systems Review, 2007
- Resume_court
- How does one best go about building actual gossip-based protocols? Trying to answer this question ha .....
- typdoc
- Journal articles
- audience
- International
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- Gestion de versions de formats avec Camlp4
- auteur
- Fabrice Le Fessant
- article
- Journées Francophones des Langages Applicatifs, Jan 2007, Aix-les-Bains, France
- Resume_court
- La gestion des changements de formats est un problème crucial de l'informatique : encore aujourd'hu .....
- typdoc
- Conference papers
- audience
- National
- Accès au texte intégral et bibtex
-
2006
Conference papers
-
- titre
- GosSkip, an Efficient, Fault-tolerant and Self Organizing Overlay using Gossip-based Construction and Skip-lists Principles
- auteur
- Rachid Guerraoui, Sidath B. Handurukande, Kévin Huguenin, Anne-Marie Kermarrec, Fabrice Le Fessant, Rivière Étienne
- article
- 6th IEEE International Conference on Peer to Peer Computing (P2P), Sep 2006, Cambridge, United Kingdom. ⟨10.1109/P2P.2006.19⟩
- Resume_court
- This paper presents GosSkip, a self organizing and fully distributed overlay that provides a scalabl .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
2005
Reports
-
- titre
- Peer Sharing Behaviour in the eDonkey Network, and Implications for the Design of Server-less File Sharing Systems
- auteur
- S. B. Handurukande, Anne-Marie Kermarrec, Fabrice Le Fessant, Laurent Massoulié, S. Patarin
- article
- [Research Report] RR-5506, INRIA. 2005, pp.38
- Resume_court
- Peer-to-peer file sharing systems have grown to the extent that they now generate most of the Intern .....
- typdoc
- Reports
- audience
- Not specified
- Accès au texte intégral et bibtex
-
2003
Reports
-
- titre
- MLdonkey, a Multi-Network Peer-to-Peer File-Sharing Program
- auteur
- Fabrice Le Fessant, Simon Patarin
- article
- [Research Report] RR-4797, INRIA. 2003
- Resume_court
- A lot of designers of functional languages have one dream: finding a killer application, outside of .....
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2002
Reports
-
- titre
- Validity Conditions in Agreement Problemsand Time Complexity
- auteur
- Bernadette Charron-Bost, Fabrice Le Fessant
- article
- [Research Report] RR-4526, INRIA. 2002
- Resume_court
- We study the time complexity of different agreement problems in the synchrono- us model with crash f .....
- typdoc
- Reports
- audience
- Not specified
- Accès au texte intégral et bibtex
-
2000
Book sections
-
- titre
- Recent Advances in Distributed Garbage Collection
- auteur
- Marc Shapiro, Fabrice Le Fessant, Paulo Ferreira
- article
- Sacha Krakowiak and Santosh Kumar Shrivastava. Recent Advances in Distributed Systems, 1752, springer, pp.104--126, 2000, lncs
- Resume_court
- We have described a detector of distributed cycles of garbage. Our cycle detector presents some inte .....
- typdoc
- Book sections
- audience
- Not specified
- Accès au texte intégral et bibtex
-
1998
Conference papers
-
- titre
- An implementation of complete, asynchronous, distributed garbage collection
- auteur
- Fabrice Le Fessant, Ian Piumarta, Marc Shapiro
- article
- Conf. on Prog. Lang. Design and Implementation, 1998, Montreal, Canada. ⟨10.1145/277650.277715⟩
- Resume_court
- Most existing reference-based distributed object systems include some kind of acyclic garbage collec .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
1997
Conference papers
-
- titre
- A detection algorithm for distributed cycles of garbage
- auteur
- Fabrice Le Fessant, Ian Piumarta, Marc Shapiro
- article
- OOPSLA W. on Garbage Collection and Memory Management, 1997, Atlanta, GA, United States
- Resume_court
- We present an algorithm that detects cycles of garbage in reference-based distributed systems. It is .....
- typdoc
- Conference papers
- audience
- International
- Accès au texte intégral et bibtex
-
