Complete Publications List

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 HAL directly. Jump directly to the year you want: [2024] [2023] [2022] [2021] [2020] [2019] [2018] [2017] [2016] [2015] [2014] [2013] [2012] [2011] [2000-2010]

2024

Peer-reviewed workshop proceedings

  • Léo Cosseron, Louis Rilling, Matthieu Simonin, Martin Quinson.
    Simulating the Network Environment of Sandboxes to Hide Virtual Machine Introspection Pauses.
    EuroSec'24 -- 17th European Workshop on Systems Security
    HAL.

2023

Peer-reviewed conference/proceedings

  • Joseph Paturel, Clément Quinson, Martin Quinson, Simon Rokicki.
    SmolPhone: a smartphone with energy limits.
    IGSC 2023 -- 14th International conference on Green and Sustainable Computing, Oct.
    HAL, slides.

  • Clément Courageux-Sudan, Loic Anne-Cécile Orgerie, Martin Quinson.
    A Wi-Fi Energy Model for Scalable Simulation.
    WoWMoM 2023 -- 24th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, Jun.
    HAL.

2022

Peer-reviewed conference/proceedings

  • Clément Courageux-Sudan, Loic Guegan, Anne-Cécile Orgerie, Martin Quinson.
    A Flow-Level Wi-Fi Model for Large Scale Network Simulation.
    MSWiM 2022 - International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Oct.
    HAL.

2021

Peer-reviewed conference/proceedings

  • Clément Courageux-Sudan, Anne-Cécile Orgerie, Martin Quinson.
    Automated performance prediction of microservice applications using simulation.
    MASCOTS: International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct.
    HAL.
  • Mathieu Laurent, Emmanuelle Saillard, Martin Quinson.
    The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools Evaluation.
    Correctness 2021: Fifth International Workshop on Software Correctness for HPC Applications, Nov.
    HAL.

Posters

  • Daniel Charlet, Karol Desnos, Mickaël Dardaillon, André Ferrari, Chiara Ferrari, Nicolas Gac, Jean-Francois Nezan, François Orieux, Simon Prunet, Martin Quinson, Frédéric Suter, Cyril Tasse, Cedric Dumez-Viou.
    Dataflow Algorithm aRchitecture co-design of SKA pipeline for Exascale Radio Astronomy.
    ISC High Performance conference, Jun.
    HAL.

2020

Articles in peer-reviewed journal

  • Gene Cooperman, Martin Quinson.
    Sthread: In-Vivo Model Checking of Multithreaded Programs.
    The Art, Science, and Engineering of Programming, , 2020, Vol. 4, Issue 3, Article 13. HAL.

2019

Peer-reviewed conference/proceedings

  • Loïc Guegan, Betsegaw Lemma Amersho, Anne-Cécile Orgerie, Martin Quinson.
    A Large-Scale Wired Network Energy Model for Flow-Level Simulation.
    The 33rd International Conference on Advanced Information Networking and Applications, March 2019, Matsue, Japan.
    Article, HAL.

  • The Anh Pham, Thierry Jéron, Martin Quinson.
    Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs.
    FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark.
    HAL.

2018

Articles in peer-reviewed journal

  • Marion Guthmuller, Gabriel Corona, Martin Quinson.
    System-level state equality detection for the formal dynamic verification of legacy distributed applications.
    Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 96, pp.1 -11.
    Article, HAL.
  • Issam Raïs, Anne-Cécile Orgerie, Martin Quinson, Laurent Lefèvre.
    Quantifying the Impact of Shutdown Techniques for Energy-Efficient Data Centers.
    Concurrency and Computation: Practice and Experience, Wiley, 2018, 30 (17), pp.1-13.
    Article, HAL.

Peer-reviewed conference/proceedings

  • Henri Casanova, Arnaud Legrand, Martin Quinson, Frédéric Suter.
    SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation.
    EduHPC-18 - Workshop on Education for High-Performance Computing, Nov 2018, Dallas, United States. pp.1-10.
    Article, HAL.
  • Benjamin Camus, Anne-Cécile Orgerie, Martin Quinson.
    Co-simulation of FMUs and Distributed Applications with SimGrid.
    SIGSIM-PADS'18 : 2018 SIGSIM Principles of Advanced Discrete Simulation, May 2018, Rome, Italy. ACM, pp.145-156.
    Article, Slides, HAL.
  • Benjamin Camus, Fanny Dufossé, Anne Blavette, Martin Quinson, Anne-Cécile Orgerie.
    Network-aware energy-efficient virtual machine management in distributed Cloud infrastructures with on-site photovoltaic production.
    SBAC-PAD 2018 - International Symposium on Computer Architecture and High Performance Computing, Sep 2018, Lyon, France. pp.1-8.
    Article, HAL.

2017

Articles in peer-reviewed journal

  • Augustin Degomme, Arnaud Legrand, Mark Markomanolis, Martin Quinson, Mark Stillwell, Frédéric Suter.
    Simulating MPI applications: the SMPI approach.
    IEEE Transactions on Parallel and Distributed Systems (TPDS), February 2017.
    Article, HAL.

Peer-reviewed conference/proceedings

  • The Anh Pham, Thierry Jéron, Martin Quinson.
    Verifying MPI Applications with MCSimGrid
    First International Workshop on Software Correctness for HPC Applications (Correctness'17) associated to SuperComputing'17, November 2017.
    HAL.

  • Christian Heinrich, Tom Cornebize, Augustin Degomme, Arnaud Legrand, Alexandra Carpen-Amarie, Sascha Hunold, Anne-Cécile Orgerie and Martin Quinson.
    Predicting the Energy Consumption of MPI Applications at Scale Using a Single Node
    Proceedings of the IEEE International Conference on Cluster Computing (Cluster'17)
    Article, HAL.

  • Anne-Cécile Orgerie, Betsegaw Lemma Amersho, Timothée Haudebourg, Martin Quinson, Myriana Rifai, Dino Lopez Pacheco, Laurent Lefèvre.
    Simulation Toolbox for Studying Energy Consumption in Wired Networks.
    Intl Conference on Network and Service Management (CNSM'17), November 2017.
    HAL.

2016

Peer-reviewed conference/proceedings

  • Issam Rais, Anne-Cécile Orgerie, Martin Quinson.
    Impact of Shutdown Techniques for Energy-Efficient Cloud Data Centers.
    International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), Granada, Spain. December 2016.
    HAL.

 Peer-reviewed Posters

  • Martin Quinson, Gérald Oster and Matthieu Nicolas.
    Collecting Large Programmers' Learning Traces
    French Corner at the 11th annual European Conference for Technology-Enhanced Learning (EC-TEL), September 2016, Lyon.
    poster.

2015

Peer-reviewed conference/proceedings

  • Martin Quinson, Gérald Oster.
    A Teaching System To Learn Programming: the Programmer’s Learning Machine.
    20th ACM SIGCSE Conference on Innovation and Technology in Computer Science Education (ItiCSE), Lituania, July 2015.
    Article, Slides, HAL.

  • Marion Guthmuller, Martin Quinson and Gabriel Corona.
    System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications.
    Formal Approaches to Parallel and Distributed Systems (4PAD) -- Special Session of Parallel, Distributed and network-based Processing (PDP), March 2015.
    Article, HAL.

  • Marie Duflot, Martin Quinson, Florent Masseglia, Didier Roy, Julien Vaubourg, Thierry Viéville.
    When sharing computer science with everyone also helps avoiding digital prejudices (escape Computer Dirty Magic, Learn Scratch!)
    7th international Scratch conference, Amsterdam, August 2015.
    Article, HAL.

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) Volume 74, Issue 10, October 2014.
    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, HAL.
  • 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.
  • Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter.
    SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems.
    Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE 2013). arxiv, HAL.

Reviewed Popular Scientific Articles

  • Martin Quinson, Jean-Christophe Bach.
    L'informatique nomade, c'est la liberté.
    Published in January on Interstices (webzine 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. An improved version was published in 2015 at the ItiCSE conference.

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

Older research (2000-2010)

Jump directly to the year you want: [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] (back to the top)

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.