EN FR
EN FR
GRAND-LARGE - 2011
GRAND-LARGE - 2011


Project Team Grand-large


Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Partnerships and Cooperations
Dissemination
Bibliography


Project Team Grand-large


Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Partnerships and Cooperations
Dissemination
Bibliography




Bibliography

Major publications by the team in recent years
  • 1M. Baboulin, D. Becker, J. Dongarra.

    A parallel tiled solver for dense symmetric indefinite systems on multicore architectures, in: Proceedings of IPDPS 2012, 2012.
  • 2M. Baboulin, S. Gratton.

    A contribution to the conditioning of the total least squares problem, in: SIAM J. Matrix Anal. and Appl., 2011, vol. 32, no 3, p. 685–699.
  • 3R. Bolze, F. Cappello, E. Caron, M. J. Daydé, F. Desprez, E. Jeannot, Y. Jégou, S. Lanteri, J. Leduc, N. Melab, G. Mornet, R. Namyst, P. Primet, B. Quétier, O. Richard, E.-G. Talbi, T. Irena.

    Grid'5000: a large scale and highly reconfigurable experimental Grid testbed., in: International Journal of High Performance Computing Applications, November 2006, vol. 20, no 4, p. 481-494.
  • 4A. Bouteiller, T. Hérault, G. Krawezik, P. Lemarinier, F. Cappello.

    MPICH-V Project: a Multiprotocol Automatic Fault Tolerant MPI, in: International Journal of High Performance Computing Applications, 2005, vol. 20, no 3, p. 319–333.
  • 5F. Cappello, S. Djilali, G. Fedak, T. Hérault, F. Magniette, V. Néri, O. Lodygensky.

    Computing on Large Scale Distributed Systems: XtremWeb Architecture, Programming Models, Security, Tests and Convergence with Grid, in: FGCS Future Generation Computer Science, 2004.
  • 6J. W. Demmel, L. Grigori, M. Hoemmen, J. Langou.

    Communication-optimal parallel and sequential QR and LU factorizations, in: SIAM Journal on Scientific Computing, 2011, short version of technical report UCB/EECS-2008-89 from 2008.
  • 7G. Fursin, Y. Kashnikov, A. Memon, Z. Chamski, O. Temam, M. Namolaru, E. Yom-Tov, B. Mendelson, A. Zaks, E. Courtois, F. Bodin, P. Barnard, E. Ashton, E. Bonilla, J. Thomson, C. Williams, M. O'Boyle.

    Milepost GCC: Machine Learning Enabled Self-tuning Compiler, in: International Journal of Parallel Programming, 2011, vol. 39, p. 296-327, 10.1007/s10766-010-0161-2.

    http://dx.doi.org/10.1007/s10766-010-0161-2
  • 8L. Grigori, J. Demmel, X. S. Li.

    Parallel Symbolic Factorization for Sparse LU Factorization with Static Pivoting, in: SIAM Journal on Scientific Computing, 2007, vol. 29, no 3, p. 1289-1314.
  • 9L. Grigori, J. Demmel, H. Xiang.

    Communication Avoiding Gaussian Elimination, in: Proceedings of the ACM/IEEE SC08 Conference, 2008.
  • 10T. Hérault, R. Lassaigne, S. Peyronnet.

    APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains, in: Proceedings of the 3rd International Conference on the Quantitative Evaluation of SysTems (QEST'06), California, USA, September 2006.
  • 11Q. Niu, L. Grigori, P. Kumar, F. Nataf.

    Modified tangential frequency filtering decomposition and its Fourier analysis, in: Numerische Mathematik, 2010, vol. 116, no 1, p. 123-148.
  • 12S. Tomov, J. Dongarra, M. Baboulin.

    Towards dense linear algebra for hybrid GPU accelerated manycore systems, in: Parallel Computing, 2010, vol. 36, no 5&6, p. 232–240.
  • 13B. Wei, G. Fedak, F. Cappello.

    Scheduling Independent Tasks Sharing Large Data Distributed with BitTorrent, in: IEEE/ACM Grid'2005 workshop Seattle, USA, 2005.
Publications of the year

Articles in International Peer-Reviewed Journal

  • 14J. Beauquier, J. Burman, S. Kutten.

    A Self-stabilizing Transformer for Population Protocols with Covering, in: Theoretical Computer Science, 2011. [ DOI : 10.1016/j.tcs.2010.09.016 ]

    http://hal.inria.fr/inria-00531379/en
  • 15A. Denise, M.-C. Gaudel, S.-D. Gouraud, R. Lassaigne, J. Oudinet, S. Peyronnet.

    Coverage-biased random exploration of large models and application to testing, in: Software Tools for Technology Transfer (STTT), 2011.

    http://hal.inria.fr/inria-00560621/en
  • 16S. Dolev, S. Dubois, M. Gradinariu Potop-Butucaru, S. Tixeuil.

    Stabilizing data-link over non-FIFO channels with optimal fault-resilience, in: Information Processing Letters, September 2011. [ DOI : 10.1016/j.ipl.2011.06.010 ]

    http://hal.inria.fr/inria-00627760/en
  • 17S. Dubois, M. Gradinariu Potop-Butucaru, S. Tixeuil.

    Dynamic FTSS in asynchronous systems: The case of unison, in: Theoretical Computer Science, July 2011. [ DOI : 10.1016/j.tcs.2011.02.012 ]

    http://hal.inria.fr/inria-00627763/en
  • 18S. Dubois, T. Masuzawa, S. Tixeuil.

    Bounding the Impact of Unbounded Attacks in Stabilization, in: IEEE Transactions on Parallel and Distributed Systems, May 2011. [ DOI : 10.1109/TPDS.2011.158 ]

    http://hal.inria.fr/inria-00627746/en
  • 19G. Fursin, Y. Kashnikov, A. Memon, Z. Chamski, O. Temam, M. Namolaru, E. Yom-Tov, B. Mendelson, A. Zaks, E. Courtois, F. Bodin, P. Barnard, E. Ashton, E. Bonilla, J. Thomson, C. Williams, M. O'iBoyle.

    Milepost GCC: Machine Learning Enabled Self-tuning Compiler, in: International Journal of Parallel Programming, 2011, vol. 39, p. 296-327, 10.1007/s10766-010-0161-2.

    http://dx.doi.org/10.1007/s10766-010-0161-2
  • 20L. Grigori, J. Demmel, H. Xiang.

    CALU: a communication optimal LU factorization algorithm, in: SIAM Journal on Matrix Analysis and Applications, 2011, vol. 32, p. 1317-1350.
  • 21S. Liu, C. Eisenbeis, J.-L. Gaudiot.

    Value Prediction and Speculative Execution on GPU, in: International Journal of Parallel Programming, 2011, vol. 39, no 5, p. 533-552.
  • 22B. Nicolae.

    On the Benefits of Transparent Compression for Cost-Effective Cloud Data Storage, in: Transactions on Large-Scale Data- and Knowledge-Centered Systems, July 2011, vol. 3, p. 167-184. [ DOI : 10.1007/978-3-642-23074-5 ]

    http://hal.inria.fr/inria-00613583/en

Articles in Non Peer-Reviewed Journal

  • 23V.-T. Tran, B. Nicolae, G. Antoniu.

    Towards Scalable Array-Oriented Active Storage: the Pyramid Approach, in: Operating Systems Review (OSR), January 2012.

    http://hal.inria.fr/hal-00640900/en

International Conferences with Proceedings

  • 24N. Alon, H. Attiya, S. Dubois, S. Dolev, M. Gradinariu Potop-Butucaru, S. Tixeuil.

    Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems, in: 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Grenoble, France, 2011.

    http://hal.inria.fr/inria-00627780/en
  • 26M. Bahi, C. Eisenbeis.

    Rematerialization-based register allocation through reverse computing, in: Proceedings of the 8th ACM International Conference on Computing Frontiers, New York, NY, USA, CF '11, ACM, 2011, p. 24:1–24:2.

    http://doi.acm.org/10.1145/2016604.2016632
  • 27J. Beauquier, P. Blanchard, J. Burman, S. Delaët.

    Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example, in: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, 2011. [ DOI : 10.1007/978-3-642-24550-3_6 ]

    http://hal.inria.fr/hal-00639583/en
  • 28J. Beauquier, J. Burman.

    Self-stabilizing Mutual Exclusion and Group Mutual Exclusion for Population Protocols with Covering, in: 15th International Conference On Principles Of Distributed Systems, OPODIS 2011, Toulouse, France, 2011.

    http://hal.inria.fr/hal-00639651/en
  • 29S. Dolev, S. Dubois, M. Potop-Butucaru, S. Tixeuil.

    Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO, in: 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Cap Estérel, France, 2011.

    http://hal.inria.fr/inria-00587089/en
  • 30S. Donfack, L. Grigori, W. D. Gropp, V. Kale.

    Hybrid static/dynamic scheduling for already optimized dense matrix factorization, in: IEEE International Parallel and Distributed Processing Symposium IPDPS, 2012.
  • 31S. Dubois, T. Masuzawa, S. Tixeuil.

    Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1, in: 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Cap Estérel, France, 2011.

    http://hal.inria.fr/inria-00587517/en
  • 32S. Dubois, T. Masuzawa, S. Tixeuil.

    Maximum Metric Spanning Tree made Byzantine Tolerant, in: 25th International Symposium on Distributed Computing, Rome, Italy, 2011.

    http://hal.inria.fr/inria-00627777/en
  • 33B. Nicolae, F. Cappello, G. Antoniu.

    Optimizing multi-deployment on clouds by means of self-adaptive prefetching, in: Euro-Par '11: Proceedings of the 17th International Euro-Par Conference on Parallel Processing, Bordeaux, France, Springer Verlag., August 2011, To appear..

    http://hal.inria.fr/inria-00588637/en
  • 34B. Nicolae, F. Cappello, G. Antoniu.

    Optimizing multi-deployment on clouds by means of self-adaptive prefetching, in: Euro-Par '11: Proc. 17th International Euro-Par Conference on Parallel Processing, Bordeaux, France, February 2011, p. 503-513. [ DOI : 10.1007/978-3-642-23400-2_46 ]

    http://hal.inria.fr/inria-00594406/en
  • 35B. Nicolae, F. Cappello.

    BlobCR: Efficient Checkpoint-Restart for HPC Applications on IaaS Clouds using Virtual Disk Image Snapshots, in: SC'11: The 24th International Conference for High Performance Computing, Networking, Storage and Analysis, Seattle, United States, May 2011.

    http://hal.inria.fr/inria-00601865/en
  • 36J. Oudinet, A. Denise, M.-C. Gaudel, R. Lassaigne, S. Peyronnet.

    Uniform Monte-Carlo Model Checking, in: FASE 2011, Saarbrücken, Germany, 2011.

    http://hal.inria.fr/hal-00644834/en
  • 37L.-N. Pouchet, U. Bondhugula, C. Bastoul, A. Cohen, J. Ramanujam, P. Sadayappan, N. Vasilache.

    Loop Transformations: Convexity, Pruning and Optimization, in: 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'11), Austin, TX, États-Unis, 2011.

    http://hal.inria.fr/inria-00551077/PDF/PBBCRSV11-POPL.pdf
  • 38V.-T. Tran, B. Nicolae, G. Antoniu, L. Bougé.

    Pyramid: A large-scale array-oriented active storage system, in: LADIS 2011: The 5th Workshop on Large Scale Distributed Systems and Middleware, Seattle, United States, September 2011.

    http://hal.inria.fr/inria-00627665/en

Scientific Books (or Scientific Book chapters)

  • 39G. Dowek, L. Mounier, F. Quessette, A. Rasse, B. Rozoy.

    G. Dowek (editor), Langages de programmation, dans Introduction à la science informatique, Repères pour agir, 2001, CRDP Paris, IGI Global, 2011.

Internal Reports

Other Publications

References in notes
  • 50K. Aida, A. Takefusa, H. Nakada, S. Matsuoka, S. Sekiguchi, U. Nagashima.

    Performance evaluation model for scheduling in a global computing system, in: International Journal of High Performance Computing Applications, 2000, vol. 14, No. 3, p. 268-279.

    http://dx.doi.org/10.1177/109434200001400308
  • 51A. D. Alexandrov, M. Ibel, K. E. Schauser, C. J. Scheiman.

    SuperWeb: Research Issues in JavaBased Global Computing, in: Concurrency: Practice and Experience, June 1997, vol. 9, no 6, p. 535–553.
  • 52L. Alvisi, K. Marzullo.

    Message Logging: Pessimistic, Optimistic and Causal, 2001, Proc. 15th Int'l Conf. on Distributed Computing.
  • 53D. P. Anderson.

    BOINC, 2011.

    http://boinc.berkeley.edu/
  • 54M. Baboulin, J. Dongarra, J. Herrmann, S. Tomov.

    Accelerating linear system solutions using randomization techniques, 2011, LAPACK Working Note 246.
  • 55A. Barak, O. La'adan.

    The MOSIX multicomputer operating system for high performance cluster computing, in: Future Generation Computer Systems, 1998, vol. 13, no 4–5, p. 361–372.
  • 56A. Baratloo, M. Karaul, Z. M. Kedem, P. Wyckoff.

    Charlotte: Metacomputing on the Web, in: Proceedings of the 9th International Conference on Parallel and Distributed Computing Systems (PDCS-96), 1996.
  • 57J. Beauquier, C. Genolini, S. Kutten.

    Optimal reactive k-stabilization: the case of mutual exclusion. In Proceedings of the 18th Annual ACM Symposium on Principles of Distributed Computing, may 1999.
  • 58J. Beauquier, T. Hérault.

    Fault-Local Stabilization: the Shortest Path Tree., October 2002, Proceedings of the 21th Symposium of Reliable Distributed Systems.
  • 59D. Becker, M. Baboulin, J. Dongarra.

    Reducing the amount of pivoting in symmetric indefinite systems, 2011, University of Tennessee Technical Report ICL-UT-11-06 and INRIA Research Report 7621, to appear in the proceedings of 9th International Conference on Parallel Processing and Applied Mathematics, September 2011.
  • 60G. Bosilca, A. Bouteiller, F. Cappello, S. Djilali, G. Fedak, C. Germain, T. Hérault, P. Lemarinier, O. Lodygensky, F. Magniette, V. Néri, A. Selikhov.

    MPICH-V: Toward a Scalable Fault Tolerant MPI for Volatile Nodes, 2002, in IEEE/ACM SC 2002.
  • 61A. Bouteiller, F. Cappello, T. Hérault, G. Krawezik, P. Lemarinier, F. Magniette.

    MPICH-V2: a Fault Tolerant MPI for Volatile Nodes based on Pessimistic Sender Based Message Logging, November 2003, in IEEE/ACM SC 2003.
  • 62A. Bouteiller, P. Lemarinier, G. Krawezik, F. Cappello.

    Coordinated Checkpoint versus Message Log for fault tolerant MPI, December 2003, in IEEE Cluster.
  • 63T. Brecht, H. Sandhu, M. Shan, J. Talbot.

    ParaWeb: Towards World-Wide Supercomputing, in: Proceedings of the Seventh ACM SIGOPS European Workshop on System Support for Worldwide Applications, 1996.
  • 64R. Buyya, M. Murshed.

    GridSim: A Toolkit for the Modeling and Simulation of Distributed Resource Management and Scheduling for Grid Computing, Wiley Press, May 2002.
  • 65N. Camiel, S. London, N. Nisan, O. Regev.

    The POPCORN Project: Distributed Computation over the Internet in Java, in: Proceedings of the 6th International World Wide Web Conference, April 1997.
  • 66H. Casanova.

    Simgrid: A Toolkit for the Simulation of Application Scheduling. In Proceedings of the IEEE International Symposium on Cluster Computing and the Grid (CCGrid '01), May 2001.
  • 67K. M. Chandy, L. Lamport.

    Distributed Snapshots: Determining Global States of Distr. systems., 1985, ACM Trans. on Comp. Systems, 3(1):63–75.
  • 68L. Choy, S. G. Petiton, M. Sato.

    Resolution of large symmetric eigenproblems on a world wide grid, in: Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), Rio de Janeiro, Brazil, IEEE Computer Society, May 2007, p. 301-308.
  • 69L. Choy, S. G. Petiton, M. Sato.

    Toward power-aware computing with dynamic voltage scaling for heterogeneous platforms, in: Sixth International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks (HeteroPar) in conjunction with the 2007 IEEE International Conference on Cluster Computing (Cluster07), Austin, Texas USA, IEEE Computer Society Press, September 2007.
  • 70B. O. Christiansen, P. Cappello, M. F. Ionescu, M. O. Neary, K. E. Schauser, D. Wu.

    Javelin: Internet-Based Parallel Computing Using Java, in: Concurrency: Practice and Experience, November 1997, vol. 9, no 11, p. 1139–1160.
  • 71S. Dolev.

    Self-stabilization, 2000, M.I.T. Press.
  • 72G. Fedak, C. Germain, V. Néri, F. Cappello.

    XtremWeb: A Generic Global Computing System, in: CCGRID'01: Proceedings of the 1st International Symposium on Cluster Computing and the Grid, IEEE Computer Society, 2001, 582 p.
  • 73I. Foster, A. Iamnitchi.

    On Death, Taxes, and the Convergence of Peer-to-Peer and Grid Computing, in: 2nd International Workshop on Peer-to-Peer Systems (IPTPS'03), Berkeley, CA, February 2003.
  • 74V. K. Garg.

    Principles of distributed computing, John Wiley and Sons, May 2002.
  • 75C. Genolini, S. Tixeuil.

    A lower bound on k-stabilization in asynchronous systems, October 2002, Proceedings of the 21th Symposium of Reliable Distributed Systems.
  • 76Douglas P. Ghormley, D. Petrou, Steven H. Rodrigues, Amin M. Vahdat, Thomas E. Anderson.

    GLUnix: A Global Layer Unix for a Network of Workstations, in: Software Practice and Experience, 1998, vol. 28, no 9, p. 929–961.
  • 77L. Grigori, J. Demmel, X. S. Li.

    Parallel Symbolic Factorization for Sparse LU Factorization with Static Pivoting, in: SIAM Journal on Scientific Computing, 2007, vol. 29, no 3, p. 1289-1314.
  • 78B. Hudzia.

    Use of Multicast in P2P Network thought Integration in MPICH-V2, Master of Science Internship, Pierre et Marie Curie University, September 2003.
  • 79D. E. Keyes.

    A Science-based Case for Large Scale Simulation, Vol. 1, Office of Science, US Department of Energy, Report Editor-in-Chief, July 30 2003.
  • 80S. Kutten, B. Patt-Shamir.

    Stabilizing time-adaptive protocols. Theoretical Computer Science 220(1), 1999.
  • 81S. Kutten, D. Peleg.

    Fault-local distributed mending. Journal of Algorithms 30(1), 1999.
  • 82N. Leibowitz, M. Ripeanu, A. Wierzbicki.

    Deconstructing the Kazaa Network, in: Proceedings of the 3rd IEEE Workshop on Internet Applications WIAPP'03, Santa Clara, CA, 2003.
  • 83M. Litzkow, M. Livny, M. Mutka.

    Condor — A Hunter of Idle Workstations, in: Proceedings of the Eighth Conference on Distributed Computing, San Jose, 1988.
  • 84Nancy A. Lynch.

    M. Kaufmann (editor), Distributed Algorithms, 1996.
  • 85 Message Passing Interface Forum.

    MPI: A message passing interface standard, June 12 1995, Technical report, University of Tennessee, Knoxville.
  • 86N. Minar, R. Murkhart, C. Langton, M. Askenazi.

    The Swarm Simulation System: A Toolkit for Building Multi-Agent Simulations, 1996.
  • 87H. Pedroso, L. M. Silva, J. G. Silva.

    Web-Based Metacomputing with JET, in: Proceedings of the ACM, 1997.
  • 88S. G. Petiton, L. Choy.

    Eigenvalue Grid and Cluster Computations, Using Task Farming Computing Paradigm and Data Persistency, in: SIAM conference on Computational Science & Engineering (CSE'07), Costa Mesa, California, USA, February 2007.
  • 89B. Quétier, M. Jan, F. Cappello.

    One step further in large-scale evaluations: the V-DS environment, INRIA, December 2007, no RR-6365.

    http://hal.inria.fr/inria-00189670
  • 90S. Ratnasamy, P. Francis, M. Handley, R. Karp, S. Shenker.

    A Scalable Content Addressable Network, in: Proceedings of ACM SIGCOMM 2001, 2001.
  • 91A. Rowstron, P. Druschel.

    Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems, in: IFIP/ACM International Conference on Distributed Systems Platforms (Middleware), 2001, p. 329–350.
  • 92L. F. G. Sarmenta, S. Hirano.

    Bayanihan: building and studying Web-based volunteer computing systems using Java, in: Future Generation Computer Systems, 1999, vol. 15, no 5–6, p. 675–686.
  • 93S. Saroiu, P. K. Gummadi, S. D. Gribble.

    A Measurement Study of Peer-to-Peer File Sharing Systems, in: Proceedings of Multimedia Computing and Networking, San Jose, CA, USA, January 2002.
  • 94J. F. Shoch, J. A. Hupp.

    The Worm Programs: Early Experiences with Distributed Systems, in: Communications of the Association for Computing Machinery, March 1982, vol. 25, no 3.
  • 95I. Stoica, R. Morris, D. Karger, F. Kaashoek, H. Balakrishnan.

    Chord: A Scalable Peer-To-Peer Lookup Service for Internet Applications, in: Proceedings of the 2001 ACM SIGCOMM Conference, 2001, p. 149–160.
  • 96G. Tel.

    Introduction to distributed algorithms, 2000, Cambridge University Press.
  • 97Y.-M. Wang, W. K. Fuchs.

    Optimistic Message Logging for Independent Checkpointing in Message-Passing Systems, 1992, Symposium on Reliable Distributed Systems.
  • 98Y. Yi, T. Park, H. Y. Yeom.

    A Causal Logging Scheme for Lazy Release Consistent Distributed Shared Memory Systems, December 1998, In Proc. of the 1998 Int'l Conf. on Parallel and Distributed Systems.
  • 99Y. Zhang, G. Bergère, S. G. Petiton.

    A parallel hybrid method of GMRES on Grid System, in: Workshop on High Performance Grid Computing (HPGC'07), jointly published with IPDPS'07 proceedings, Long Beach, California, USA, March 2007.
  • 100B. Y. Zhao, J. D. Kubiatowicz, A. D. Joseph.

    Tapestry: An Infrastructure for Fault-tolerant Wide-area Location and Routing, UC Berkeley, April 2001, no UCB/CSD-01-1141.