Martin Quinson

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 21

Top Venues

SIGSIM-PADS

IGSC

J. Log. Algebraic Methods Program.

CoRR

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Léo Cosseron, Louis Rilling, Matthieu Simonin, Martin Quinson
Simulating the Network Environment of Sandboxes to Hide Virtual Machine Introspection Pauses. EuroSec@EUROSYS (2024)
Clément Courageux-Sudan, Anne-Cécile Orgerie, Martin Quinson
A Wi-Fi Energy Model for Scalable Simulation. WoWMoM (2023)
Joseph Paturel, Clément Quinson, Martin Quinson, Simon Rokicki
SmolPhone: a smartphone with energy limits. IGSC (2023)
Clément Courageux-Sudan, Loïc Guegan, Anne-Cécile Orgerie, Martin Quinson
A Flow-Level Wi-Fi Model for Large Scale Network Simulation. MSWiM (2022)
Adrien Gougeon, Benjamin Camus, François Lemercier, Martin Quinson, Anne Blavette, Anne-Cécile Orgerie
Co-Simulation of Power Systems and Computing Systems using the FMI Standard. IM (2021)
Mathieu Laurent, Emmanuelle Saillard, Martin Quinson
The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation. Correctness@SC (2021)
Clément Courageux-Sudan, Anne-Cécile Orgerie, Martin Quinson
Automated performance prediction of microservice applications using simulation. MASCOTS (2021)
Gene Cooperman, Martin Quinson
Sthread: In-Vivo Model Checking of Multithreaded Programs. CoRR (2020)
Gene Cooperman, Martin Quinson
Sthread: In-Vivo Model Checking of Multithreaded Programs. Art Sci. Eng. Program. 4 (3) (2020)
The Anh Pham, Thierry Jéron, Martin Quinson
Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. FORTE (2019)
Loic Guegan, Betsegaw Lemma Amersho, Anne-Cécile Orgerie, Martin Quinson
A Large-Scale Wired Network Energy Model for Flow-Level Simulations. AINA (2019)
Henri Casanova, Arnaud Legrand, Martin Quinson, Frédéric Suter
SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation. EduHPC@SC (2018)
Marion Guthmuller, Gabriel Corona, Martin Quinson
System-level state equality detection for the formal dynamic verification of legacy distributed applications. J. Log. Algebraic Methods Program. 96 (2018)
Issam Raïs, Anne-Cécile Orgerie, Martin Quinson, Laurent Lefèvre
Quantifying the impact of shutdown techniques for energy-efficient data centers. Concurr. Comput. Pract. Exp. 30 (17) (2018)
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)
Benjamin Camus, Anne-Cécile Orgerie, Martin Quinson
Co-simulation of FMUs and Distributed Applications with SimGrid. SIGSIM-PADS (2018)
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. CNSM (2017)
Augustin Degomme, Arnaud Legrand, George S. Markomanolis, Martin Quinson, Mark Stillwell, Frédéric Suter
Simulating MPI Applications: The SMPI Approach. IEEE Trans. Parallel Distributed Syst. 28 (8) (2017)
The Anh Pham, Thierry Jéron, Martin Quinson
Verifying MPI Applications with SimGridMC. CORRECTNESS@SC (2017)
Franz Christian Heinrich, Tom Cornebize, Augustin Degomme, Arnaud Legrand, Alexandra Carpen-Amarie, Sascha Hunold, Anne-Cécile Orgerie, Martin Quinson
Predicting the Energy-Consumption of MPI Applications at Scale Using Only a Single Node. CLUSTER (2017)
Issam Raïs, Anne-Cécile Orgerie, Martin Quinson
Impact of Shutdown Techniques for Energy-Efficient Cloud Data Centers. ICA3PP (2016)
Martin Quinson, Gérald Oster
A Teaching System to Learn Programming: the Programmer's Learning Machine. ITiCSE (2015)
Marion Guthmuller, Martin Quinson, Gabriel Corona
System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications. PDP (2015)
Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter
Versatile, scalable, and accurate simulation of distributed applications and platforms. J. Parallel Distributed Comput. 74 (10) (2014)
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. PMBS@SC (2013)
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. CoRR (2013)
Laurent Bobelin, Arnaud Legrand, David A. González Márquez, Pierre Navarro, Martin Quinson, Frédéric Suter, Christophe Thiery
Scalable Multi-purpose Network Representation for Large Scale Distributed System Simulation. CCGRID (2012)
Martin Quinson, Cristian Daniel Rosa, Christophe Thiery
Parallel Simulation of Peer-to-Peer Systems. CCGRID (2012)
Stephan Merz, Martin Quinson, Cristian Daniel Rosa
SimGrid MC: Verification Support for a Multi-API Simulation Platform. FMOODS/FORTE (2011)
Frederic Desprez, George S. Markomanolis, Martin Quinson, Frédéric Suter
Assessing the Performance of MPI Applications through Time-Independent Trace Replay. ICPP Workshops (2011)
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. IPDPS (2011)
Martin Quinson, Laurent Bobelin, Frédéric Suter
Synthesizing Generic Experimental Environments for Simulation. 3PGCIC (2010)
Sabina Akhtar, Stephan Merz, Martin Quinson
A High-Level Language for Modeling Algorithms and Their Properties. SBMF (2010)
Martin Quinson
Tutorial I: Simulation for large-scale distributed computing research. HPCS (2010)
Cristian Daniel Rosa, Stephan Merz, Martin Quinson
A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Martin Quinson
SimGrid: a Generic Framework for Large-Scale Distributed Experiments. Peer-to-Peer Computing (2009)
Jens Gustedt, Emmanuel Jeannot, Martin Quinson
Experimental Methodologies for Large-Scale Systems: a Survey. Parallel Process. Lett. 19 (3) (2009)
Martin Quinson, Flavien Vernier
Byte-Range Asynchronous Locking in Distributed Settings. PDP (2009)
Henri Casanova, Arnaud Legrand, Martin Quinson
SimGrid: A Generic Framework for Large-Scale Distributed Experiments. UKSim (2008)
Lionel Eyraud-Dubois, Martin Quinson
Assessing the Quality of Automatically Built Network Representations. CCGRID (2007)
Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien
A First Step Towards Automatically Building Network Representations. Euro-Par (2007)
Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien
A First Step Towards Automatically Building Network Representations CoRR (2007)
Arnaud Legrand, Martin Quinson, Henri Casanova, Kayo Fujiwara
The SIMGRID Project Simulation and Deployment of Distributed Applications. HPDC (2006)
Eddy Caron, Frédéric Desprez, Martin Quinson, Frédéric Suter
Performance Evaluation of Linear Algebra Routines. Int. J. High Perform. Comput. Appl. 18 (3) (2004)
Arnaud Legrand, Martin Quinson
Automatic Deployment of the Network Weather Service Using the Effective Network View. IPDPS (2004)
Martin Quinson
Dynamic Performance Forcasting for Network-Enabled Servers in a Metacomputing Environment. IPDPS (2002)
Martin Quinson
Un outil de prédiction dynamique de performances dans un environnement de metacomputing. Tech. Sci. Informatiques 21 (5) (2002)
Eddy Caron, Frederic Desprez, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, Martin Quinson, Frédéric Suter
A Scalable Approach to Network Enabled Servers (Research Note). Euro-Par (2002)
Philippe Combes, Frédéric Lombard, Martin Quinson, Frédéric Suter
A Scalable Approach to Network Enabled Servers. ASIAN (2002)
Eddy Caron, Serge Chaumette, Sylvain Contassot-Vivier, Frederic Desprez, Eric Fleury, Claude Gomez, Maurice Goursat, Martin Quinson, Emmanuel Jeannot, Dominique Lazure, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, Pierre Ramet, Jean Roman, Frank Rubi, Serge Steer, Frédéric Suter, Gil Utard
: The OURAGAN project. Parallel Comput. 27 (11) (2001)

Martin Quinson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Quinson