CV of Martin Quinson

Martin Quinson. Computational Science of Computer Systems. Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2013. ⟨tel-00927316⟩

Martin Quinson. Découverte automatique des caractéristiques et capacités d'une plate-forme de calcul distribué. Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2003. Français. ⟨tel-00006169⟩

Gene Cooperman, Martin Quinson. Sthread: In-Vivo Model Checking of Multithreaded Programs. The Art, Science, and Engineering of Programming, aosa, Inc., In press, ⟨10.22152/programming-journal.org/2020/4/13⟩. ⟨hal-02449080⟩

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. ⟨10.1016/j.jlamp.2017.12.004⟩. ⟨hal-01900120⟩

Augustin Degomme, Arnaud Legrand, Georges Markomanolis, Martin Quinson, Mark Stillwell, et al.. Simulating MPI applications: the SMPI approach. IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2017, 28 (8), pp.14. ⟨10.1109/TPDS.2017.2669305⟩. ⟨hal-01415484v2⟩

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, Elsevier, 2014, 74 (10), pp.2899-2917. ⟨10.1016/j.jpdc.2014.06.008⟩. ⟨hal-01017319v2⟩

Martin Quinson, Jean-Christophe Bach. Idée reçue : l'informatique nomade, c'est la liberté !. Interstices, INRIA, 2013. ⟨hal-00794187⟩

Jens Gustedt, Emmanuel Jeannot, Martin Quinson. Experimental Methodologies for Large-Scale Systems: a Survey. Parallel Processing Letters, World Scientific Publishing, 2009, 19 (3), pp.399-418. ⟨10.1142/S0129626409000304⟩. ⟨inria-00364180v2⟩

Eddy Caron, Frédéric Desprez, Martin Quinson, Frédéric Suter. Performance Evaluation of Linear Algebra Routines. International Journal of High Performance Computing Applications, SAGE Publications, 2004, International Journal of High Performance Computing Applications, 18 (3), pp.373-390. ⟨10.1177/1094342004046046⟩. ⟨inria-00000234⟩

Eddy Caron, Serge Chaumette, Sylvain Contassot-Vivier, Frédéric Desprez, Eric Fleury, et al.. Scilab to Scilab//, the OURAGAN Project. Parallel Computing, Elsevier, 2001, 27 (11), pp.1497-1519. ⟨10.1016/S0167-8191(01)00101-6⟩. ⟨inria-00000277⟩

Loic Guegan, Betsegaw Amersho, Anne-Cécile Orgerie, Martin Quinson. A Large-Scale Wired Network Energy Model for Flow-Level Simulations. AINA 2019 - 33rd International Conference on Advanced Information Networking and Applications, Mar 2019, Matsue, Japan. pp.1047-1058, ⟨10.1007/978-3-030-15032-7_88⟩. ⟨hal-02020045v2⟩

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. pp.224-241, ⟨10.1007/978-3-030-21759-4_13⟩. ⟨hal-02109769⟩

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. pp.145-156, ⟨10.1145/3200921.3200932⟩. ⟨hal-01762540⟩

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. ⟨hal-01856657⟩

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. ⟨hal-01891513⟩

The Anh Pham, Thierry Jéron, Martin Quinson. Verifying MPI Applications with SimGridMC. Correctness 2017 - First International Workshop on Software Correctness for HPC Applications, Nov 2017, Denver, United States. pp.28-33, ⟨10.1145/3145344.3145345⟩. ⟨hal-01632421⟩

Anne-Cécile Orgerie, Betsegaw Lemma Amersho, Timothée Haudebourg, Martin Quinson, Myriana Rifai, et al.. Simulation Toolbox for Studying Energy Consumption in Wired Networks. CNSM: International Conference on Network and Service Management, Nov 2017, Tokyo, Japan. pp.1-5. ⟨hal-01630226⟩

Franz Heinrich, Tom Cornebize, Augustin Degomme, Arnaud Legrand, Alexandra Carpen-Amarie, et al.. Predicting the Energy Consumption of MPI Applications at Scale Using a Single Node. Cluster 2017, IEEE, Sep 2017, Hawaii, United States. ⟨hal-01523608v2⟩

Issam Raïs, Anne-Cécile Orgerie, Martin Quinson. Impact of Shutdown Techniques for Energy-Efficient Cloud Data Centers. ICA3PP: 16th International Conference on Algorithms and Architectures for Parallel Processing, Dec 2016, Granada, Spain. pp.203-210. ⟨hal-01362530⟩

Martin Quinson, Gérald Oster. A Teaching System To Learn Programming: the Programmer's Learning Machine. ACM Conference on Innovation and Technology in Computer Science Education 2015, Jul 2015, Vilnius, Lithuania. ⟨10.1145/2729094.2742626⟩. ⟨hal-01238377⟩

Marie Duflot, Martin Quinson, Florent Masseglia, Didier Roy, Julien Vaubourg, et al.. When sharing computer science with everyone also helps avoiding digital prejudices: Escape computer dirty magic: learn Scratch !. SCRATCH, Aug 2015, Amsterdam, Netherlands. ⟨hal-01154767⟩

Marion Guthmuller, Martin Quinson, 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), Mar 2015, Turku, Finland. ⟨hal-01097204⟩

Marion Guthmuller, Martin Quinson. System-level State Equality Detection for the Dynamic Verification of Distributed Applications. EuroSys - 9th European Conference on Computer Systems, Apr 2014, Amsterdam, Netherlands. ⟨hal-00997941⟩

Maximiliano Geier, Lucas Nussbaum, Martin Quinson. On the Convergence of Experimental Methodologies for Distributed Systems: Where do we stand?. WATERS - 4th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2013, Paris, France. ⟨hal-00907887⟩

Paul Bedaride, Augustin Degomme, Stéphane Genaud, Arnaud Legrand, George Markomanolis, et al.. Toward Better Simulation of MPI Applications on Ethernet/TCP Networks. PMBS13 - 4th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Nov 2013, Denver, United States. ⟨hal-00919507⟩

Laurent Bobelin, Arnaud Legrand, Márquez David, Pierre Navarro, Martin Quinson, et al.. Scalable Multi-Purpose Network Representation for Large Scale Distributed System Simulation. CCGrid 2012 -- The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2012, Ottawa, Canada. pp.19. ⟨hal-00650233v2⟩

Pierre-Nicolas Clauss, Mark Stillwell, Stéphane Genaud, Frédéric Suter, Henri Casanova, et al.. Single Node On-Line Simulation of MPI Applications with SMPI. International Parallel & Distributed Processing Symposium, IEEE, May 2011, Anchorange (AK), United States. ⟨inria-00527150⟩

Frédéric Desprez, George 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, Sep 2011, Taipei, Taiwan. ⟨inria-00546992⟩

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 2011, Saint Malo, France. ⟨inria-00565341⟩

Martin Quinson, Cristian Rosa, Christophe Thiery. Parallel Simulation of Peer-to-Peer Systems. CCGrid 2012 -- The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2011, Ottawa, Canada. pp.668-675, ⟨10.1109/CCGrid.2012.115⟩. ⟨inria-00602216v4⟩

Stephan Merz, Martin Quinson, Cristian Rosa. SimGrid MC: Verification Support for a Multi-API Simulation Platform. 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.274-288, ⟨10.1007/978-3-642-21461-5_18⟩. ⟨inria-00593505⟩

Sabina Akhtar, Stephan Merz, Martin Quinson. A High-Level Language for Modeling Algorithms and their Properties. 13th Brazilian Symposium on Formal Methods - SBMF'2010, Nov 2010, Natal, Brazil. ⟨inria-00537779⟩

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, Mar 2010, Pau, France. ⟨inria-00544137⟩

Martin Quinson, Laurent Bobelin, Frédéric Suter. Synthesizing Generic Experimental Environments for Simulation. Fifth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, Nov 2010, Fukuoka, Japan. ⟨inria-00502839⟩

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, Sep 2010, Düsseldorf, Germany. ⟨inria-00532889⟩

Cristian Rosa, Martin Quinson, Stephan Merz. Model-checking Distributed Applications with GRAS. Exploiting Concurrency Efficiently and Correctly - EC² workshop associated to CAV 2009, Jun 2009, Grenoble, France. ⟨inria-00378374v2⟩

Martin Quinson, Flavien Vernier. Byte-Range Asynchronous Locking in Distributed Settings. 17th Euromicro International Conference on Parallel, Distributed and network-based Processing - PDP 2009, Feb 2009, Weimar, Germany. ⟨inria-00338189⟩

Martin Quinson. SimGrid: a Generic Framework for Large-Scale Distributed Experiments. 9th International conference on Peer-to-peer computing - IEEE P2P 2009, Sep 2009, Seattle, United States. ⟨inria-00435802⟩

Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien. A First Step Towards Automatically Building Network Representations. 13th International Euro-Par Conference - Euro-Par 2007, Aug 2008, Rennes, France. pp.160-169, ⟨10.1007/978-3-540-74466-5_18⟩. ⟨inria-00407692⟩

Henri Casanova, Arnaud Legrand, Martin Quinson. SimGrid: a Generic Framework for Large-Scale Distributed Experiments. 10th IEEE International Conference on Computer Modeling and Simulation - EUROSIM / UKSIM 2008, Apr 2008, Cambrige, United Kingdom. ⟨inria-00260697⟩

Lionel Eyraud-Dubois, Martin Quinson. Assessing the Quality of Automatically Built Network Representations. Workshop on Programming Models for Grid Computing - organized at IEEE/ACM International Symposium on Cluster Computing and the Grid - CCGrid 2007, May 2007, Rio de Janeiro, Brazil. pp.795 - 800, ⟨10.1109/CCGRID.2007.25⟩. ⟨inria-00188408⟩

Martin Quinson. GRAS: a Research and Development Framework for Grid and P2P Infrastructures. 18th IASTED International Conference on PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, Nov 2006, Dallas, United States. ⟨inria-00108389⟩

Martin Quinson, Henri Casanova, Arnaud Legrand, Kayo Fujiwara. The SIMGRID Project: Simulation and Deployment of Distributed Applications. The 15th IEEE International Symposium on High Performance Distributed Computing (HPDC'06), Jun 2006, Paris, France. ⟨inria-00108428⟩

Arnaud Legrand, Martin Quinson. Automatic deployment of the Network Weather Service using the Effective Network View. High-Performance Grid Computing Workshop, associated to IPDPS'04, Apr 2004, Santa Fe, New Mexico, USA. ⟨inria-00119253⟩

Eddy Caron, Frédéric Desprez, Frédéric Lombard, Jean-Marc Nicod, Martin Quinson, et al.. A Scalable Approach to Network Enabled Servers. 8th International EuroPar Conference, 2002, Paderborn, Germany. pp.4. ⟨hal-01431508⟩

Eddy Caron, Frédéric Desprez, Eric Fleury, Frédéric Lombard, Jean-Marc Nicod, et al.. Une approche hiérarchique des serveurs de calculs. Françoise Baude. Calcul réparti à grande échelle, Hermès Science Paris, pp.23, 2002, 2-7462-0472-X. ⟨hal-01431513⟩

Franz Heinrich, Alexandra Carpen-Amarie, Augustin Degomme, Sascha Hunold, Arnaud Legrand, et al.. Predicting the Performance and the Power Consumption of MPI Applications With SimGrid. 2017. ⟨hal-01446134⟩

Marion Guthmuller, Gabriel Corona, Martin Quinson. System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications. 2015. ⟨hal-01558049⟩

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. 2013. ⟨hal-00926437⟩

Antoine Rousseau, Aurélie Darnaud, Brice Goglin, Céline Acharian, Christine Leininger, et al.. Médiation Scientifique : une facette de nos métiers de la recherche. [Interne] none. 2013, pp.34. ⟨hal-00804915⟩

Paul Bedaride, Stéphane Genaud, Augustin Degomme, Arnaud Legrand, George Markomanolis, et al.. Improving Simulations of MPI Applications Using A Hybrid Network Model with Topology and Contention Support. [Research Report] RR-8300, INRIA. 2013, pp.22. ⟨hal-00821446⟩

Martin Quinson, Gérald Oster. The Java Learning Machine: A Learning Management System Dedicated To Computer Science Education. [Research Report] RR-7537, INRIA. 2011. ⟨inria-00565344⟩

Olivier Beaumont, Laurent Bobelin, Henri Casanova, Pierre-Nicolas Clauss, Bruno Donassolo, et al.. Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems. [Research Report] RR-7761, INRIA. 2011, pp.36. ⟨inria-00631141⟩

Cristian Rosa, Martin Quinson, Stephan Merz. Model-checking Distributed Applications with GRAS. [Research Report] RR-7052, INRIA. 2009, pp.11. ⟨inria-00422159⟩

Marc-Eduard Frincu, Martin Quinson, Frédéric Suter. Handling Very Large Platforms with the New SimGrid Platform Description Formalism. [Technical Report] RT-0348, INRIA. 2008, pp.27. ⟨inria-00256883v3⟩

Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien. A First Step Towards Automatically Building Network Representations. [Research Report] LIP RR-2007-08, INRIA, LIP. 2007. ⟨inria-00130734v3⟩

Martin Quinson. GRAS: a Research and Development framework for Grid services. [Research Report] RR-5789, INRIA. 2006, pp.24. ⟨inria-00070232⟩

Arnaud Legrand, Frédéric Mazoit, Martin Quinson. An Application-Level Network Mapper. [Research Report] RR-5792, INRIA. 2006. ⟨inria-00071214⟩

Eddy Caron, Philippe Combes, Sylvain Contassot-Vivier, Frédéric Desprez, Jean-Marc Nicod, et al.. A Scalable Approach to Network Enabled Servers. [Research Report] RR-2002-21, LIP - ENS Lyon. 2002. ⟨hal-01431507⟩

Eddy Caron, Philippe Combes, Sylvain Contassot-Vivier, Frédéric Desprez, Frédéric Lombard, et al.. A Scalable Approach to Network Enabled Servers. [Research Report] RR-4501, INRIA. 2002. ⟨inria-00072087⟩

Eddy Caron, Serge Chaumette, Sylvain Contassot-Vivier, Frédéric Desprez, Eric Fleury, et al.. SCILAB to SCILAB// - The Ouragan Project. [Research Report] RR-2001-24, LIP - ENS Lyon. 2001. ⟨hal-01436419⟩

Frédéric Desprez, Martin Quinson, Frédéric Suter, Eric Fleury, Emmanuel Jeannot, et al.. SCILAB to SCILAB// - The Ouragan Project. [Research Report] RR-4203, INRIA. 2001. ⟨inria-00072419⟩

Frédéric Desprez, Martin Quinson, Frédéric Suter. Dynamic Performance Forecasting for Network-Enabled Servers in a Heterogeneous Environment. [Research Report] RR-4320, INRIA. 2001. ⟨inria-00072267⟩