Nombre de documents

52

CV de Martin Quinson


Communication dans un congrès27 documents

  • Issam Rais, 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, 2016. <hal-01362530>
  • 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 !. Scratch2015AMS, Aug 2015, Amsterdam, Netherlands. 2015. <hal-01154767>
  • 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. ACM, <http://www.iticse2015.mii.vu.lt/>. <10.1145/2729094.2742626>. <hal-01238377>
  • 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. 2015. <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. ACM, 2014. <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. 2013. <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. 2013. <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, 2012. <hal-00650233v2>
  • 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. 2011. <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. 2011. <inria-00565341>
  • Stephan Merz, Martin Quinson, Cristian Rosa. SimGrid MC: Verification Support for a Multi-API Simulation Platform. Roberto Bruni and Juergen Dingel. 31st IFIP International Conference on Formal Techniques for Networked and Distributed Systems, Jun 2011, Reykjavik, Iceland. Springer, 6722, pp.274-288, 2011, Lecture Notes in Computer Science; Proceedings of Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference - FORTE 2011. <10.1007/978-3-642-21461-5_18>. <inria-00593505>
  • 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. IEEE, pp.668-675, 2012, CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing. <10.1109/CCGrid.2012.115>. <inria-00602216v4>
  • 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, May 2011, Anchorange (AK), United States. 2011. <inria-00527150>
  • 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. 2010. <inria-00537779>
  • Sabina Akhtar, Stephan Merz, Martin Quinson. Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms. Eric Cariou, Laurence Duchien, Yves Ledru. 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. 2010. <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. 2010. <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. 2010. <inria-00532889>
  • 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. 2009. <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. IEEE, 2009. <inria-00435802>
  • Cristian Rosa, Martin Quinson, Stephan Merz. Model-checking Distributed Applications with GRAS. Exploiting Concurrency Efficiently and Correctly - EC2 workshop associated to CAV 2009, Jun 2009, Grenoble, France. 2009. <inria-00378374v2>
  • 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. Springer Berlin / Heidelberg, 4641/2007, pp.160-169, 2007, Lecture Notes in Computer Science; Euro-Par 2007 Parallel Processing. 13th International Euro-Par Conference, Rennes, France, August 28-31, 2007 Proceedings. <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. IEEE, 2008. <inria-00260697>
  • Lionel Eyraud-Dubois, Martin Quinson. Assessing the Quality of Automatically Built Network Representations. Alfredo Goldman, Arnaud Legrand, Denis Trystram, Renato Cerqueira. 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. IEEE Computer Society, pp.795 - 800, 2007, <10.1109/CCGRID.2007.25>. <inria-00188408>
  • Martin Quinson. GRAS: a Research and Development Framework for Grid and P2P Infrastructures. IASTED. 18th IASTED International Conference on PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, Nov 2006, Dallas, United States. 2006. <inria-00108389>
  • Martin Quinson, Henri Casanova, Arnaud Legrand, Kayo Fujiwara. The SIMGRID Project: Simulation and Deployment of Distributed Applications. IEEE. The 15th IEEE International Symposium on High Performance Distributed Computing (HPDC'06), Jun 2006, Paris, France. 2006. <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, 2004. <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. B. Monien and R. Feldmann. 8th International EuroPar Conference, 2002, Paderborn, Germany. Springer-Verlag, 2400, pp.4, Lecture Notes in Computer Science. <hal-01431508>

HDR1 document

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

Article dans une revue5 documents

  • 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>

Rapport14 documents

  • 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] INRIA. 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, Frédéric Lombard, et al.. A Scalable Approach to Network Enabled Servers. [Research Report] RR-4501, INRIA. 2002. <inria-00072087>
  • 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>
  • 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>
  • 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>
  • 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>

Thèse1 document

  • 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>

Pré-publication, Document de travail3 documents

  • 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>
  • Augustin Degomme, Arnaud Legrand, Mark Markomanolis, Martin Quinson, Mark Stillwell, et al.. Simulating MPI applications: the SMPI approach. Under review in IEEE TPDS. 2016. <hal-01415484>
  • 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. 4 pages, submission to WSSSPE'13. 2013. <hal-00926437>

Chapitre d'ouvrage1 document

  • 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>