Inria
Inria.fr
Inria Channel
- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche CAMUS
Publications de l'équipe CAMUS
2012
Articles dans des revues avec comité de lecture
- Titre
- Polyhedral parallelization of binary code
- Auteurs
- Benoit Pradelle; Alain Ketterlin; Philippe Clauss
- Détail
- ACM Transactions on Architecture and Code Optimization, ACM Press, 2012, Special issue on high-performance and embedded architectures and compilers, 8 (4), pp. 39:1-39:21
- Accès au bibtex
-
Communications avec actes
- Titre
- VMAD: an Advanced Dynamic Program Analysis & Instrumentation Framework
- Auteurs
- Alexandra Jimborean; Luis Mastrangelo; Vincent Loechner; Philippe Clauss
- Détail
- M. O'Boyle. CC - 21st International Conference on Compiler Construction, Mar 2012, Tallinn, Estonia. Springer, 21st International Conference on Compiler Construction - CC 2012, 7210, pp. 220-237, Lecture Notes in Computer Science
- Accès au bibtex
-
- Titre
- Adapting the Polyhedral Model as a Framework for Efficient Speculative Parallelization
- Auteurs
- Alexandra Jimborean; Philippe Clauss ; Benoit Pradelle; Luis Mastrangelo; Vincent Loechner
- Détail
- PPoPP - 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2012, New Orleans, United States. ACM Press, 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP'12
- Accès au bibtex
-
- Titre
- Geometric Construction Problem Solving in Computer-Aided Learning
- Auteurs
- Pascal Schreck; Pascal Mathis; Julien Narboux
- Détail
- 24th IEEE International Conference on Tools with Artificial Intelligence, Nov 2012, Athens, Greece. IEEE
- Accès au texte intégral et bibtex
-
Communications sans actes
- Titre
- From Tarski to Hilbert
- Auteurs
- Gabriel Braun; Julien Narboux
- Détail
- Tetsuo Ida and Jacques Fleuriot. Automated Deduction in Geometry 2012, Sep 2012, Edinburgh, United Kingdom. Proceedings of ADG 2012
- Accès au texte intégral et bibtex
-
- Titre
- Does dynamic and speculative parallelization enable advanced parallelizing and optimizing code transformations?
- Auteurs
- Philippe Clauss ; Alexandra Jimborean
- Détail
- DCE - 1st International Workshop on Dynamic compilation from SoC to Web Browser via HPC, in conjonction with HiPEAC 2012, Jan 2012, Paris, France.
- Accès au texte intégral et bibtex
-
- Titre
- Dealing with arithmetic overflows in the polyhedral model
- Auteurs
- Bruno Cuervo Parrino; Julien Narboux ; Eric Violard ; Nicolas Magaud
- Détail
- Uday Bondhugula and Vincent Loechner. IMPACT 2012 - 2nd International Workshop on Polyhedral Compilation Techniques, Jan 2012, Paris, France.
- Accès au texte intégral et bibtex
-
2011
Articles dans des revues avec comité de lecture
- Titre
- Integer Affine Transformations of Parametric Z-polytopes and Applications to Loop Nest Optimization
- Auteurs
- Rachid Seghir; Vincent Loechner; Benoit Meister
- Détail
- ACM Transactions on Architecture and Code Optimization, ACM New York, NY, USA, 2011
- Accès au bibtex
-
Communications avec actes
- Titre
- Formalization of Wu's simple method in Coq
- Auteurs
- Jean-David Genevaux; Julien Narboux; Pascal Schreck
- Détail
- Jean-Pierre Jouannaud and Zhong Shao. CPP 2011 First International Conference on Certified Programs and Proofs, Dec 2011, Kenting, Taiwan, Province Of China. Springer-Verlag, 7086, pp. 71-86, Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
- Titre
- Adaptive Runtime Selection of Parallel Schedules in the Polytope Model
- Auteurs
- Benoit Pradelle; Philippe Clauss; Vincent Loechner
- Détail
- 19th High Performance Computing Symposium - HPC 2011, Apr 2011, Boston, United States. ACM/SIGSIM
- Accès au texte intégral et bibtex
-
- Titre
- Transparent Parallelization of Binary Code
- Auteurs
- Benoit Pradelle; Alain Ketterlin; Philippe Clauss
- Détail
- First International Workshop on Polyhedral Compilation Techniques, IMPACT 2011, in conjunction with CGO 2011, Apr 2011, Chamonix, France.
- Accès au texte intégral et bibtex
-
- Titre
- Handling Multi-Versioning in LLVM: Code Tracking and Cloning
- Auteurs
- Alexandra Jimborean; Vincent Loechner; Philippe Clauss
- Détail
- WIR 2011: Workshop on Intermediate Representations, in conjunction with CGO 2011, Apr 2011, Chamonix, France.
- Accès au texte intégral et bibtex
-
- Titre
- Efficient Memory Tracing by Program Skeletonization
- Auteurs
- Alain Ketterlin; Philippe Clauss
- Détail
- IEEE. IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, Apr 2011, Austin, United States.
- Accès au bibtex
-
- Titre
- VMAD: a Virtual Machine for Advanced Dynamic Analysis of Programs
- Auteurs
- Alexandra Jimborean; Matthieu Herrmann; Vincent Loechner; Philippe Clauss
- Détail
- IEEE. IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, Apr 2011, Austin, United States.
- Accès au bibtex
-
- Titre
- A Coq-based Library for Interactive and Automated Theorem Proving in Plane Geometry
- Auteurs
- Tuan Minh Pham; Yves Bertot; Julien Narboux
- Détail
- The 11th International Conference on Computational Science and Its Applications (ICCSA 2011), Jun 2011, Santander, Spain. Springer-Verlag, 6785, pp. 368-383, Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
Chapitres d'ouvrages scientifiques
- Titre
- Polyhedral Techniques for Parametric Memory Requirement Estimation
- Auteurs
- Philippe Clauss ; Diego Garbervetsky; Vincent Loechner; Sven Verdoolaege
- Détail
- Balasa, F. and Pradhan, D.. Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach, Taylor and Francis, 2011, Chapman & Hall/Crc Computer and Information Science, 9781439814000
- Accès au bibtex
-
Directions d'ouvrages
- Titre
- Automated Deduction in Geometry - 8th International Workshop, Revised Selected Papers
- Auteurs
- Julien Narboux ; Schreck Pascal; Jürgen Richter-Gebert
- Détail
- Pascal Schreck and Julien Narboux and Jürgen Richter-Gebert. 6877, Springer, pp. 258, Nov. 2011, Lecture Notes in Computer Science, 978-3-642-25069-9
- Accès au bibtex
-
Thèses
- Titre
- Méthodes Statiques et Dynamiques de Compilation Polyédrique pour l'Exécution en Environnement Multi-Cœurs
- Auteurs
- Benoit Pradelle
- Détail
- informatique. Université de Strasbourg, Dec. 2011. English
- Accès au texte intégral et bibtex
-
2010
Communications avec actes
- Titre
- Recovering the Memory Behavior of Executable Programs
- Auteurs
- Alain Ketterlin; Philippe Clauss
- Détail
- 10th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM, Sep 2010, Timisoara, Romania. IEEE Computer Society Press
- Accès au bibtex
-
Rapports
- Titre
- VMAD: a Virtual Machine for Advanced Dynamic Analysis of Programs
- Auteurs
- Alexandra Jimborean; Matthieu Herrmann; Vincent Loechner; Philippe Clauss
- Détail
- [Research Report], 2010, pp. 10
- Accès au texte intégral et bibtex
-
- Titre
- Integer Affine Transformations of Parametric Z-polytopes and Applications to Loop Nest Optimization
- Auteurs
- Rachid Seghir; Vincent Loechner; Benoit Meister
- Détail
- [Research Report], 2010, pp. 30
- Accès au texte intégral et bibtex
-
- Titre
- A Static-Dynamic Collaborative Framework for Nested Loops Instrumentation and Profiling
- Auteurs
- Alexandra Jimborean; Matthieu Herrmann; Vincent Loechner; Philippe Clauss
- Détail
- [Research Report], 2010, pp. 8
- Accès au bibtex
-
2009
Articles dans des revues avec comité de lecture
- Titre
- A meta-predictor framework for prefetching in object-based DSMs
- Auteurs
- Jean Christophe Beyler; Michael Klemm; Philippe Clauss; Michael Philippsen
- Détail
- Concurrency and Computation: Practice & Experience, John Wiley and Sons Ltd., 2009, 21 (14), pp. 1789-1803
- Accès au bibtex
-
- Titre
- Symbolic polynomial maximization over convex sets and its application to memory requirement estimation
- Auteurs
- Philippe Clauss; Federico Javier Fernández; Diego Garbervetsky; Sven Verdoolaege
- Détail
- IEEE Transactions on Very Large Scale Integration (VLSI) Systems, IEEE Educational Activities Department, 2009, 17 (8), pp. 983-996
- Accès au bibtex
-
Communications avec actes
- Titre
- Efficient Parallel Implementation of Evolutionary Algorithms on GPGPU Cards
- Auteurs
- Ogier Maître; Nicolas Lachiche; Philippe Clauss; Laurent Baumes; Avelino Corma; Pierre Collet
- Détail
- 15th International Euro-Par Conference on Parallel Processing 2009, Aug 2009, Delft, Netherlands. Springer-Verlag, Proceedings of the 15th International Euro-Par Conference on Parallel Processing, 5704, pp. 974 - 985, Lecture Notes in Computer Science
- Accès au bibtex
-
Archives
En savoir plus
Retrouvez toutes les publications scientifiques de nos équipes de recherche sur HAL Inria
Voir aussi
