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
https://hal.inria.fr/hal-01352015/file/ocaml-2016-learn-ocaml.pdf 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
https://hal.inria.fr/hal-01352013/file/ocaml-2016-typerex-lint.pdf 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
https://hal.inria.fr/hal-01352008/file/ocaml2016-opam-builder.pdf 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
https://hal.inria.fr/hal-01245840/file/main.pdf 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
https://hal.inria.fr/hal-01245844/file/main.pdf 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. 2015, OCaml 2015 - The OCaml Users and Developers Workshop
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
https://hal.inria.fr/hal-01413319/file/OCaml_2015_submission_3.pdf BibTex
titre
ocp-memprof: un profileur mémoire pour OCaml
auteur
Çagdas Bozman, Grégoire Henry, Mohamed Iguernelala, Fabrice Le Fessant, Michel Mauny
article
David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 〈http://jfla.inria.fr/2015〉
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
https://hal.inria.fr/hal-01099134/file/jfla15_submission_22.pdf 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. 2014
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
https://hal.inria.fr/hal-01091177/file/ocaml2014_17.pdf 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. OCaml 2014
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
https://hal.inria.fr/hal-01091173/file/ocaml2014_8.pdf BibTex
titre
A Case for Multi-Switch Constraints in OPAM
auteur
Fabrice Le Fessant
article
OCaml 2014, Sep 2014, goteborg, Sweden. 2014
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
https://hal.inria.fr/hal-01091175/file/ocaml2014_12.pdf 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 2013, 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
https://hal.inria.fr/hal-01095305/file/profiling-memory.pdf 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, Elsevier, 2012, 35 (2), pp.40
typdoc
Journal articles
audience
International
Accès au bibtex
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. 2012
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
https://hal.inria.fr/hal-00665962/file/paper_10.pdf BibTex

2011

Journal articles

titre
Real-Time Monitoring of Ocaml programs
auteur
Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume Von Tokarski
article
Stud. Inform. Univ., 2011, 9 (1), pp.159-185
typdoc
Journal articles
audience
International
Accès au bibtex
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), Apr 2010, San Jose, CA, United States. 2010
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
https://hal.inria.fr/inria-00470324/file/bt_privacy_LEET10.pdf 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
Micaela Mayero / Sylvain Conchon. JFLA (Journées Francophones des Langages Impératifs), Jan 2010, Vieux-Port La Ciotat, France. Hermann Informatique, pp.195-216, 2010, Studia Informatica Universalis
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
https://hal.inria.fr/inria-00535644/file/ocamlviz-jfla2010.pdf 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
https://hal.inria.fr/inria-00451282/file/bt_angling.pdf 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. 2009
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
https://hal.inria.fr/inria-00432741/file/sss2009.pdf 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. 2009
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
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. 2009
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
https://hal.inria.fr/inria-00432747/file/cfse2009.pdf 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. ACM, pp.26-33, 2009, 〈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
https://hal.inria.fr/inria-00432752/file/damap2009.pdf BibTex

Reports

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
https://hal.inria.fr/inria-00355873/file/RR-6811.pdf BibTex
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
https://hal.inria.fr/inria-00352529/file/RR-6795.pdf 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. 2008
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
https://hal.inria.fr/inria-00337057/file/MMVE.pdf 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
https://hal.inria.fr/inria-00305620/file/RR-6594.pdf BibTex

2007

Journal articles

titre
The “Art” of Programming Gossip-based Systems
auteur
Patrick Eugster, Pascal Felber, Fabrice Le Fessant
article
Operating Systems Review, Association for Computing Machinery, 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
https://hal.inria.fr/inria-00331375/file/osr2007.pdf 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. 2007
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
https://hal.inria.fr/inria-00331365/file/jfla2007.pdf 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 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. 2006, 〈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
https://hal.inria.fr/inria-00436689/file/PaperP2P.pdf BibTex

2005

Reports

titre
Peer Sharing Behaviour in the eDonkey Network, and Implications for the Design of Server-less File Sharing Systems
auteur
S. 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
https://hal.inria.fr/inria-00070501/file/RR-5506.pdf 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
audience
Not specified
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071789/file/RR-4797.pdf 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
https://hal.inria.fr/inria-00072062/file/RR-4526.pdf 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
https://hal.inria.fr/inria-00444645/file/RAIDGC_lncs1752.pdf 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. 1998, 〈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
https://hal.inria.fr/hal-01248220/file/ICADGC_pldi98.pdf 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. 1997
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
https://hal.inria.fr/hal-01248221/file/DADCG_gcmm97.pdf BibTex