Team Camus
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

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.

previous Previous | up Home