UdS
CNRS

Publications

All publications
@inproceedings{icps-2013-227,
	title = "Adaptive Runtime Selection for GPU",
	author= "Jean-François Dollinger; Vincent Loechner",
 	doi = "10.1109/ICPP.2013.16",
 	booktitle = "42nd International Conference on Parallel Processing (ICPP)",
 	pages = "70--79",
	location = "Lyon, France",
	month = "",
	year  = "2013",
}
@inproceedings{icps-2012-226,
	title = "Free elasticity and free CPU power for scientific workloads on IaaS Clouds ",
	author= "Etienne Michon and Julien Gossa and Stephane Genaud",
 	booktitle = "18th IEEE International Conference on Parallel and Distributed Systems",
 	publisher = "IEEE",
	location = "Singapore",
	month = "",
	year  = "2012",
}
@inproceedings{icps-2011-225,
	title = "Cost-wait Trade-offs in Client-side Resource Provisioning with Elastic Clouds",
	author= "Stéphane Genaud and Julien Gossa",
 	booktitle = "4th IEEE International Conference on Cloud Computing (CLOUD 2011)",
 	publisher = "IEEE",
	location = "Washington DC, USA",
	month = "July",
	year  = "2011",
}
@inproceedings{icps-2011-224,
	title = " Single Node On-Line Simulation of MPI Applications with SMPI.",
	author= "Pierre-Nicolas Clauss and Mark Stillwell and Stéphane Genaud and Frédéric Suter and Henri Casanova and  Martin Quinson",
 	booktitle = "25th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2011)",
 	publisher = "IEEE",
	location = "Anchorage",
	month = "May",
	year  = "2011",
}
@inproceedings{icps-2010-221,
	title = "Recovering the Memory Behavior of Executable Programs",
	author= "Alain Ketterlin and Philippe Clauss",
 	booktitle = "10th IEEE Working Conference on Source Code Analysis and Manipulation",
 	location = "Timisoara, Romania",
	month = "September",
	year  = "2010",
}
@phdthesis{icps-2009-220,
	title = "Exécutions de programmes parallèles à passage de messages sur grille de calcul",
	author= "Stéphane Genaud",
 	institution = "Université Henri Poincaré, Nancy",
	month = "December",
	year  = "2009",
	note = "Habilitation à Diriger des Recherches",
}
@inproceedings{icps-2009-219,
	title = "Implementation of the AdaBoost Algorithm for Large Scale Distributed Environments: Comparing JavaSpace and MPJ",
	author= "Virginie Galtier and Stéphane Genaud and Stéphane Vialle",
 	doi = "10.1109/ICPADS.2009.67  ",
 	booktitle = "Fifteenth International Conference on Parallel and Distributed Systems (ICPADS'09)",
 	publisher = "IEEE",
	location = "Shenzhen, China",
	month = "December",
	year  = "2009",
}
@inproceedings{icps-2009-215,
	title = "Efficient Parallel Implementation of Evolutionary Algorithms on GPGPU Cards",
	author= "Ogier Maitre and Nicolas Lachiche and Philippe Clauss and Laurent Baumes and Avelino Corma and Pierre Collet",
 	booktitle = "Euro-Par 2009",
 	series = "LNCS",
	location = "Delft, The Netherlands",
	month = "August",
	year  = "2009",
}
@article{icps-2009-217,
	title = "Fault management in P2P-MPI",
	author= "Stéphane Genaud and Emmanuel Jeannot and Choopan Rattanapoka",
 	doi = "10.1007/s10766-009-0115-8",
 	journal = "International Journal of Parallel Programming",
	volume = "37",
	number = "5",
	pages= "433--461",
	publisher = "Springer",
	month = "August",
	year  = "2009",
}
@article{icps-2009-207,
	title = "Symbolic Polynomial Maximization over Convex Sets and its Application to Memory Requirement Estimation",
	author= "Philippe Clauss and Federico Javier Fernandez and Diego Gabervetsky and Sven Verdoolaege",
 	journal = "IEEE Transactions on Very Large Scale Integration (VLSI) Systems",
	volume = "17",
	number = "8",
	pages= "983-996",
	publisher = "IEEE",
	issn = "1063-8210",
	month = "August",
	year  = "2009",
}
@inbook{icps-2009-216,
	title = "A Peer-to-Peer Framework for Message Passing Parallel Programs",
	author= "Stéphane Genaud and Choopan Rattanapoka",
 	doi = "10.3233/978-1-60750-004-9-118",
 	proceedings = "Parallel Programming, Models and Applications in Grid and P2P Systems  ",
	volume = "17",
	series = "Advances in Parallel Computing",
	pages = "118--147",
	editor = "Fatos Xhafa",
	publisher = "IOS Press",
	issn = "978-1-60750-004-9",
	month = "June",
	year  = "2009",
}
@inproceedings{icps-2009-214,
	title = "Evaluation of Replication and Fault Detection in P2P-MPI",
	author= "Stéphane Genaud and Choopan Rattanapoka",
 	booktitle = "6th High Performance Grid Computing International Workshop, IPDPS conference proceedings",
 	publisher = "IEEE",
	location = "Rome, Italy",
	month = "May",
	year  = "2009",
}
@article{icps-2009-209,
	title = "A Meta-predictor Framework for Prefetching in Object-based DSMs",
	author= "Jean Christophe Beyler and Michael Klemm and Philippe Clauss and Michael Philippsen",
 	journal = "Concurrency and Computation: Practice and Experience",
	publisher = "John Wiley and Sons Ltd",
	month = "",
	year  = "2009",
	note = "accepted",
}
@inproceedings{icps-2008-205,
	title = "Automatic Prefetching with Binary Code Rewriting in Object-based DSMs",
	author= "Jean Christophe Beyler and Michael Klemm and Michael Philippsen and Philippe Clauss",
 	booktitle = "Europar 2008",
 	location = "Las Palmas de Gran Canaria (Spain)",
	month = "August",
	year  = "2008",
}
@phdthesis{icps-2008-213,
	title = "Parallélisation de Méthodes Adaptatives Semi-Lagrangiennes pour la Résolution de l'Equation de Vlasov",
	author= "Olivier Hoenen",
 	institution = "University of Strasbourg I (Louis Pasteur University)",
	month = "July",
	year  = "2008",
}
@inproceedings{icps-2008-194,
	title = " Prediction and Trace Compression of Data Access Addresses through Nested Loops Recognition",
	author= "Alain Ketterlin and Philippe Clauss",
 	booktitle = "IEEE/ACM International Symposium on Code Generation and Optimization 2008, CGO 2008",
 	location = "Boston, Massachusetts, USA",
	month = "April",
	year  = "2008",
}
@inproceedings{icps-2008-193,
	title = "Large-Scale Experiment of Co-allocation Strategies for Peer-to-Peer Supercomputing in P2P-MPI",
	author= "Stéphane Genaud and Choopan Rattanapoka",
 	booktitle = "5th High Performance Grid Computing International Workshop, IPDPS conference proceedings",
 	publisher = "IEEE ",
	location = "Miami",
	month = "April",
	year  = "2008",
}
@inproceedings{icps-2008-206,
	title = "Multi-GPU Sort Last Volume Visualization",
	author= " S. MARCHESIN and C. MONGENET and J.-M. DISCHLER  ",
 	booktitle = "EG Symposium on Parallel Graphics and Visualization (EGPGV'08), Eurographics",
 	month = "April",
	year  = "2008",
}
@phdthesis{icps-2008-208,
	title = "P2P-MPI : A fault-tolerant Message  Passing Interface Implementation for Grids.",
	author= "Choopan Rattanapoka",
 	institution = "University Louis Pasteur, Strasbourg",
	month = "April",
	year  = "2008",
}
@inproceedings{icps-2008-195,
	title = "Second Order Pre-Integrated Volume Rendering",
	author= "J.-F. EL HAJJAR and S. MARCHESIN and J.-M. DISCHLER and C. MONGENET",
 	booktitle = "IEEE Pacific Visualization Symposium",
 	month = "March",
	year  = "2008",
}
@inproceedings{icps-2008-196,
	title = "Comparison of Two Eulerian solvers for the four dimensional Vlasov equation (Parts I and II)",
	author= "N. CROUSEILLES and M. GUTNIC and G. LATU and E. SONNENDRUCKER",
 	booktitle = "Proc. of the 2nd international conference of Vlasovia, Communications in Nonlinear Science and Numerical Simulation",
 	volume = "13(1)",
	pages = "88--99",
	month = "February",
	year  = "2008",
}
@inproceedings{icps-2008-197,
	title = "Computing ITG turbulence with a full-f semi-Lagrangian code",
	author= "V. GRANDGIRARD and Y. SARAZIN and X. GARBET and G. DIF-PRALADIER and P. GHENDRIH and N. CROUSEILLES and G. LATU and E. SONNENDRUCKER and N. BESSE",
 	booktitle = "Proc. of the 2nd international conference of Vlasovia, Elsevier, Communications in Nonlinear Science and Numerical Simulation",
 	volume = "13(1)",
	pages = "81--87",
	month = "February",
	year  = "2008",
}
@article{icps-2008-188,
	title = "Exploitation of a parallel clustering algorithm on commodity  hardware with P2P-MPI",
	author= "Stéphane Genaud and Pierre Gançarski and Guillaume Latu and Alexandre Blansché and Choopan Rattanapoka and Damien Vouriot",
 	doi = "10.1007/s11227-007-0136-2",
 	journal = "The Journal of SuperComputing",
	volume = "43",
	number = "1",
	pages= "21--41",
	editor= "Springer",
	publisher = "Springer",
	issn = "0920-8542 (Print)",
	month = "January",
	year  = "2008",
	note = "Online since Friday, May 5, 2007.",
}
@techreport{icps-2008-218,
	title = "Counting Points in Integer Affine Transformations of Parametric Z-polytopes",
	author= "Rachid Seghir and Vincent Loechner and Benoît Meister",
 	month = "",
	year  = "2008",
}
@inproceedings{icps-2008-210,
	title = "Load-Balancing for a Block-Based Parallel Adaptive 4D Vlasov Solver",
	author= "Olivier Hoenen and Eric Violard",
 	booktitle = "Proceedings of the 14th international Euro-Par conference on Parallel Processing",
 	series = "Lecture Notes In Computer Science",
	volume = "5168",
	publisher = "Springer-Verlag",
	pages = "822--832",
	month = "",
	year  = "2008",
}
@phdthesis{icps-2007-203,
	title = "Dynamic and Software Optimization of Data Accesses: Memory Latency Reduction by Low-Cost Dynamic Binary Analysis and Transformations",
	author= "Jean Christophe Beyler",
 	institution = "Université Louis Pasteur",
	month = "December",
	year  = "2007",
}
@article{icps-2007-198,
	title = "Global full-f gyrokinetic simulations of plasma turbulence",
	author= "V. GRANDGIRARD and Y. SARAZIN and P. ANGELINO and B. ALBERTO and N. CROUSEILLES and G. DARMET and G. DIF-PRALADIER and X. GARBET and P. GHENDRIH and S. JOL",
 	journal = "Plasma physics and controlled fusion",
	month = "December",
	year  = "2007",
}
@inproceedings{icps-2007-204,
	title = "A Block-Based Parallel Adaptive Scheme for Solving the 4D Vlasov Equation",
	author= "Olivier Hoenen and Eric Violard",
 	booktitle = "7th International Conference on Parallel Processing and Applied Mathematics",
 	series = "LNCS",
	volume = "4967",
	publisher = "Springer-Verlag",
	location = "Gdańsk, Poland",
	month = "September",
	year  = "2007",
}
@inproceedings{icps-2007-192,
	title = "Comparison and tuning of MPI implementation in a grid context",
	author= "Ludovic Hablot and Olivier Glück and Jean-Christophe Mignot and Stéphane Genaud and Pascale Vicat-Blanc Primet",
 	booktitle = "Proceedings of 2007 IEEE International Conference on Cluster Computing (CLUSTER)",
 	publisher = "IEEE",
	pages = "458-463",
	month = "September",
	year  = "2007",
}
@inproceedings{icps-2007-202,
	title = "Feature Enhancement using Locally Adaptive Volume Rendering",
	author= " S. MARCHESIN and J.-M. DISCHLER and C. MONGENET",
 	booktitle = "IEEE/EG International Symposium on Volume Graphics",
 	month = "September",
	year  = "2007",
}
@inproceedings{icps-2007-190,
	title = "Esodyp+: Prefetching in the Jackal Software DSM",
	author= "Michael Klemm and Jean Christophe Beyler and Ronny T. Lampert and Michael Philippsen and Philippe Clauss",
 	booktitle = "Euro-Par 2007",
 	publisher = "Springer",
	location = "Rennes, France",
	month = "August",
	year  = "2007",
}
@inproceedings{icps-2007-199,
	title = "Hermite Spline Interpolation on Patches for a parallel implementation of beam focusing problems",
	author= "N. CROUSEILLES and G. LATU and E. SONNENDRUCKER",
 	booktitle = "Proceedings of HIF 2006, Elsevier, Nuclear instruments and Methods in Physics Research A.",
 	volume = "557(1)",
	pages = "129--132",
	month = "July",
	year  = "2007",
}
@inproceedings{icps-2007-189,
	title = "Performance Driven Data Cache Prefetching in a Dynamic Software Optimization System",
	author= "Jean-Christophe Beyler and Philippe Clauss",
 	booktitle = "21st ACM International Conference on Supercomputing, ICS'07",
 	publisher = "ACM",
	location = "Seattle, WA, USA",
	month = "June",
	year  = "2007",
}
@techreport{icps-2007-191,
	title = "Approximations of Polytope Enumerators using Linear Expansions",
	author= "Benoit Meister",
 	institution = "Universite Louis Pasteur",
	month = "May",
	year  = "2007",
	note = "Revised edition of a paper submitted in 2005",
}
@article{icps-2007-162,
	title = "Counting integer points in parametric polytopes using Barvinok's rational functions",
	author= "Sven Verdoolaege and Rachid Seghir and Kristof Beyls and  Vincent Loechner and Maurice Bruynooghe",
 	doi = "10.1007/s00453-006-1231-0",
 	journal = "Algorithmica",
	volume = "48",
	number = "1",
	pages= "37--66",
	publisher = "Springer New York",
	month = "May",
	year  = "2007",
}
@inproceedings{icps-2007-185,
	title = "Fault management in P2P-MPI",
	author= "Stéphane Genaud and Choopan Rattanapoka",
 	booktitle = "In proceedings of International Conference on Grid and Pervasive Computing, GPC'07",
 	series = "LNCS",
	volume = "4459",
	publisher = "Springer",
	editor = "C. Cérin and K.-C. Li",
	location = "Paris",
	month = "May",
	year  = "2007",
}
@inproceedings{icps-2007-184,
	title = "Experiments in running a scientific MPI application on Grid'5000",
	author= "Stéphane Genaud and Marc Grunberg and Catherine Mongenet",
 	booktitle = "4th High Performance Grid Computing International Workshop, IPDPS conference proceedings",
 	publisher = "IEEE",
	location = "Long beach, USA",
	month = "March",
	year  = "2007",
	note = "received the 'Intel Best Paper Award'.",
}
@inproceedings{icps-2007-200,
	title = "Adaptive two-dimensional Vlasov simulations of heavy ion beams",
	author= "M. GUTNIC and G. LATU and E. SONNENDRUCKER",
 	booktitle = "Proceedings of HIF 2006, Elsevier, Nuclear instruments and Methods in Physics Research A.",
 	volume = "557(1)",
	pages = "125--128",
	month = "February",
	year  = "2007",
}
@inproceedings{icps-2007-201,
	title = "Gyrokinetic Semi-Lagrangian Parallel Simulation using a Hybrid OpenMP/MPI Programming",
	author= "G. LATU and N. CROUSEILLES and V. GRANDGIRARD and E. SONNENDRUCKER",
 	booktitle = "Recent Advances in PVM an MPI",
 	series = "LNCS",
	volume = "4757",
	pages = "356--364",
	month = "",
	year  = "2007",
}
@article{icps-2007-182,
	title = "P2P-MPI: A Peer-to-Peer Framework for Robust Execution of Message Passing Parallel Programs on Grids",
	author= "Stéphane Genaud and Choopan Rattanapoka",
 	doi = "10.1007/s10723-006-9056-2",
 	journal = "Journal of Grid Computing",
	volume = "5",
	number = "1",
	pages= "27-42",
	publisher = "Springer",
	issn = "1570-7873",
	month = "",
	year  = "2007",
	note = "Online since Friday, December 15, 2006",
}
@phdthesis{icps-2006-187,
	title = "Méthodes de dénombrement de points entiers de polyèdres et
applications à l'optimisation de programmes",
	author= "Rachid Seghir",
 	month = "December",
	year  = "2006",
}
@inproceedings{icps-2006-179,
	title = "Memory Optimization by Counting Points in Integer Transformations of Parametric Polytopes",
	author= " Rachid Seghir and Vincent Loechner",
 	booktitle = "In Proceedings of International Conference on Compilers, Architectures, and Synthesis for Embedded Systems, CASES 2006",
 	pages = "74--82",
	location = "Seoul, Korea",
	month = "October",
	year  = "2006",
}
@techreport{icps-2006-173,
	title = "Symbolic Polynomial Maximization over Convex Sets and its Application to Memory Requirement Estimation",
	author= "Philippe Clauss and Federico Javier Fernandez and Diego Gabervetsky and Sven Verdoolaege",
 	number = "06-04",
	institution = "Université Louis Pasteur",
	month = "October",
	year  = "2006",
}
@inproceedings{icps-2006-165,
	title = "Polyhedral Modeling and Analysis of Memory Access Profiles",
	author= "Philippe Clauss and Bénédicte Kenmei",
 	booktitle = "IEEE 17th International Conference on Application-specific Systems, Architectures and Processors, ASAP 2006",
 	publisher = "IEEE Computer Society",
	pages = "191-198",
	location = "Steamboat Springs, Colorado",
	month = "September",
	year  = "2006",
}
@techreport{icps-2006-181,
	title = "A Local Adaptive Algorithm for Solving the Vlasov Equation",
	author= "Olivier Hoenen and Eric Violard",
 	number = "06-05",
	month = "August",
	year  = "2006",
}
@techreport{icps-2006-172,
	title = "Experiments in running a scientific MPI application on Grid'5000",
	author= "Stéphane Genaud and Marc Grunberg and Catherine Mongenet",
 	number = "06-03",
	institution = "University Louis Pasteur",
	month = "July",
	year  = "2006",
}
@phdthesis{icps-2006-167,
	title = "Génération de programmes modèles pour la représentation et l'analyse de profils d'exécution : le modèle périodique-linéaire",
	author= "Bénédicte Kenmei",
 	institution = "Université Louis Pasteur",
	month = "June",
	year  = "2006",
}
@mastersthesis{icps-2006-180,
	title = "Modèle de coût des communications TCP à un niveau applicatif",
	author= "Constantinos Makassikis",
 	institution = "University Louis Pasteur  (Strasbourg)",
	month = "June",
	year  = "2006",
	note = "french text",
}
@mastersthesis{icps-2006-166,
	title = "Sélection de pairs et allocation de tâches dans P2P-MPI",
	author= "Ghazi Bouabene",
 	institution = "Université Louis Pasteur",
	month = "June",
	year  = "2006",
}
@article{icps-2006-211,
	title = "A parallel adaptive Vlasov solver based on hierarchical finite element interpolation",
	author= "Michel Mehrenberger and Eric Violard and Olivier Hoenen and Martin Campos Pinto and Eric Sonnendrücker",
 	journal = "Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment",
	volume = "558",
	number = "1",
	pages= "188-191",
	publisher = "Elsevier",
	month = "March",
	year  = "2006",
}
@techreport{icps-2006-161,
	title = "An Efficient Data Structure for an Adaptive Vlasov Solver",
	author= "Olivier Hoenen and Eric Violard",
 	number = "06-02",
	month = "February",
	year  = "2006",
}
@article{icps-2006-148,
	title = "Scheduling tasks sharing files on heterogeneous master-slave platforms",
	author= "Arnaud Giersch and Yves Robert and Frédéric Vivien",
 	doi = "10.1016/j.sysarc.2004.10.008",
 	journal = "Journal of Systems Architecture, special issue on Parallel, Distributed and Network-based Processing",
	volume = "52",
	number = "2",
	pages= "88-104",
	publisher = "Elsevier",
	month = "February",
	year  = "2006",
}
@inproceedings{icps-2006-158,
	title = "ESODYP: An Entirely Software and Dynamic Data Prefetcher based on a Markov Model",
	author= "Jean Christophe Beyler and Philippe Clauss",
 	booktitle = "Proceedings of the 12th Workshop on Compilers for Parallel Computers, CPC 2006",
 	publisher = "University of A Coruna",
	pages = "118-132",
	location = "A Coruna, Spain",
	month = "January",
	year  = "2006",
}
@techreport{icps-2006-177,
	title = "Minimizing Memory Strides using Integer Transformations  of Parametric Polytopes",
	author= "Rachid Seghir and Vincent Loechner and Benoît Meister",
 	month = "January",
	year  = "2006",
}
@inproceedings{icps-2005-155,
	title = "A Peer-to-Peer Framework for Robust Execution of Message Passing Parallel Programs",
	author= "Stéphane Genaud and Choopan Rattanapoka",
 	doi = "10.1007/11557265_37",
 	booktitle = "EuroPVM/MPI 2005",
 	series = "LNCS",
	volume = "3666",
	publisher = "Springer-Verlag",
	pages = "276--284",
	editor = "B. Di Martino et al.",
	month = "September",
	year  = "2005",
}
@inproceedings{icps-2005-153,
	title = "The Periodic-Linear Model of Program Behavior Capture",
	author= "Ph. Clauss and B. Kenmei and J.C. Beyler",
 	booktitle = "ACM/IEEE Euro-Par 2005",
 	series = "LNCS",
	volume = "3648",
	publisher = "Springer",
	pages = "325--335",
	editor = "José C. Cunha, Pedro D. Medeiros",
	location = "Lisboa, Portugal",
	month = "September",
	year  = "2005",
}
@inproceedings{icps-2005-160,
	title = "Parallel Vlasov solver using a Wavelet based Adaptive Mesh Refinement",
	author= "Gutnic (M.) and Haefele (M.) and Latu (G.)",
 	booktitle = "International Conference on Parallel Processing (ICPP'2005), 7th Workshop on High Perf. Scientific and Engineering Computing",
 	publisher = "IEEE Computer Society Press",
	pages = "181--188",
	month = "June",
	year  = "2005",
}
@techreport{icps-2005-154,
	title = "Technical report: Dynamic optimizations",
	author= "Jean Christophe Beyler and Philippe Clauss and  Guang R. Gao",
 	number = "05-01",
	institution = "ICPS/LSIIT - Université Louis Pasteur, University of Delaware",
	month = "June",
	year  = "2005",
}
@article{icps-2005-129,
	title = " Efficient and Effective Array Bound Checking",
	author= "T.V.N. Nguyen and F. Irigoin",
 	journal = "ACM Transactions on Programming Languages and Systems",
	volume = "27",
	number = "3",
	publisher = "ACM",
	month = "May",
	year  = "2005",
}
@inproceedings{icps-2005-159,
	title = "Vlasov Simulations of Beams and Halo",
	author= "Sonnendrucker (E.) and Gutnic (M.),Haefele (M.) and Latu (G.) and Lemaire (J.-L.).",
 	booktitle = "Proceedings of the 2005 Particle Accelerator",
 	location = "IEEE Catalog Number 05CH37623C",
	month = "May",
	year  = "2005",
}
@inproceedings{icps-2005-149,
	title = "La Projection Entière de Polytopes Paramétrés",
	author= "Rachid Seghir",
 	booktitle = "16ème Rencontres Francophones du Parallélisme (RenPar 2005)",
 	pages = "181-191",
	location = "Le Croisic, France",
	month = "April",
	year  = "2005",
}
@inproceedings{icps-2005-147,
	title = "Ordonnancement sur plates-formes hétérogènes de tâches partageant des données",
	author= "Arnaud Giersch",
 	booktitle = "16ème Rencontres Francophones du Parallélisme (RenPar 2005)",
 	pages = "159-170",
	location = "Le Croisic, France",
	month = "April",
	year  = "2005",
	note = "French text",
}
@inproceedings{icps-2005-151,
	title = "Parallélisation d'un solveur adaptatif de l'équation de Vlasov",
	author= "Olivier Hoenen and Eric Violard",
 	booktitle = "16ème Rencontres Francophones du Parallélisme (RenPar 2005)",
 	pages = "249-258",
	location = "Le Croisic, France",
	month = "April",
	year  = "2005",
}
@article{icps-2005-146,
	title = "Calcul de rais en tomographie sismique : exploitation sur la grille",
	author= "Stéphane Genaud and Marc Grunberg",
 	doi = "10.3166/tsi.24.591-608",
 	journal = "Technique et Science Informatiques",
	volume = "24",
	number = "5",
	pages= "591--608",
	publisher = "Hermès-Lavoisier",
	month = "",
	year  = "2005",
	note = "Numéro thématique RenPar'15",
}
@phdthesis{icps-2004-142,
	title = "Ordonnancement sur plates-formes hétérogènes de tâches partageant des données",
	author= "Arnaud Giersch",
 	institution = "Université Louis Pasteur, Strasbourg, France",
	month = "December",
	year  = "2004",
	note = "French text",
}
@phdthesis{icps-2004-141,
	title = "Stating and Manipulating Periodicity in the Polytope Model. Applications to Program Analysis and Optimization.",
	author= "Benoît Meister",
 	institution = "Université Louis Pasteur",
	month = "December",
	year  = "2004",
}
@inproceedings{icps-2004-124,
	title = "Parallel Adaptive Mesh Coarsening for Seismic Tomography",
	author= "Marc Grunberg and Stéphane Genaud and Catherine Mongenet",
 	doi = "10.1109/SBAC-PAD.2004.29",
 	booktitle = " SBAC-PAD 2004, 16th Symposium on Computer Architecture
and High Performance Computing",
 	publisher = "IEEE Computer Society Press",
	location = "Foz do Iguaçu, Brazil",
	month = "October",
	year  = "2004",
}
@inproceedings{icps-2004-128,
	title = "Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations",
	author= "Sven Verdoolaege and Rachid Seghir and Kristof Beyls and Vincent Loechner and Maurice Bruynooghe",
 	booktitle = "Proceedings of International Conference on Compilers, Architectures, and Synthesis for Embedded Systems",
 	pages = "248--258",
	location = "Washington D.C.",
	month = "September",
	year  = "2004",
}
@inproceedings{icps-2004-150,
	title = "Parallelization of an Adaptive Vlasov Solver",
	author= "Olivier Hoenen and Michel Mehrenberger and Eric Violard",
 	booktitle = "11th European PVM/MPI Users’ Group Conference (EuroPVM/MPI 2004), ParSim Session",
 	series = "Lecture Notes in Computer Science",
	volume = "3241",
	publisher = "Springer-Verlag",
	pages = "430-435",
	location = "Budapest, Hungary",
	month = "September",
	year  = "2004",
}
@article{icps-2004-125,
	title = "Load-balancing scatter operations for grid computing",
	author= "Stéphane Genaud and Arnaud Giersch and Frédéric Vivien",
 	doi = "10.1016/j.parco.2004.07.005",
 	journal = "Parallel Computing",
	volume = "30",
	number = "8",
	pages= "923--946",
	publisher = "North-Holland Elsevier",
	issn = "0167-8191",
	month = "August",
	year  = "2004",
}
@inproceedings{icps-2004-120,
	title = "Scheduling tasks sharing files from distributed repositories",
	author= "Arnaud Giersch and Yves Robert and Frédéric Vivien",
 	booktitle = "Euro-Par 2004: Parallel Processing: 10th International Euro-Par Conference",
 	series = "Lecture Notes in Computer Science",
	volume = "3149",
	publisher = "Springer-Verlag",
	location = "Pisa, Italy",
	month = "August",
	year  = "2004",
}
@mastersthesis{icps-2004-212,
	title = "Mécanisme de régulation dynamique de la charge pour un solveur de Vlasov semi-Lagrangien",
	author= "Olivier Hoenen",
 	institution = "University of Strasbourg I (Louis Pasteur University)",
	month = "July",
	year  = "2004",
}
@mastersthesis{icps-2004-139,
	title = "P2P-MPI : A Peer-to-Peer FrameWork for Robust Execution of Message Passing Parallel Programs on Grids",
	author= "Choopan Rattanapoka",
 	institution = "Université Louis-Pasteur de Strasbourg",
	month = "July",
	year  = "2004",
}
@inproceedings{icps-2004-140,
	title = "Projecting Periodic Polyhedra for Loop Nest Analysis",
	author= "B. Meister",
 	booktitle = "Proceedings of the 11th Workshop on Compilers  for Parallel Computers (CPC 04)",
 	publisher = "Shaker Verlag",
	pages = "13--24",
	editor = "M. Gerndt / E. Kereku (Eds.)",
	location = "Kloster Seeon, Germany",
	month = "July",
	year  = "2004",
}
@article{icps-2004-107,
	title = "Seismic ray-tracing and Earth mesh modeling on various parallel architectures",
	author= "Marc Grunberg and Stéphane Genaud and Catherine Mongenet",
 	doi = "10.1023/B:SUPE.0000022571.28175.e9",
 	journal = "The Journal of Supercomputing",
	volume = "29",
	number = "1",
	pages= "27--44",
	publisher = "Kluwer Academic Pub. - Springer",
	issn = "0920-8542",
	month = "July",
	year  = "2004",
}
@techreport{icps-2004-145,
	title = "ESODYP: An Entirely Software and Dynamic Data Prefetcher based on a Memory Strides Markov Model",
	author= "Jean Christophe Beyler and Philippe Clauss",
 	number = "04-03",
	institution = "ICPS/LSIIT - Université Louis Pasteur",
	month = "June",
	year  = "2004",
}
@inproceedings{icps-2004-114,
	title = "A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization",
	author= "Ph. Clauss and I. Tchoupaeva",
 	booktitle = "13th International Conference on Compiler Construction, CC 2004",
 	series = "LNCS",
	volume = "2985",
	publisher = "Springer",
	pages = "120-133",
	editor = "Evelyn Duesterwald",
	location = "Barcelona, Spain",
	month = "April",
	year  = "2004",
}
@inproceedings{icps-2004-116,
	title = "Periodic Polyhedra",
	author= "Benoît Meister",
 	booktitle = "13th International Conference on Compiler Construction, CC 2004",
 	series = "LNCS",
	volume = "2985",
	publisher = "Springer",
	pages = "134-149",
	editor = "Evelyn Duesterwald",
	location = "Barcelona, Spain",
	month = "April",
	year  = "2004",
}
@techreport{icps-2004-121,
	title = "Projecting Periodic Polyhedra for Loop Nest Analysis",
	author= "B. Meister",
 	number = "04-02",
	institution = "ICPS - LSIIT, Université Louis Pasteur",
	month = "April",
	year  = "2004",
	note = "To be presented to Compilers for Parallel Computers (CPC) 2004",
}
@inproceedings{icps-2004-119,
	title = "Analytical Computation of Ehrhart Polynomials and its Applications for Embedded Systems",
	author= "Sven Verdoolaege and  Kristof Beyls and  Maurice Bruynooghe and  Rachid Seghir and Vincent Loechner",
 	booktitle = "Workshop on Optimizations for DSP and Embedded Systems, in conjunction with IEEE/ACM International Symposium on Code Generation",
 	location = "Palo Alto, california",
	month = "March",
	year  = "2004",
}
@techreport{icps-2004-118,
	title = "Analytical Computation of Ehrhart Polynomials and its Application in Compile-Time Generated Cache Hints",
	author= "Rachid Seghir and Sven Verdoolaege and Kristof Beyls and Vincent Loechner",
 	number = "04-01",
	month = "February",
	year  = "2004",
}
@inproceedings{icps-2004-112,
	title = "Scheduling tasks sharing files on heterogeneous master-slave platforms",
	author= "Arnaud Giersch and Yves Robert and Frédéric Vivien",
 	booktitle = "12th Euromicro Conference on Parallel, Distributed and Network based Processing (PDP 2004)",
 	publisher = "IEEE Computer Society Press",
	pages = "364--371",
	location = "A Coruña, Spain",
	month = "February",
	year  = "2004",
}
@article{icps-2004-123,
	title = "A semantic framework to address data locality in data parallel languages",
	author= "Eric Violard",
 	doi = "10.1016/S0167-8191(03)00089-9",
 	journal = "Parallel Computing",
	volume = "30",
	number = "1",
	pages= "139--161",
	publisher = "Elsevier B.V.",
	month = "January",
	year  = "2004",
}
@article{icps-2004-117,
	title = "A Symbolic Approach To Bernstein Expansion (in russian)",
	author= "Ph. Clauss and I. Tchoupaeva",
 	journal = "Programmirovanie (Programming and Computer Software)",
	volume = "30",
	number = "3",
	editor= "Ivannikov, V.P.",
	publisher = "Nauka, Russian Academy of Sciences, Moscow",
	issn = "0132-3474",
	month = "",
	year  = "2004",
}
@inproceedings{icps-2003-113,
	title = "Geographical ISC data Characterization with Parallel Ray-tracing",
	author= "Marc Grunberg and Stéphane Genaud and Michel Granet",
 	booktitle = "Eos Trans. AGU, 84(46), Fall-Meeting Suppl., Abstract S31E-0793",
 	location = "San Francisco",
	month = "December",
	year  = "2003",
}
@inproceedings{icps-2003-111,
	title = "Calcul de rais en tomographie sismique : exploitation sur la Grille",
	author= "Marc Grunberg and Stéphane Genaud",
 	booktitle = "Renpar 15",
 	publisher = "INRIA",
	pages = "179--186",
	location = "La Colle sur Loup",
	month = "October",
	year  = "2003",
}
@inproceedings{icps-2003-109,
	title = "Scheduling tasks sharing files on heterogeneous clusters",
	author= "Arnaud Giersch and Yves Robert and Frédéric Vivien",
 	booktitle = "10th European PVM/MPI Users' Group Conference (EuroPVM/MPI 2003)",
 	series = "Lecture Notes in Computer Science",
	volume = "2840",
	publisher = "Springer-Verlag",
	pages = "657--660",
	location = "Venice, Italy",
	month = "September",
	year  = "2003",
}
@techreport{icps-2003-183,
	title = "The Status of Non-Mandatory Directives",
	author= "Philippe Gerner et Eric Violard",
 	number = "RR 03-01",
	month = "September",
	year  = "2003",
}
@inproceedings{icps-2003-108,
	title = "Modeling Program Traces with Nested Loops",
	author= "Philippe Clauss and Bénédicte Kenmei Youta and Odile Rousselet",
 	booktitle = "Workshop on Exploring the Trace Space for Dynamic Optimization Techniques, held in conjunction with ICS'03",
 	location = "San Francisco",
	month = "June",
	year  = "2003",
}
{icps-2003-110,
	title = "Une nouvelle méthode de calcul de l'enveloppe entière d'un polyèdre paramétré",
	author= "Benoît Meister",
 	month = "June",
	year  = "2003",
}
@article{icps-2003-131,
	title = " Alias verification for Fortran code optimization (extended version)",
	author= "T.V.N. Nguyen and F. Irigoin",
 	journal = "Journal of Universal Computer Science",
	volume = "9",
	number = "3",
	pages= " 270-298",
	publisher = "Springer-Verlag",
	month = "April",
	year  = "2003",
}
@inproceedings{icps-2003-132,
	title = " Automatic detection of uninitialized variables",
	author= "T.V.N. Nguyen and F. Irigoin and C. Ancourt and F. Coelho",
 	booktitle = "12th International Conference on Compiler Construction",
 	series = " LNCS 2622",
	pages = "217-231",
	location = "Warsaw, Poland",
	month = "April",
	year  = "2003",
}
@inproceedings{icps-2003-75,
	title = "Load-Balancing Scatter Operations for Grid Computing",
	author= "Stéphane Genaud and Arnaud Giersch and Frédéric Vivien",
 	doi = "10.1109/IPDPS.2003.1213207",
 	booktitle = "Proceedings of 12th Heterogeneous Computing Workshop (HCW '03)",
 	publisher = "IEEE Computer Society Press",
	location = "Nice, France",
	month = "April",
	year  = "2003",
}
@article{icps-2003-130,
	title = "Sequencing Fortran Program Array Verifications",
	author= "T.V.N. Nguyen",
 	journal = "ACM Fortran Forum journal",
	volume = "22",
	number = "1",
	pages= "8-10",
	month = "April",
	year  = "2003",
}
@inproceedings{icps-2003-133,
	title = "Advanced program analyses and verifications",
	author= "T.V.N. Nguyen and F. Irigoin",
 	booktitle = "First International Conference of French Speaking Vietnamese Computer Scientists (RIVF 2003)",
 	pages = "77-81",
	location = "Hanoi, Vietnam",
	month = "February",
	year  = "2003",
}
@techreport{icps-2003-115,
	title = "Using Periodics in Integer Polyhedral Problems",
	author= "Benoît Meister",
 	number = "03-01",
	institution = "LSIIT - ICPS UMR7005 ULP-CNRS",
	month = "",
	year  = "2003",
}
@phdthesis{icps-2002-73,
	title = "La sémantique des directives au compilateur : application au parallélisme de données",
	author= "Philippe Gerner",
 	institution = "Thèse en informatique de l'Université Louis Pasteur",
	month = "December",
	year  = "2002",
}
@inproceedings{icps-2002-62,
	title = "Source-code Transformations Strategies to Load-balance Grid Applications",
	author= "Romaric David and Stéphane Genaud and Arnaud Giersch and Éric Violard and Benjamin Schwarz",
 	booktitle = "Grid Computing - GRID'2002",
 	series = "Lecture Notes in Computer Science",
	volume = "2536",
	publisher = "Springer-Verlag",
	pages = "82--87",
	location = "Baltimore, MD, USA",
	month = "November",
	year  = "2002",
}
@mastersthesis{icps-2002-71,
	title = "Vers un profiling adaptatif : Etat de l'art des méthodes actuelles d'analyse de programmes et perspectives",
	author= "Bénédicte Ramelie Kenmei Youta",
 	institution = "Université de Yaoundé I, Cameroun",
	month = "November",
	year  = "2002",
}
@techreport{icps-2002-72,
	title = "An Approach for Defining the Semantics of Directives",
	author= "Philippe Gerner",
 	number = "02-02",
	institution = "Université Louis Pasteur",
	month = "October",
	year  = "2002",
}
@inproceedings{icps-2002-49,
	title = "Experiments in load balancing across the Grid via a code transformation",
	author= "E. Violard and R. David and B. Schwarz",
 	booktitle = "DAPSYS 2002",
 	publisher = "Kluwer",
	pages = "66--73",
	location = "Johannes Kepler University, Linz (Austria)",
	month = "September",
	year  = "2002",
}
@inproceedings{icps-2002-61,
	title = "On the Optimality of Feautrier's Scheduling  Algorithm",
	author= "Frédéric Vivien",
 	booktitle = "Euro-Par 2002",
 	series = "LNCS",
	volume = "2400",
	publisher = "Springer-Verlag",
	pages = "299-308",
	location = "Paderborn, Germany",
	month = "August",
	year  = "2002",
}
@techreport{icps-2002-50,
	title = "Source-code Transformations Strategies to Load-balance Grid Applications",
	author= "Romaric David and Stéphane Genaud and Arnaud Giersch and Éric Violard and Benjamin Schwarz",
 	number = "02-01",
	institution = "LSIIT-ICPS, Université Louis Pasteur",
	month = "August",
	year  = "2002",
}
@techreport{icps-2002-66,
	title = "On High-Level Low-Level Programming",
	author= "Philippe Gerner",
 	number = "RR 02-08",
	institution = "Université Louis Pasteur, Strasbourg",
	month = "July",
	year  = "2002",
}
@mastersthesis{icps-2002-63,
	title = "Durées de vie et compression mémoire",
	author= "Ridha Kouache",
 	institution = "Université Louis Pasteur, Strasbourg",
	month = "June",
	year  = "2002",
	note = "French text",
}
@inproceedings{icps-2002-24,
	title = "Parallel Sampling with Stochastic Differential Equations for 3D Deformable Matching of Medical Images",
	author= "Michel Salomon and Guy-René Perrin and Fabrice Heitz",
 	booktitle = "Proceedings of PDPTA'02",
 	location = "Las Vegas",
	month = "June",
	year  = "2002",
}
@inproceedings{icps-2002-20,
	title = "Parallel Seismic Ray-tracing in a Global Earth Mesh",
	author= "Marc Grunberg and Stéphane Genaud and Catherine Mongenet",
 	booktitle = "Proceedings of the 2002 Parallel and Distributed Processing Techniques and Applications (PDPTA'02)",
 	pages = "1151-1157",
	location = "Las Vegas",
	month = "June",
	year  = "2002",
}
@inproceedings{icps-2002-22,
	title = "Parallelization of a Vlasov Solver by Communication Overlapping",
	author= "Eric Violard and Francis Filbet",
 	booktitle = "proceedings of PDPTA'02",
 	publisher = "CSREA Press",
	pages = "1049--1055",
	location = "Las Vegas",
	month = "June",
	year  = "2002",
}
@techreport{icps-2002-25,
	title = "A Note on Computational Meaning Attribution in Rewriting Logic",
	author= "Philippe Gerner",
 	number = "RR 02-07",
	institution = "Université Louis Pasteur, Strasbourg",
	month = "May",
	year  = "2002",
}
@techreport{icps-2002-60,
	title = "On the Optimality of Feautrier's Scheduling Algorithm",
	author= "Frédéric Vivien",
 	number = "02-04",
	month = "May",
	year  = "2002",
}
@inproceedings{icps-2002-138,
	title = "Alias verification for Fortran code optimization",
	author= "T.V.N. Nguyen and F. Irigoin",
 	booktitle = "International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2002)",
 	pages = "56-70",
	location = "Grenoble, France",
	month = "April",
	year  = "2002",
}
@techreport{icps-2002-122,
	title = "Localité de données et compression mémoire dans les opérations stencil",
	author= "Benoît Meister",
 	institution = "ICPS - LSIIT, Université Louis Pasteur",
	month = "March",
	year  = "2002",
}
@article{icps-2002-23,
	title = "Constructing and exploiting linear schedules with prescribed parallelism",
	author= "Alain Darte and Robert Schreiber and B. Ramakrishna Rau and Frédéric Vivien",
 	journal = "ACM Transactions on Design Automation of Electronic Systems",
	volume = "7",
	number = "1",
	pages= "159-172",
	publisher = "ACM",
	month = "January",
	year  = "2002",
}
@article{icps-2002-21,
	title = "Precise data locality optimization of nested loops",
	author= "Vincent Loechner and Benoît Meister and Philippe Clauss",
 	journal = " The Journal of Supercomputing",
	volume = "21",
	number = "1",
	pages= "37--76",
	publisher = "Kluwer Academic Pub.",
	month = "January",
	year  = "2002",
}
@article{icps-2002-134,
	title = "Alias verification for Fortran code optimization",
	author= "T.V.N. Nguyen and F. Irigoin",
 	journal = "Electronic Notes in Theoretical Computer Science",
	volume = "65",
	number = "2",
	publisher = "Elsevier Science",
	month = "",
	year  = "2002",
}
@article{icps-2002-68,
	title = "Density of points clustering, application to transcriptomic data analysis.",
	author= "Nicolas Wicker and Doulaye Dembele and Wolfgang Raffelsberger and Olivier Poch.",
 	journal = "Nucleic Acids Research",
	volume = "30",
	pages= "3392-4000",
	month = "",
	year  = "2002",
}
@mastersthesis{icps-2002-64,
	title = "Ordonnancement d'applications parallèles sur la grille",
	author= "Dominique Stehly",
 	institution = "Université Louis Pasteur",
	month = "",
	year  = "2002",
}
@techreport{icps-2001-65,
	title = "Describing Execution Graphs with Rewriting Logic",
	author= "Philippe Gerner",
 	number = "RR 01-06",
	institution = "Université Louis Pasteur, Strasbourg",
	month = "December",
	year  = "2001",
}
@phdthesis{icps-2001-74,
	title = "Etude de la parallélisation de méthodes heuristiques d'optimisation combinatoire. Application au recalage d'images médicales",
	author= "Michel Salomon",
 	institution = "Thèse en informatique de l'Université Louis Pasteur",
	month = "December",
	year  = "2001",
}
@inproceedings{icps-2001-19,
	title = "Data Sequence Locality: a Generalization of Temporal Locality",
	author= "V. Loechner and B. Meister and Ph. Clauss",
 	booktitle = "7th Int. Euro-Par Conference, LNCS 2150 (Europar'2001)",
 	publisher = "Springer",
	editor = "R. Sakellariou et al.",
	location = "Manchester (UK)",
	month = "August",
	year  = "2001",
}
@phdthesis{icps-2001-76,
	title = "Étude d'outils logiciels pour la parallélisation et la transformation de programmes dans les applications de calculs numériques",
	author= "Frédérique Voisin-Demery",
 	institution = "Thèse en informatique de l'Université Louis Pasteur",
	month = "July",
	year  = "2001",
}
@techreport{icps-2001-87,
	title = "A Semantic Framework To Adress Data Locality in Data Parallel Languages",
	author= "E. Violard",
 	institution = "LSIIT-ICPS, Université Louis Pasteur",
	month = "June",
	year  = "2001",
	note = "RR 01-05",
}
@inproceedings{icps-2001-53,
	title = "A Unified Framework for Schedule and Storage Optimization",
	author= "William Thies and Frédéric Vivien and Jeffrey Sheldon and Saman Amarasinghe",
 	booktitle = " ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation",
 	publisher = "ACM",
	location = "Snowbird, Utah, USA",
	month = "June",
	year  = "2001",
}
@inproceedings{icps-2001-135,
	title = "Array resizing for code debugging, maintenance and reuse",
	author= "C. Ancourt and T.V.N. Nguyen",
 	booktitle = "ACM SIGLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE01)",
 	pages = "32-37",
	location = "Snowbird, Utah, USA",
	month = "June",
	year  = "2001",
}
@inproceedings{icps-2001-18,
	title = "Differential Evolution for Medical Image Registration",
	author= "Michel Salomon and Guy-René Perrin and Fabrice Heitz,",
 	booktitle = "International Conference on Artificial Intelligence (IC-AI'2001)",
 	location = "Las Vegas (U.S.A.)",
	month = "June",
	year  = "2001",
	note = "Revised version of Research Report ICPS RR-01-04",
}
@inproceedings{icps-2001-52,
	title = "Incrementalized Pointer and Escape Analysis",
	author= "Frédéric Vivien and Martin Rinard",
 	booktitle = " ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation",
 	location = "SNOWBIRD (UTAH)",
	month = "June",
	year  = "2001",
}
@inproceedings{icps-2001-7,
	title = "Minimizing strides in Loops with Affine Array References",
	author= "Ph. Clauss and V. Loechner and B. Meister",
 	booktitle = " CPC'2001, Compilers for Parallel Computers",
 	month = "June",
	year  = "2001",
}
@inproceedings{icps-2001-136,
	title = "Efficient Intraprocedural Array Bound Checking",
	author= "T.V.N. Nguyen and F. Irigoin and C. Ancourt and R. Keryell",
 	booktitle = "Second International Workshop on Automated Program Analysis, Testing and Verification (WAPATV01)",
 	location = "Toronto, Canada",
	month = "May",
	year  = "2001",
}
@inproceedings{icps-2001-51,
	title = "Localité de données dans les opérations stencil",
	author= "Benoît Meister",
 	booktitle = " RenPar'2001",
 	location = "Cité des Sciences et de l'Industrie, Paris (France)",
	month = "April",
	year  = "2001",
}
@inbook{icps-2001-58,
	title = "Loop Parallelization Algorithms",
	author= "Alain Darte and Yves Robert and Frédéric Vivien",
 	proceedings = "Compiler Optimizations for Scalable Parallel Systems",
	volume = "1808",
	pages = "141-171",
	editor = "Dharma P. Agrawal and Santosh Pande",
	publisher = "Springer-Verlag",
	month = "",
	year  = "2001",
}
@article{icps-2001-78,
	title = "Parallélisation de l'évolution différentielle pour le recalage rigide d'images médicales volumiques",
	author= "Michel Salomon",
 	journal = "Technique et science informatiques",
	volume = "20",
	number = "5",
	pages= "605-627",
	month = "",
	year  = "2001",
	note = "(Numéro thématique RenPar'2000). French text.",
}
@article{icps-2001-67,
	title = "Secator: A Program for Inferring Protein Subfamilies from Phylogenetic Trees",
	author= "Nicolas Wicker and Guy Rene Perrin and Jean-Claude Thierry and Olivier Poch.",
 	journal = "Mol. Biol. Evol.",
	volume = "18",
	pages= "1435-1441",
	month = "",
	year  = "2001",
}
@inproceedings{icps-2000-11,
	title = "A Theoretical Framework of Data Parallelism and its Operational Semantics",
	author= "Ph. Gerner and E. Violard",
 	booktitle = "EUROPAR'2000",
 	series = "LNCS 1900",
	publisher = "Springer-Verlag",
	pages = "668--677",
	location = "Munich",
	month = "September",
	year  = "2000",
}
@inproceedings{icps-2000-15,
	title = "Scheduling the Computations of a Loop Nest with Respect to a Given Mapping",
	author= "Alain Darte and Claude Diderich and Marc Gengler and Frédéric Vivien",
 	booktitle = " Euro-Par'2000",
 	volume = "1900",
	publisher = "Springer-Verlag",
	pages = "405-414",
	location = "Munich (Germany)",
	month = "September",
	year  = "2000",
}
@article{icps-2000-17,
	title = "Memory Cost Due to Anticipated Broadcast",
	author= "V. Loechner and C. Mongenet",
 	journal = "Parallel Processing Letters, Special issue on Compilers for Parallel Computers",
	volume = "10",
	number = "2 and 3",
	month = "June",
	year  = "2000",
}
@inproceedings{icps-2000-16,
	title = "Parallélisation de l'évolution différentielle pour le recalage rigide d'images médicales volumiques",
	author= "M. Salomon",
 	booktitle = " RenPAR'2000, 12ème Rencontres Francophones du Parallélisme",
 	publisher = "Revised version of Research Report ICPS RR-00-05",
	location = "Besançon (France)",
	month = "June",
	year  = "2000",
}
@inproceedings{icps-2000-13,
	title = "A constructive solution to the juggling problem in processor array synthesis",
	author= "Alain Darte and B. R. Rau and Rob Schreiber and Frederic Vivien",
 	booktitle = "International Parallel and Distributed Processing Symposium, IPDPS 2000",
 	month = "May",
	year  = "2000",
}
@techreport{icps-2000-102,
	title = "The Polytope Model for Optimizing Cache Locality",
	author= "B. Meister and V. Loechner and Ph. Clauss",
 	month = "May",
	year  = "2000",
}
@inproceedings{icps-2000-12,
	title = "Automatic Memory Layout Transformation to Optimize Spatial Locality in Parameterized Loop Nests",
	author= "Ph. Clauss and B. Meister",
 	booktitle = " 4th Annual Workshop on Interaction between Compilers and Computer Architectures, INTERACT-4",
 	month = "February",
	year  = "2000",
}
@article{icps-2000-10,
	title = "Communication Optimization for AffineRecurrence Equations using Broadcast and Locality",
	author= "V. Loechner and C. Mongenet",
 	doi = "10.1023/A:1007559710855",
 	journal = " Int. J. of Parallel Programming",
	volume = "28",
	number = "1",
	month = "February",
	year  = "2000",
}
@techreport{icps-2000-88,
	title = "A Theoretical Framework of Data Parallelism and its Operational Semantics",
	author= "P. Gerner and E. Violard",
 	institution = "LSIIT-ICPS, Université Louis Pasteur",
	month = "January",
	year  = "2000",
	note = "RR 00-02",
}
@techreport{icps-2000-82,
	title = "What really is Data Parallel Programming?",
	author= "E. Violard",
 	institution = "LSIIT-ICPS, Université Louis Pasteur",
	month = "January",
	year  = "2000",
	note = "RR 00-01",
}
@article{icps-2000-9,
	title = "Automatic Memory Layout Transformation to Optimize Spatial Locality in Parameterized Loop Nests",
	author= "Ph. Clauss and B. Meister",
 	journal = " ACM SIGARCH, Computer Architecture News",
	volume = "28",
	number = "1",
	publisher = "ACM",
	month = "",
	year  = "2000",
}
@phdthesis{icps-2000-57,
	title = "Méthodes polyédriques pour la parallélisation et l'optimisation de programmes",
	author= "Ph. Clauss",
 	institution = "Université Louis Pasteur, Habilitation à diriger des recherches",
	month = "",
	year  = "2000",
}
@book{icps-2000-14,
	title = "Scheduling and Automatic Parallelization",
	author= "Alain Darte and Yves Robert and Frederic Vivien",
 	publisher = "Bikhauser Boston",
	issn = "0-8176-4149-1",
	month = "",
	year  = "2000",
}
@article{icps-1999-26,
	title = "Sparse Computation with PEI",
	author= "F. Voisin and G-R Perrin",
 	journal = " International Journal of Foundations of Computer Science",
	volume = "10",
	number = "4",
	pages= "425",
	month = "December",
	year  = "1999",
}
@inproceedings{icps-1999-137,
	title = "Formal concept analysis on ordered set",
	author= "Q.T. Nguyen and V.N. Huynh and T.V.N. Nguyen",
 	booktitle = "International Conference on Mathematical Foundation of Computer Science",
 	location = "Hanoi, Vietnam",
	month = "October",
	year  = "1999",
}
@techreport{icps-1999-103,
	title = "Automatic Memory Layout Transformations to Optimize Spatial Locality in Parameterized Loop Nests",
	author= "Ph. Clauss and B. Meister",
 	month = "August",
	year  = "1999",
}
@article{icps-1999-41,
	title = "Algorthmic Issues on Heterogeneous Computing Platforms",
	author= "Pierre Boulet and Jack Dongarra and Fabrice Rastello and Yves Robert and Frédéric Vivien",
 	journal = "Parallel Processing Letters",
	volume = "9",
	number = "2",
	pages= "197-213",
	month = "June",
	year  = "1999",
}
@techreport{icps-1999-83,
	title = "Data Parallelism and PEI Equational Language",
	author= "G.-R. Perrin and E. Violard",
 	institution = "LSIIT-ICPS, Université Louis Pasteur",
	month = "May",
	year  = "1999",
	note = "RR 99-01",
}
@article{icps-1999-42,
	title = "Static tiling for heterogeneous computing systems",
	author= "Pierre Boulet and Jack Dongarra and Yves Robert and Frédéric Vivien",
 	journal = "Parallel Computing",
	volume = "25",
	number = "5",
	pages= "547-568",
	publisher = "North-Holland Elsevier",
	month = "May",
	year  = "1999",
}
@inproceedings{icps-1999-81,
	title = "Sparse Computation with PEI",
	author= "Frédérique Voisin and Guy-René Perrin",
 	booktitle = "6th International Workshop on Solving Irregularly Structured Problems in Parallel, Proceedings of 11 IPPS/SPDP'99 Workshops",
 	series = "LNCS 1586",
	publisher = "Springer-Verlag",
	location = "San Juan, Puerto Rico",
	month = "April",
	year  = "1999",
}
@techreport{icps-1998-84,
	title = "A Formal Semantics of Data Parallel Languages",
	author= "E. Violard",
 	institution = "LSIIT-ICPS Université Louis Pasteur",
	month = "December",
	year  = "1998",
	note = "RR 98-04",
}
@techreport{icps-1998-104,
	title = "Advances in parameterized linear diophantine equations for precise program analysis",
	author= "Ph. Clauss",
 	month = "September",
	year  = "1998",
}
@inproceedings{icps-1998-80,
	title = "Minimisation des communications dans une résolution distribuée des équations de Navier-Stokes",
	author= "Frédérique Voisin",
 	booktitle = "Renpar'10",
 	pages = "183-186",
	location = "Strasbourg",
	month = "June",
	year  = "1998",
	note = "French text",
}
@techreport{icps-1998-5,
	title = "On deriving HPF Code from Pei programs",
	author= "S. Genaud",
 	number = "RR 98-05",
	institution = "ICPS-Université Louis Pasteur",
	month = "June",
	year  = "1998",
}
@article{icps-1998-77,
	title = "A Parallel Algorithm to Reconstruct Bounding Surfaces in 3D Images",
	author= "Frédéric Mabin and Catherine Mongenet",
 	doi = "10.1023/A:1007993814307",
 	journal = "The Journal of Supercomputing",
	volume = "1",
	number = "12",
	pages= "137-155",
	publisher = "Kluwer",
	month = "January",
	year  = "1998",
}
@article{icps-1998-54,
	title = "Parametric Analysis of Polyhedral Iteration Spaces",
	author= "Ph. Clauss and V. Loechner",
 	journal = "Journal of VLSI Signal Processing",
	volume = "19",
	number = "2",
	publisher = "Kluwer Academic Pub.",
	month = "",
	year  = "1998",
}
@article{icps-1998-55,
	title = "Sur les extensions et les utilisations en Informatique d'un résultat Mathématique : Les polynômes d'Ehrhart",
	author= "Ph. Clauss",
 	journal = "Bulletin de l'APMEP (Association Française des Professeurs de Mathématiques de l'Enseignement Public)",
	number = "418-419",
	month = "",
	year  = "1998",
}
@article{icps-1997-33,
	title = "Affine Dependence Classification for Communications Minimization",
	author= "C. Mongenet",
 	doi = "10.1023/A:1025165407063",
 	journal = " International Journal of Parallel Programming",
	volume = "25",
	number = "6",
	month = "December",
	year  = "1997",
}
@phdthesis{icps-1997-36,
	title = "Contribution à l'étude des polyèdres paramétrés et applications en parallélisation automatique",
	author= "V. Loechner",
 	institution = "Université Louis Pasteur, Strasbourg",
	month = "December",
	year  = "1997",
}
@article{icps-1997-32,
	title = "Parameterized Polyhedra and their Vertices",
	author= "V. Loechner and D. K. Wilde",
 	journal = "International Journal of Parallel Programming",
	volume = "25",
	number = "6",
	month = "December",
	year  = "1997",
}
@techreport{icps-1997-91,
	title = "Asynchronous Parallel Programming in PEI",
	author= "E. Violard",
 	institution = "LSIIT-ICPS, Université Louis Pasteur",
	month = "October",
	year  = "1997",
	note = "RR 97-10",
}
@inproceedings{icps-1997-37,
	title = "Handling Memory Cache Policy with Integer Points Countings",
	author= "Ph. Clauss",
 	booktitle = "Europar'97",
 	series = "LNCS",
	volume = "1300",
	publisher = "Springer-Verlag",
	location = "Passau",
	month = "August",
	year  = "1997",
}
@inproceedings{icps-1997-38,
	title = "Solutions to the Communication Minimization Problem for Affine recurrence Equations",
	author= "V. Loechner and C. Mongenet",
 	booktitle = "Europar'97",
 	series = "LNCS 1300",
	pages = "Springer-Verlag",
	location = "Passau (Germany)",
	month = "August",
	year  = "1997",
}
@inproceedings{icps-1997-34,
	title = "Typechecking of PEI expressions",
	author= "E. Violard",
 	booktitle = "EUROPAR'97",
 	series = "LNCS 1300",
	publisher = "Springer-Verlag",
	pages = "521-529",
	location = "Passau (Germany)",
	month = "August",
	year  = "1997",
}
@inproceedings{icps-1997-39,
	title = "A parallel algorithm to reconstruct bounding surfaces in 3D images",
	author= "F. Mabin and C. Mongenet",
 	booktitle = "Proceedings of  PDPTA'97",
 	location = "Las Vegas",
	month = "July",
	year  = "1997",
}
@inbook{icps-1997-35,
	title = "Les langages de programmation parallèle et leurs compilateurs",
	author= "P. Feautrier and G.R. Perrin",
 	chapter = "XIII",
	proceedings = "Ordinateurs et Calcul Parallèles",
	volume = "8",
	pages = "231-253",
	publisher = "OFTA, série ARAGO",
	month = "April",
	year  = "1997",
}
@inproceedings{icps-1997-3,
	title = "Refinement of data-parallel programs in PEI",
	author= "E. Violard and S. Genaud and G.-R. Perrin",
 	booktitle = "IFIP Working Conference on Algorithmic Language and Calculi",
 	publisher = "Chapman & Hall Ed.",
	editor = "R. Bird and L. Meertens",
	month = "February",
	year  = "1997",
	note = "25 pages",
}
@inproceedings{icps-1997-40,
	title = "Sewing Faces : A topological reconstruction algorithm of 6-connected objects bounding surfaces in 3D digital images",
	author= "F. Mabin and C. Mongenet",
 	booktitle = "Proceedings of WSCG' 97",
 	volume = "2",
	pages = "331-340",
	location = "Plzen (Czech Republic)",
	month = "February",
	year  = "1997",
}
@inproceedings{icps-1997-100,
	title = "Types in Parallel Programming",
	author= "E. Violard",
 	booktitle = "Theory and Practice of Higher-Order Parallel Programming",
 	series = "9708",
	location = "SCHLOSS DAGSTUHL : INTERNATIONAL CONFERENCE AND RESEARCH CENTER",
	month = "February",
	year  = "1997",
}
@techreport{icps-1997-105,
	title = "Handling Memory Cache Policy with Integer Points Countings (extended version)",
	author= "Ph. Clauss",
 	month = "January",
	year  = "1997",
}
@phdthesis{icps-1997-4,
	title = "Transformations de programmes Pei : applications au parallélisme de données",
	author= "Stéphane Genaud",
 	institution = "Université Louis Pasteur, Strasbourg",
	month = "January",
	year  = "1997",
}
@techreport{icps-1997-56,
	title = "Deriving Formulae to Count Solutions to Parameterized Linear Systems using Ehrhart Polynomials: Applications to the Analysis of Nested-Loop Programs",
	author= "Ph. Clauss and V. Loechner and D.K. Wilde",
 	month = "",
	year  = "1997",
}
@inproceedings{icps-1996-31,
	title = "Parametric Analysis of Polyhedral Iteration Spaces",
	author= "Ph. Clauss and V. Loechner",
 	booktitle = "Proceedings of Int. Conf. on Application Specific Array Processors, ASAP'96",
 	publisher = "IEEE Computer Society Press",
	location = "Chicago, USA",
	month = "August",
	year  = "1996",
}
@inproceedings{icps-1996-30,
	title = "Counting Solutions to Linear and Nonlinear Constraints throughEhrhart polynomials: Applications to Analyse and Transform Scientific Programs",
	author= "Ph. Clauss",
 	booktitle = "Proceedings of the 10th International Conference on Supercomputing, ICS'96",
 	location = "Philadelphia",
	month = "May",
	year  = "1996",
}
@article{icps-1996-2,
	title = "Transformations d'énoncés Pei",
	author= "Stéphane Genaud",
 	journal = "Technique et Science Informatiques",
	volume = "15",
	number = "5",
	pages= "601--618",
	publisher = "Hermes",
	month = "April",
	year  = "1996",
}
@article{icps-1996-29,
	title = "A Refinement of Communicating Process",
	author= "S. Damy and G.R. Perrin",
 	journal = "Computer and Artificial Intelligence",
	volume = "15",
	number = "6",
	pages= "555-569",
	month = "",
	year  = "1996",
}
@inproceedings{icps-1995-1,
	title = "Transformation techniques in PEI",
	author= "S. Genaud and E. Violard and G.-R. Perrin",
 	doi = "10.1007/BFb0020460",
 	booktitle = "EUROPAR'95",
 	series = "LNCS 966",
	publisher = "Springer-Verlag",
	pages = "131--142",
	editor = "S. Haridi, K. Ali, P. Magnusson",
	location = " Stockholm",
	month = "August",
	year  = "1995",
}
@inproceedings{icps-1995-27,
	title = "A toolbox for affine recurrence equations parallelization",
	author= "V. Loechner and C. Mongenet",
 	booktitle = "HPCN'95",
 	series = "LNCS 919",
	pages = "Springer-Verlag",
	location = "Milan (Italy)",
	month = "May",
	year  = "1995",
}
@inproceedings{icps-1995-28,
	title = "Mappings for communication minimization using distribution and alignment",
	author= "C. Mongenet",
 	booktitle = "Proceedings of PACT'95",
 	publisher = "ACM Press",
	pages = "185-193",
	location = "Limassol, Cyprus (Greece)",
	month = "May",
	year  = "1995",
}
@inproceedings{icps-1995-6,
	title = "Techniques de tranformations d'énoncés PEI pour la production de programmes data-parallèles",
	author= "Stéphane Genaud",
 	booktitle = "RenPar 7",
 	location = "Mons (Belgium)",
	month = "May",
	year  = "1995",
	note = "french text",
}
@techreport{icps-1995-86,
	title = "Data-Parallelism Versus Functional Programming: the Contribution of PEI",
	author= "E. Violard",
 	institution = "LSIIT-ICPS, Université Louis Pasteur",
	month = "January",
	year  = "1995",
	note = "RR 95-03",
}
@techreport{icps-1995-106,
	title = "The Volume of a Lattice Polyhedron to Enumerate Processors and Parallelism",
	author= "Ph. Clauss",
 	month = "",
	year  = "1995",
}
@inproceedings{icps-1994-48,
	title = "Reduction in PEI",
	author= "E. Violard and G.-R. Perrin",
 	booktitle = "CONPAR'94",
 	series = "LNCS 854",
	publisher = "Springer Verlag",
	pages = "112--123",
	month = "September",
	year  = "1994",
}
@inproceedings{icps-1994-45,
	title = "Data compiling for Systems of Affine Recurrence Equations",
	author= "C. Mongenet",
 	booktitle = "ASAP'94",
 	publisher = "IEEE Society Press",
	pages = "212-223",
	month = "June",
	year  = "1994",
}
@inproceedings{icps-1994-47,
	title = "Optimal mapping of Systolic Algorithms by regular Instruction Shifts",
	author= "Ph. Clauss and G.-R. Perrin",
 	booktitle = "ASAP'94",
 	publisher = "IEEE Computer Society Press",
	month = "June",
	year  = "1994",
}
@inproceedings{icps-1994-46,
	title = "PEI: a theoretical framework for Data-Parallel Programming",
	author= "G.-R. Perrin and E. Violard and S. Genaud",
 	booktitle = "Workshop on Data-Parallel Languages and Compilers",
 	location = "Lille (France)",
	month = "May",
	year  = "1994",
}
@article{icps-1994-94,
	title = "A Mathematical Theory and Its Environment for Parallel Programming",
	author= "E. Violard",
 	journal = "Parallel Processing Letters",
	volume = "4",
	pages= "313-328",
	publisher = "World Scientific Publishing Company",
	month = "",
	year  = "1994",
}
@inproceedings{icps-1994-44,
	title = "An efficient Allocation Strategy for Mapping affine Recurrences into space and time-optimal regular Processor Arrays",
	author= "Ph. Clauss",
 	booktitle = "Parcella'94",
 	month = "",
	year  = "1994",
}
@article{icps-1994-168,
	title = "Geometrical Tools to map Systems of Affine Recurrence Equations on Regular Arrays",
	author= "Catherine Mongenet and Philippe Clauss and Guy-René Perrin",
 	journal = "Acta Informatica",
	volume = "31",
	pages= "137-160",
	month = "",
	year  = "1994",
}
@article{icps-1994-95,
	title = "PEI: a Simple Unifying Model to Design Parallel Programs",
	author= "E. Violard and G.-R. Perrin",
 	journal = "Future Generation Computer Systems",
	volume = "10",
	pages= "269-272",
	publisher = "Elsevier",
	month = "",
	year  = "1994",
}
@inproceedings{icps-1994-43,
	title = "Some synthesis aspects for Data-Parallel Programming",
	author= "G.-R. Perrin",
 	booktitle = "HPCN'94",
 	series = "LNCS 797",
	publisher = "Springer-Verlag",
	month = "",
	year  = "1994",
}
@inproceedings{icps-1993-101,
	title = "A Mathematical Theory and its Environment for Parallel Programming",
	author= "E. Violard",
 	booktitle = "Parallelization Techniques for Uniform Algorithms",
 	series = "9325",
	location = "SCHLOSS DAGSTUHL : INTERNATIONAL CONFERENCE AND RESEARCH CENTER",
	month = "June",
	year  = "1993",
}
@inproceedings{icps-1993-97,
	title = "PEI: a Single Unifying Model to Design Parallel Programs",
	author= "E. Violard and G.-R. Perrin",
 	booktitle = "PARLE'93",
 	publisher = "Springer Verlag",
	location = "Munich",
	month = "June",
	year  = "1993",
}
@inproceedings{icps-1993-98,
	title = "PEI: un modèle unificateur simple pour la conception de programmes parallèles",
	author= "E. Violard",
 	booktitle = "RenPAR",
 	location = "Brest",
	month = "May",
	year  = "1993",
}
@article{icps-1993-69,
	title = "Une expérience d'implantation d'un algorithme systolique sur hypercube",
	author= "Stéphane Genaud and Guy-René Perrin",
 	journal = "La Lettre du Transputer et des calculateurs parallèles",
	number = "17",
	month = "March",
	year  = "1993",
	note = "French text",
}
@article{icps-1993-169,
	title = "Synthesis aspects in the design of efficient processor arrays from affine recurrence equations",
	author= "Philippe Clauss and  Catherine Mongenet",
 	journal = "Journal of Symbolic Computation",
	volume = "15",
	pages= "547-569",
	publisher = "Academic Press",
	month = "",
	year  = "1993",
}
@phdthesis{icps-1992-99,
	title = "Une théorie unificatrice pour la construction de programmes parallèles par des techniques de transformations",
	author= "E. Violard",
 	institution = "Université de France-Comté, Besançon",
	month = "October",
	year  = "1992",
}
@article{icps-1992-170,
	title = "Synthesis of size-optimal toroidal arrays for the Algebraic Path Problem : A new contribution",
	author= "Philippe Clauss and  Catherine Mongenet and G.-R. Perrin",
 	journal = "Parallel Computing",
	volume = "18",
	number = "3",
	month = "February",
	year  = "1992",
}
@article{icps-1992-171,
	title = "Calculus of space-optimal mappings of systolic algorithms on processor arrays",
	author= "Philippe Clauss and Catherine Mongenet and Guy-René Perrin",
 	journal = "Journal of VLSI Signal Processing",
	pages= "27--36",
	month = "",
	year  = "1992",
}
@article{icps-1992-96,
	title = "PEI: a Language and its Refinement Calculus for Parallel Programming",
	author= "E. Violard and G.-R. Perrin",
 	journal = "Parallel Computing",
	volume = "18",
	pages= "1167-1184",
	publisher = "Elsevier",
	month = "",
	year  = "1992",
}