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, no 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, no 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, no 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, no 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, no 2, pp. 8.1-8.27. [ DOI : 10.1145/2207222.2207224 ]
http://hal.inria.fr/inria-00582388
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, no 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, no 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, no 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, no 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
-
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, no 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.