This page presents the boring list of all the scientific publications I've (co-)signed so far. Most of these publications are also listed on the bibliography of my research team or on HAL directly.

I keep this list up to date because I feel like I should, but I am well aware that quantitity is not quality, and I even ranted about it. Unless you know what you are looking for, you really should head yourself to my main Research page, which presents a selected list of my scientific production.

Jump directly to the year you want: [2014] [2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001]

2014

Articles in peer-reviewed journal

  • Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter.
    Versatile, Scalable, and Accurate Simulation of Distributed Applications and Platforms.
    Journal of Parallel and Distributed Computing (JPDC -- to appear).
    Article, HAL.

 Peer-reviewed Posters

  • Marion Guthmuller and Martin Quinson.
    System-level State Equality Detection for the Dynamic Verification of Distributed Applications
    9th European Conference on Computer Systems (EuroSys'14 -- ACM). Amsterdam (Netherlands), April 2014.
    abstract, poster, HAL.

2013

Habilitation thesis

  • Martin Quinson.
    Computational Science of Computer Systems
    Habilitation à diriger les recherches, Université de Lorraine, 8 mars 2013.
    (The habilitation thesis is the highest diploma of the French university, allowing to apply to full professorship).
    Manuscript, slides, Q&A session.

Peer-reviewed conference/proceedings

  • Paul Bédaride, Augustin Degomme, Stéphane Genaud, Arnaud Legrand, George S. Markomanolis, Martin Quinson, Mark Stillwell, Frédéric Suter, Brice Videau.
    Toward Better Simulation of MPI Applications on Ethernet/TCP Networks
    4th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS13) held as part of SC13, Denver, Colorado, USA, November 2013 (acceptance rate: 30%). Article.
  • Maximiliano Geier, Lucas Nussbaum, Martin Quinson.
    On the Convergence of Experimental Methodologies for Distributed Systems: Where do we stand?
    4th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (Waters 2013) Article, HAL.

Reviewed Popular Scientific Articles

  • Martin Quinson, Jean-Christophe Bach.
    L'informatique nomade, c'est la liberté.
    Published in January on Interstices (website toward scientific popularization and outreach published by Inria).
    Available online and also on HAL.

Research Reports

  • Martin Quinson, Gérald Oster.
    The Programmer’s Learning Machine: A Teaching System To Learn Programming.
    Article format (nicer to read), INRIA RR-8430, HAL.
    This paper was rejected (again) from SIGCSE'14 because of the lack of evaluation. We are progressing, but not there yet.

2012

Peer-reviewed conference/proceedings

  • Martin Quinson, Cristian Rosa, Christophe Thiéry.
    Parallel Simulation of Peer-to-Peer Systems.
    12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'12), Ottawa, Canada, May 13-16, 2012.
    (also available as INRIA RR-7653), HAL, Article, Slides, tgz of experimental settings, git of experimental settings

  • Laurent Bobelin, Arnaud Legrand, Márquez Alejandro González David, Pierre Navarro, Martin Quinson, Frédéric Suter, Christophe Thiery.
    Scalable Multi-Purpose Network Representation for Large Scale Distributed System Simulation.
    12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'12), Ottawa, Canada, May 13-16, 2012.
    (also available as INRIA RR-7829), HAL, Article, Slides, tgz of experimental settings, git of experimental settings

2011

Peer-reviewed conference/proceedings

  • Frédéric Desprez, George S. Markomanolis, Martin Quinson, Frédéric Suter.
    Assessing the Performance of MPI Applications Through Time-Independent Trace Replay.
    Second International Workshop on Parallel Software Tools and Tool Infrastructures (PSTI 2011). Held in conjunction with ICPP 2011, the 40th International Conference on Parallel Processing, Taipei, Taiwan, September 13-16, 2011.
    Article, Slides, HAL.

  • Stephan Merz, Martin Quinson, Cristian Rosa.
    SimGrid MC: Verification Support for a Multi-API Simulation Platform.
    31st IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FMOODS/FORTE 2011), June 2011, Reykjavik, Iceland. Lecture Notes in Computer Science 6722, pp. 274-288.
    Article, Slides, HAL.

  • Pierre-Nicolas Clauss, Mark Stillwell, Stéphane Genaud, Frédéric Suter, Henri Casanova, Martin Quinson.
    Single Node On-Line Simulation of MPI Applications with SMPI.
    25th IEEE International Parallel & Distributed Processing Symposium (IPDPS'11), May 16-20, 2011, Anchorage (Alaska) USA.
    Article, Slides, HAL.

  • Marion Guthmuller, Lucas Nussbaum, Martin Quinson.
    Émulation d'applications distribuées sur des plates-formes virtuelles simulées.
    Rencontres francophones du Parallélisme (RenPar'20), May 10-13, 2011, Saint Malo, France.
    Article, Slides, HAL.

Research Reports

  • Martin Quinson, Gérald Oster.
    The Java Learning Machine: A Learning Management System Dedicated To Computer Science Education.
    INRIA RR-7537, HAL.
    This paper was rejected from ITiCSE 2011. The reviews are quite informatives, I'm really thankful to the reviewers.

  • Olivier Beaumont, Laurent Bobelin, Henri Casanova , Pierre-Nicolas Clauss, Bruno Donassolo, Lionel Eyraud-Dubois, Stéphane Genaud, Sascha Hunold, Arnaud Legrand, Martin Quinson, Cristian Rosa, Lucas Schnorr, Mark Stillwell, Frédéric Suter, Christophe Thiery, Pedro Velho, Jean-Marc Vincent, Young J. Won.
    Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems.
    INRIA RR-7761, HAL.

Invited Presentations

  • H*C: Performance Everywhere (or, computing getting high), Invited talk to workshop ``Challenges & Pitfalls of Performance Assurance'', associated to CECMG'11, Munchen, Germany, March 2011. Slides

2010

Peer-reviewed conference/proceedings

  • Sabina Akhtar, Stephan Merz, Martin Quinson.
    A High-Level Language for Modeling Algorithms and their Properties.
    13th Brazilian Symposium on Formal Methods (SBMF'10), Natal, Rio Grande do Norte, Brazil, Nov 8-12.
    Article, Slides, HAL.

  • Laurent Bobelin, Martin Quinson and Frédéric Suter.
    Synthesizing Generic Experimental Environments for Simulation.
    5th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC'10), Fukuoka, Japan, Nov 4-6.
    Article, Slides, HAL.

  • Cristian Rosa, Stephan Merz, Martin Quinson.
    A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction.
    10th International Workshop on Automated Verification of Critical Systems (AVOCS 2010),
    Article, Slides, HAL.

  • Sabina Akhtar, Stephan Merz, Martin Quinson.
    Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms.
    Actes des deuxièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, March 2010, Pau, France.
    Article, HAL.

Invited Presentations and Tutorials

  • Experimenting HPC Systems with Simulation. Tutorial at the 8th ACM/IEEE International Conference on High Performance Computing & Simulation (HPCS'10), Caen, France, June 28 2010. Slides

  • Performance Assessment of Distributed Scientific Applications, Invited talk to workshop ``Challenges & Pitfalls of Performance Assurance'', associated to CECMG'10, Darmstadt, Germany, March 2010. Slides

2009

Articles in peer-reviewed journal

  • Jens Gustedt, Emmanuel Jeannot and Martin Quinson.
    Experimental Validation in Large-Scale Systems: a Survey of Methodologies.
    Parallel Processing Letters, 19(3):399--418, 2009.
    Article, HAL.

Peer-reviewed conference/proceedings

  • Martin Quinson and Flavien Vernier.
    Byte-Range Asynchronous Locking in Distributed Settings.
    17th Euromicro Intl Conf. on Parallel, Distributed and network-based Processing (PDP'09), Weimar, Germany, Feb 18-20 2009.
    Article, Slides, HAL.

Invited Presentations and Congres communications

  • SimGrid: a Generic Framework for Large-Scale Distributed Experiments. Invited talk to the 9th ACM/ IEEE International conference on Peer-to-peer computing (P2P'09), Seattle, USA, Sept 2009.

  • Cristian Rosa, Martin Quinson and Stephan Merz.
    Model checking distributed applications with GRAS.
    Exploiting Concurrency Efficiently and Correctly (EC2) workshop, associated to the 20th International Conference on Computer Aided Verification (CAV'09), Grenoble, France, 2009.
    Slides, also available as research report INRIA RR-7052.

2008

Peer-reviewed conference/proceedings

  • Henri Casanova, Arnaud Legrand and Martin Quinson.
    SimGrid: a Generic Framework for Large-Scale Distributed Experiments.
    10th IEEE International Conference on Computer Modeling and Simulation, Cambrige, UK, 2008.
    Article, Slides, HAL.

Tutorials

  • The SimGrid Framework for Research on Large-Scale Distributed Systems. Tutorial at the 9th Intl Conf. on Parallel and Distributed Computing, Applications and Technologies (PDCAT'08), Dunedin, New-Zeeland, Dec 2008.

  • Simulation for Large-Scale Distributed Computing Research. Tutorial at the 8th ACM/IEEE Intl Symposium on Cluster Computing and the Grid (CCGrid'08), Lyon, France, May 2008.

Technical Reports

  • Frincu Marc-Eduard, Quinson Martin, Suter Frédéric.
    Handling Very Large Platforms with the New SimGrid Platform Description Formalism.
    INRIA RT-0348, HAL.

2007

Peer-reviewed conference/proceedings

  • Lionel Eyraud Dubois, Arnaud Legrand, Martin Quinson and Frédéric Vivien.
    A First Step Towards Automatically Building Network Representations.
    13th International EuroPar Conference, Rennes, France, August 2007, LNCS 4641:160--169 (Springer-Verlag).
    Article, Slides, HAL.

  • Lionel Eyraud-Dubois and Martin Quinson.
    Assessing the Quality of Automatically Built Network Representations.
    Workshop on Programming Models for Grid Computing, associated to CCGrid'07.
    Article, Slides, HAL.

Tutorials

  • Simulation for Large-Scale Distributed Computing Research. Tutorial at the 19th IASTED Intl Conf. on Parallel and Distributed Computing and Systems (PDCS'07), Boston, MA, USA, Oct 2007.

2006

Peer-reviewed conference/proceedings

  • Martin Quinson.
    GRAS: a Research and Development framework for Grid services.
    18th IASTED Intl Conf. on Parallel and Distributed Computing and Systems (PDCS06). Best paper award in software track.
    Article, Slides, HAL A previous longer version of this article is available as INRIA RR-5789.

Peer-reviewed Posters

  • Arnaud Legrand, Martin Quinson, Henri Casanova, Kayo Fujiwara
    The SimGrid Project
    The 15th IEEE International Symposium on High Performance Distributed Computing (HPDC'06).
    Poster, Abstract

Research Reports

  • Arnaud Legrand, Frédéric Mazoit, Martin Quinson.
    An Application-Level Network Mapper.
    INRIA RR-5792, Slides.

2004

Articles in peer-reviewed journal

  • Eddy Caron, Frédéric Desprez, Martin Quinson and Frédéric Suter.
    Performance Evaluation of Linear Algebra Routines.
    International Journal of High Performance Computing Applications, 18(3):373-390, 2004.
    Special issue on Clusters and Computational Grids for Scientific Computing (CCGSC'02).
    HAL

Peer-reviewed conference/proceedings

  • Arnaud Legrand and Martin Quinson.
    Automatic deployment of the Network Weather Service using the Effective Network View.
    High-Performance Grid Computing Workshop, associated to IPDPS'04.
    Article, Slides, LaTeX sources, HAL

2003

PhD Thesis

2002

Articles in peer-reviewed journal

  • Martin Quinson.
    Un outil de prédiction dynamique de performances dans un environnement de metacomputing.
    Technique et Science Informatique, 21(5):685--710, 2002. Special issue on RenPar'01.
    Article

Book Chapters

  • Eddy Caron, Frédéric Desprez, Eric Fleury, Frédéric Lombard, Jean-Marc Nicod, Martin Quinson and Frédéric Suter.
    Une approche hiérarchique des serveurs de calculs, in Calcul réparti à grande échelle, Hermès Science Paris, 2002. ISBN 2-7462-0472-X.

Peer-reviewed conference/proceedings

  • Philippe Combes, Frédéric Lombard, Martin Quinson and Frédéric Suter.
    A Scalable Approach to Network-Enabled Servers.
    7th Asian Computing Science Conference, Dec. 2002.

  • Eddy Caron, Frédéric Desprez, Frédéric Lombard, Jean-Marc Nicod, Martin Quinson and Frédéric Suter.
    A Scalable Approach to Network-Enabled Servers.
    8th International EuroPar Conference, Paderborn, Germany, August 2002, LNCS 2400:907--910 (Springer-Verlag).

  • Martin Quinson.
    Dynamic Performance Forecasting for Network-Enabled Servers in a Metacomputing Environment.
    International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems (PMEO-IPDS'02), associated to IPDPS'02, April 15-19 2002.
    Article

2001

Articles in peer-reviewed journal

  • Eddy Caron, Serge Chaumette, Sylvain Contassot-Vivier, Frédéric Desprez, Eric Fleury, Claude Gomez, Maurice Goursat, Emanuel Jeannot, Dominique Lazure, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, Martin Quinson, Pierre Ramet, Jean Roman, Franck Rubi, Serge Steer, Frédéric Suter, Gil Utard.
    Scilab to Scilab//, the OURAGAN Project.
    Parallel Computing, 11(27):1497--1519, 2001.
    HAL. Also available as INRIA RR-4320.

Peer-reviewed conference/proceedings

  • Frédéric Desprez, Martin Quinson and Frédéric Suter.
    Dynamic Performance Forecasting for Network Enabled Servers in a Metacomputing Environment.
    Intl Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'01), June 25-28 2001. CSREA Press 3:1421--1427.
    Also available as INRIA RR-4320.

  • Frédéric Lombard, Martin Quinson and Frédéric Suter.
    Une approche extensible des serveurs de calcul.
    13th Rencontres du Parallélisme des Architectures et des Systèmes (RenPar'01), pp79--84, Paris, France, April 24-26 2001. Paris, France, 2001.

  • Martin Quinson.
    Un outil de modélisation de performances dans un environnement de metacomputing.
    13th Rencontres du Parallélisme des Architectures et des Systèmes (RenPar'01), pp85--90, Paris, France, April 24-26 2001. Paris, France, 2001.

TODO: Here are some stuff I should fix about this page (sorry).

  • I should publish my technical settings (source code used for the experiments) and data alongside with the publication themselves. If you are interested in one of them in particular, please drop me an email so that I collect it for you.
  • I should try harder to collect the pdf of my old publications.
  • It would be interesting to publish the reviews I've got for these papers. It would help other selecting the venues where you can get good reviews, and they constitute some feedback on my work which actually increase the interest of my work. Well at least sometime. Check this rant for an argumentation.