Bibliography

Major publications by the team in recent years

• 1P.-N. Clauss, J. Gustedt.
  
  Iterative Computations with Ordered Read-Write Locks, in: Journal of Parallel and Distributed Computing, 2010, vol. 70, n^o 5, pp. 496­-504. [ DOI : 10.1016/j.jpdc.2009.09.002 ]
  
  https://hal.inria.fr/inria-00330024
• 2J. Gustedt.
  
  Futex based locks for C11's generic atomics, Inria Nancy, December 2015, n^o RR-8818.
  
  https://hal.inria.fr/hal-01236734
• 3A. Jimborean, P. Clauss, J.-F. Dollinger, V. Loechner, M. Juan Manuel.
  
  Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons, in: International Journal of Parallel Programming, August 2014, vol. 42, n^o 4, pp. 529-545.
  
  https://hal.inria.fr/hal-01003744
• 4A. Ketterlin, P. Clauss.
  
  Prediction and trace compression of data access addresses through nested loop recognition, in: 6th annual IEEE/ACM international symposium on Code generation and optimization, Boston, USA, ACM, April 2008, pp. 94-103.
  
  http://dx.doi.org/10.1145/1356058.1356071
• 5A. Ketterlin, P. Clauss.
  
  Profiling Data-Dependence to Assist Parallelization: Framework, Scope, and Optimization, in: MICRO-45 – Proceedings of the 2012 IEEE/ACM 45th International Symposium on Microarchitecture, Vancouver, Canada, December 2012.
• 6B. Pradelle, A. Ketterlin, P. Clauss.
  
  Polyhedral parallelization of binary code, in: ACM Transactions on Architecture and Code Optimization, January 2012, vol. 8, n^o 4, pp. 39:1–39:21. [ DOI : 10.1145/2086696.2086718 ]
  
  http://hal.inria.fr/hal-00664370
• 7R. Seghir, V. Loechner, B. Meister.
  
  Integer Affine Transformations of Parametric Z-polytopes and Applications to Loop Nest Optimization, in: ACM Transactions on Architecture and Code Optimization, June 2012, vol. 9, n^o 2, pp. 8.1-8.27. [ DOI : 10.1145/2207222.2207224 ]
  
  http://hal.inria.fr/inria-00582388

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 8J. M. Martinez Caamaño.
  
  Fast and Flexible Compilation Techniques for Effective Speculative Polyhedral Parallelization, Université de Strasbourg, September 2016.
  
  https://hal.inria.fr/tel-01377758

Articles in International Peer-Reviewed Journals

• 9A. Sukumaran-Rajam, P. Clauss.
  
  The Polyhedral Model of Nonlinear Loops, in: ACM Transactions on Architecture and Code Optimization, January 2016, vol. 12, n^o 4. [ DOI : 10.1145/2838734 ]
  
  https://hal.inria.fr/hal-01244464

International Conferences with Proceedings

• 10L. Bagnères, O. Zinenko, S. Huot, C. Bastoul.
  
  Opening Polyhedral Compiler's Black Box, in: CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Barcelona, Spain, March 2016.
  
  https://hal.inria.fr/hal-01253322
• 11C. Bastoul.
  
  Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality, in: CC'2016 25th International Conference on Compiler Construction, Barcelone, Spain, March 2016.
  
  https://hal.inria.fr/hal-01271998
• 12J. Gustedt.
  
  Futex based locks for C11's generic atomics (extended abstract), in: The 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 2016. [ DOI : 10.1145/2851613.2851956 ]
  
  https://hal.inria.fr/hal-01304108
• 14M. Saied, J. Gustedt, G. Muller.
  
  Automatic Code Generation for Iterative Multi-dimensional Stencil Computations, in: High Performance Computing, Data, and Analitics, Hydarabat, India, A. Benoît (editor), IEEE, December 2016.
  
  https://hal.inria.fr/hal-01337093
• 15D. Salas, J. Gustedt, D. Racoceanu, I. PERSEIL.
  
  Resource-Centered Distributed Processing of Large Histopathology Images, in: 19th IEEE International Conference on Computational Science and Engineering, Paris, France, August 2016.
  
  https://hal.inria.fr/hal-01325648

National Conferences with Proceedings

• 16F. Mansouri, J. Gustedt.
  
  Le modèle de programmation ORWL pour la parallélisation d'une application de suivi vidéo HD sur architecture multi-coeurs, in: Conférence d'informatique en Parallélisme, Architecture et Système (COMPAS), Lorient, France, July 2016, accepted for publication in Compas'16.
  
  https://hal.inria.fr/hal-01325850

Scientific Books (or Scientific Book chapters)

• 17S. Leila Hernane, J. Gustedt.
  
  Transparent distributed data management in large scale distributed systems, in: Pervasive Computing, Academic Press, 2016, pp. 153-194.
  
  https://hal.inria.fr/hal-01308989

Internal Reports

• 18I. Charpentier, J.-P. Friedelmeyer, J. Gustedt.
  
  Arbogast – Origine d'un outil de dérivation automatique, Inria, May 2016, n^o RR-8911.
  
  https://hal.inria.fr/hal-01313355
• 19I. Charpentier, J. Gustedt.
  
  Arbogast Higher order AD for special functions with Modular C, Inria Nancy - Grand Est (Villers-lès-Nancy, France), April 2016, n^o 8907.
  
  https://hal.inria.fr/hal-01307750
• 20J. Gustedt, E. Jeannot, F. Mansouri.
  
  Fully-abstracted affinity optimization for task-based models, Inria Nancy, December 2016, n^o RR-8993.
  
  https://hal.inria.fr/hal-01409101

Other Publications

• 21J. Gustedt, E. Jeannot, F. Mansouri.
  
  Optimizing Locality by Topology-aware Placement for a Task Based Programming Model, September 2016, pp. 164 - 165, IEEE Cluster 2016 Conference, Poster. [ DOI : 10.1109/CLUSTER.2016.87 ]
  
  https://hal.archives-ouvertes.fr/hal-01416284
• 22O. Zinenko, S. Huot, C. Bastoul.
  
  Interactive Program Restructuring, November 2016, working paper or preprint.
  
  https://hal.inria.fr/hal-01406294

References in notes

• 23C. Bastoul.
  
  Code Generation in the Polyhedral Model Is Easier Than You Think, in: PACT'13 IEEE International Conference on Parallel Architecture and Compilation Techniques, Juan-les-Pins, France, 2004, pp. 7–16.
  
  https://hal.archives-ouvertes.fr/ccsd-00017260
• 24M. Hall, D. Padua, K. Pingali.
  
  Compiler research: the next 50 years, in: Commun. ACM, 2009, vol. 52, n^o 2, pp. 60–67.
  
  http://doi.acm.org/10.1145/1461928.1461946
• 25A. Hobor, A. W. Appel, F. Z. Nardelli.
  
  Oracle Semantics for Concurrent Separation Logic, in: ESOP, 2008, pp. 353-367.