EN FR
EN FR
CAMUS - 2018
Application Domains
Bilateral Contracts and Grants with Industry
Bibliography
Application Domains
Bilateral Contracts and Grants with Industry
Bibliography


Bibliography

Major publications by the team in recent years
  • 1P. Clauss, E. Altıntas, M. Kuhn.

    Automatic Collapsing of Non-Rectangular Loops, in: Parallel and Distributed Processing Symposium (IPDPS), 2017, Orlando, United States, IEEE International, May 2017, pp. 778 - 787. [ DOI : 10.1109/IPDPS.2017.34 ]

    https://hal.inria.fr/hal-01581081
  • 2P.-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
  • 3A. Ketterlin, P. Clauss.

    Profiling Data-Dependence to Assist Parallelization: Framework, Scope, and Optimization, in: MICRO-45, The 45th Annual IEEE/ACM International Symposium on Microarchitecture, Vancouver, Canada, December 2012.

    https://hal.inria.fr/hal-00780782
  • 4J. M. Martinez Caamaño, M. Selva, P. Clauss, A. Baloian, W. Wolff.

    Full runtime polyhedral optimizing loop transformations with the generation, instantiation, and scheduling of code-bones, in: Concurrency and Computation: Practice and Experience, June 2017, vol. 29, no 15. [ DOI : 10.1002/cpe.4192 ]

    https://hal.inria.fr/hal-01581093
  • 5A. 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
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 7Y. A. Barsamian, J. Bernier, S. A. Hirstoaga, M. Mehrenberger.

    Verification of 2D × 2D and two-species Vlasov-Poisson solvers, in: ESAIM: Proceedings and Surveys, 2018, vol. 63, pp. 78-108.

    https://hal.archives-ouvertes.fr/hal-01668744
  • 8Y. A. Barsamian, S. A. Hirstoaga, E. Violard.

    Efficient Data Layouts for a Three-Dimensional Electrostatic Particle-in-Cell Code, in: Journal of computational science, 2018, vol. 27, pp. 345–356.

    https://hal.archives-ouvertes.fr/hal-01664207
  • 9I. Charpentier, J. Gustedt.

    Arbogast: Higher order automatic differentiation for special functions with Modular C, in: Optimization Methods and Software, February 2018, pp. 1-25.

    https://hal.inria.fr/hal-01307750
  • 10O. Zinenko, S. Huot, C. Bastoul.

    Visual Program Manipulation in the Polyhedral Model, in: ACM Transactions on Architecture and Code Optimization, March 2018, vol. 15, no 1, pp. 1 - 25. [ DOI : 10.1145/3177961 ]

    https://hal.inria.fr/hal-01744426

International Conferences with Proceedings

  • 11U. A. Acar, V. Aksenov, A. Charguéraud, M. Rainey.

    Provably and Practically Efficient Granularity Control, in: PPoPP 2019 - Principles and Practice of Parallel Programming, Washington DC, United States, February 2019. [ DOI : 10.1145/3293883.3295725 ]

    https://hal.inria.fr/hal-01973285
  • 12U. A. Acar, A. Charguéraud, A. Guatto, M. Rainey, F. Sieczkowski.

    Heartbeat scheduling: provable efficiency for nested parallelism, in: PLDI’18 - 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Philadelphia, United States, ACM Press, June 2018. [ DOI : 10.1145/3192366.3192391 ]

    https://hal.inria.fr/hal-01937946
  • 13Y. A. Barsamian, A. Charguéraud, S. A. Hirstoaga, M. Mehrenberger.

    Efficient Strict-Binning Particle-in-Cell Algorithm for Multi-Core SIMD Processors, in: Euro-Par 2018 - 24th International European Conference on Parallel and Distributed Computing, Turin, Italy, August 2018.

    https://hal.archives-ouvertes.fr/hal-01890318
  • 14A. Charguéraud, A. Schmitt, T. Wood.

    JSExplain: A Double Debugger for JavaScript, in: The Web Conference 2018, Lyon, France, April 2018, pp. 1-9. [ DOI : 10.1145/3184558.3185969 ]

    https://hal.inria.fr/hal-01745792
  • 15A. Guéneau, A. Charguéraud, F. Pottier.

    A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification, in: ESOP 2018 - 27th European Symposium on Programming, Thessaloniki, Greece, A. Ahmed (editor), LNCS - Lecture Notes in Computer Science, Springer, April 2018, vol. 10801, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. [ DOI : 10.1007/978-3-319-89884-1_19 ]

    https://hal.inria.fr/hal-01926485
  • 16S. Kobeissi, A. Utayim, M. Jaber, Y. Falcone.

    Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions, in: IFM 2018 - 14th International Conference on integrated Formal Methods, Maynooth, Ireland, September 2018, pp. 1-19.

    https://hal.inria.fr/hal-01868748

Conferences without Proceedings

  • 17R. Krebbers, J.-H. Jourdan, R. Jung, J. Tassarotti, J.-O. Kaiser, A. Timany, A. Charguéraud, D. Dreyer.

    MoSeL: a general, extensible modal framework for interactive proofs in separation logic, in: International Conference on Functional Programming (ICFP 2018), St Louis, MO, United States, Proceedings of the ACM on Programming Languages, ACM, September 2018, vol. 2, no ICFP, 77 p. [ DOI : 10.1145/3236772 ]

    https://hal.archives-ouvertes.fr/hal-01898522
  • 18C. Ramon-Cortes, R. Amela, J. Ejarque, P. Clauss, R. Badia.

    AutoParallel: A Python module for automatic parallelization and distributed execution of affine loop nests, in: PyHPC 2018 - 8th Workshop on Python for High-Performance and Scientific Computing, Dallas, TX, United States, November 2018.

    https://hal.inria.fr/hal-01936351

Internal Reports

  • 19J. Gustedt, M. Mogé.

    Memory access classification for vertical task parallelism, Inria Nancy - Grand Est, June 2018, no RR-9182, pp. 1-20.

    https://hal.inria.fr/hal-01814740

Other Publications

References in notes
  • 21JTC1/SC22/WG14 (editor)

    Programming languages - C, ISO, 2018, no ISO/IEC 9899.
  • 22U. A. Acar, A. Charguéraud, M. Rainey.

    Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages, in: Journal of Functional Programming, November 2016, vol. 26. [ DOI : 10.1017/S0956796816000101 ]

    https://hal.inria.fr/hal-01409069
  • 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. Bodin, A. Charguéraud, D. Filaretti, P. Gardner, S. Maffeis, D. Naudziuniene, A. Schmitt, G. Smith.

    A Trusted Mechanised JavaScript Specification, in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, USA, ACM Press, January 2014.

    http://hal.inria.fr/hal-00910135
  • 25J. Gustedt.

    Futex based locks for C11's generic atomics, Inria Nancy, December 2015, no RR-8818.

    https://hal.inria.fr/hal-01236734
  • 26J. 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
  • 27M. 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
  • 28A. Hobor, A. W. Appel, F. Z. Nardelli.

    Oracle Semantics for Concurrent Separation Logic, in: ESOP, 2008, pp. 353-367.