Skip to Main content Skip to Navigation


hal-00934047v1  Conference papers
Samuel BernardXavier DéfagoSébastien Tixeuil. A Fast and Robust Optimistic Total Order Broadcast for Online Video Games
International Conference on Advanced Information Networking and Applications Workshops, Mar 2012, Fukuoka, Japan. pp.189-196, ⟨10.1109/WAINA.2012.105⟩
...
hal-00432218v1  Conference papers
Olivier BodiniThomas FerniqueÉric Rémila. Distances on Lozenge Tilings
DGCI 2009 - 15th IAPR International Conference on Discrete Geometry for Computer Imagery, Sep 2009, Montreal, Canada. pp.240-251, ⟨10.1007/978-3-642-04397-0_21⟩
...
hal-01086082v1  Conference papers
Ripon K. SahaJulia L. LawallSarfraz KhurshidDewayne Perry. On the Effectiveness of Information Retrieval Based Bug Localization for C Programs
ICSME 2014 - 30th International Conference on Software Maintenance and Evolution, IEEE, Sep 2014, Victoria, Canada. pp.161-170, ⟨10.1109/ICSME.2014.38⟩
...
hal-01328012v1  Conference papers
Pierre-Evariste DagandNicolas TabareauÉric Tanter. Partial Type Equivalences for Verified Dependent Interoperability
ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. pp.298-310, ⟨10.1145/2951913.2951933⟩
...
hal-01337093v1  Conference papers
Mariem SaiedJens GustedtGilles Muller. Automatic Code Generation for Iterative Multi-dimensional Stencil Computations
High Performance Computing, Data, and Analitics, Dec 2016, Hydarabat, India
hal-01461209v1  Journal articles
Pierre-Evariste Dagand. The essence of ornaments
Journal of Functional Programming, Cambridge University Press (CUP), 2017, 27, ⟨10.1017/S0956796816000356⟩
...
hal-01512286v1  Conference papers
Timothy BourkeLélio BrunPierre-Evariste DagandXavier LeroyMarc Pouzet et al.  A Formally Verified Compiler for Lustre
PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain
...
hal-01556589v1  Conference papers
Julia LawallDerek PalinskiLukas GnirkeGilles Muller. Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers
2017 USENIX Annual Technical Conference, Jul 2017, Santa Clara, CA, United States. pp.12
...
hal-01581628v1  Conference papers
Guido Lena CotaSonia Ben MokhtarGabriele GianiniErnesto DamianiJulia Lawall et al.  Analysing Selfishness Flooding with SEINE
The 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'17), Jun 2017, Denver, Colorado, United States. pp.603 - 614, ⟨10.1109/DSN.2017.51⟩
...
hal-01653728v1  Journal articles
Pavneet Singh KochharDavid LoJulia LawallNachiappan Nagappan. Code Coverage and Postrelease Defects: A Large-Scale Study on Open Source Projects
IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 2017, 66 (4), pp.1213 - 1228. ⟨10.1109/TR.2017.2727062⟩
hal-01673541v1  Conference papers
Victor Cacciari MiraldoPierre-Evariste DagandWouter Swierstra. Type-directed diffing of structured data
TyDe 2017 - 2nd ACM SIGPLAN International Workshop on Type-Driven Development, Sep 2017, Oxford, United Kingdom. pp.2-15, ⟨10.1145/3122975.3122976⟩
...
hal-01355859v1  Conference papers
Ferdian ThungDinh Xuan Bach LeDavid LoJulia Lawall. Recommending Code Changes for Automatic Backporting of Linux Device Drivers
32nd IEEE International Conference on Software Maintenance and Evolution (ICSME), IEEE, Oct 2016, Raleigh, North Carolina, United States
...
hal-01403830v1  Conference papers
Timothy BourkePierre-Evariste DagandMarc PouzetLionel Rieg. Vérification de la génération modulaire du code impératif pour Lustre
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
hal-01086077v1  Conference papers
Yuan TianDavid LoJulia Lawall. Automated construction of a software-specific word similarity database
2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE, Feb 2014, Antwerp, Belgium. pp.44-53, ⟨10.1109/CSMR-WCRE.2014.6747213⟩
...
edutice-00135470v1  Journal articles
Brigitte de la PassardièreMonique Grandbastien. Présentation de LOM v1.0, standard IEEE
Sciences et Techniques Educatives, Hermes, 2003, Hors série, pp.211-218
...
hal-01248216v1  Conference papers
Marc ShapiroPaulo FerreiraNicolas Richer. Experience with the PerDiS large-scale data-sharing middleware
9th International Workshop on Persistent Object Systems (POS), Sep 2000, Lillehammer, Norway. pp.55-69, ⟨10.1007/3-540-45498-5_6⟩
...
hal-01248218v1  Conference papers
Nicolas RicherMarc Shapiro. The memory behavior of WWW, or the WWW considered as a persistent store
9th International Workshop on Persistent Object Systems (POS), Sep 2000, Lillehammer, Norway. pp.161-176, ⟨10.1007/3-540-45498-5_14⟩
...
lirmm-00149373v1  Conference papers
Olivier BodiniThomas FerniqueÉric Rémila. Characterizations of Flip-Accessibility for Domino Tilings of the Whole Plane
FPSAC 2007 - 19th international conference on Formal Power Series and Algebraic Combinatorics, Jul 2007, Tianjin, China. pp.10
hal-00275358v1  Journal articles
Grégoire HenryMichel MaunyEmmanuel Chailloux. Typer la désérialisation sans sérialiser les types
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2007, 26 (9), pp.1067-1090
lirmm-00379207v1  Journal articles
Olivier BodiniThomas FerniqueÉric Rémila. A Characterization of Flip-accessibility for Rhombus Tilings of the Whole Plane
Information and Computation, Elsevier, 2008, Special Issue: 1st International Conference on Language and Automata Theory and Applications (LATA 2007), 206 (9-10), pp.1065-1073. ⟨10.1016/j.ic.2008.03.008⟩
hal-01213325v1  Conference papers
Quentin BramasWilfried DronMariem Ben FadhlKhalil HachichaPatrick Garda et al.  WiSeBat: Accurate Energy Benchmarking of Wireless Sensor Networks
The Forum on specification and Design Languages (FDL 2015), Sep 2015, Barcelona, Spain. pp.1--8, ⟨10.1109/FDL.2015.7306084⟩
...
hal-01144309v1  Conference papers
Quentin BramasWilfried DronMariem Ben FadhlKhalil HachichaPatrick Garda et al.  De la Survie Énergétique des Réseaux de Capteurs
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
hal-00761351v1  Journal articles
Mathieu JaumeValérie Viet Triem TongGuillaume Hiet. Spécification et mécanisme de détection de flots d'information illégaux
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31 (6), pp.713-742. ⟨10.3166/tsi.31.713-742⟩
...
inria-00070678v1  Reports
Daniel LazardFabrice Rouillier. Solving Parametric Polynomial Systems
[Research Report] RR-5322, INRIA. 2004, pp.23