EN FR
EN FR


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 2A. Benveniste, T. Bourke, B. Caillaud, B. Pagano, M. Pouzet.

    A Type-based Analysis of Causality Loops in Hybrid Systems Modelers, in: Nonlinear Analysis: Hybrid Systems, November 2017, vol. 26, pp. 168–189. [ DOI : 10.1016/j.nahs.2017.04.004 ]

    https://hal.inria.fr/hal-01549183
  • 3I. Llopard, C. Fabre, A. Cohen.

    A From a Formalized Parallel Action Language to its Efficient Code Generation, in: ACM Transactions on Embedded Computing Systems (TECS), January 2017. [ DOI : 10.1145/0000000.0000000 ]

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

Invited Conferences

  • 4J.-L. Colaço, B. Pagano, M. Pouzet.

    Scade 6: A Formal Language for Embedded Critical Software Development, in: TASE 2017 - 11th International Symposium on Theoretical Aspects of Software Engineering, Nice, France, September 2017, pp. 1-10.

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

International Conferences with Proceedings

  • 5G. Baudart, T. Bourke, M. Pouzet.

    Symbolic Simulation of Dataflow Synchronous Programs with Timers, in: 12th Forum on Specification and Design Languages (FDL 2017), Vérone, Italy, Electronic Chips & System Design Initiative (ECSI), September 2017.

    https://hal.inria.fr/hal-01575621
  • 6U. Beaugnon, A. Pouille, M. Pouzet, J. Pienaar, A. Cohen.

    Optimization Space Pruning without Regrets, in: CC 2017 - 26th International Conference on Compiler Construction, Austin, TX, United States, Proceedings of the International Conference on Compiler Construction, ACM Press, February 2017, pp. 34-44. [ DOI : 10.1145/3033019.3033023 ]

    https://hal.inria.fr/hal-01655602
  • 7A. Benveniste, B. Caillaud, H. Elmqvist, K. Ghorbal, M. Otter, M. Pouzet.

    Structural Analysis of Multi-Mode DAE Systems, in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, United States, April 2017. [ DOI : 10.1145/3049797.3049806 ]

    https://hal.inria.fr/hal-01521918
  • 8T. Bourke, L. Brun, P.-E. Dagand, X. Leroy, M. Pouzet, L. Rieg.

    A Formally Verified Compiler for Lustre, in: PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelone, Spain, ACM, June 2017.

    https://hal.inria.fr/hal-01512286
  • 9T. Bourke, F. Carcenac, J.-L. Colaço, B. Pagano, C. Pasteur, M. Pouzet.

    A Synchronous Look at the Simulink Standard Library, in: EMSOFT 2017 - 17th International Conference on Embedded Software, Seoul, South Korea, ACM Press, October 2017, 23 p.

    https://hal.inria.fr/hal-01575631
  • 10R. Morisset, F. Zappa Nardelli.

    Partially Redundant Fence Elimination for x86, ARM and Power processors, in: International Conference on Compiler Construction (CC), Austin, United States, February 2017.

    https://hal.inria.fr/hal-01423612
  • 11J. Zhao, A. Cohen.

    A general compilation algorithm to parallelize and optimize counted loops with dynamic data-dependent bounds, in: IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques, Stockholm, Sweden, January 2017, pp. 1-10.

    https://hal.inria.fr/hal-01657608
  • 12R. von Hanxleden, T. Bourke, A. Girault.

    Real-Time Ticks for Synchronous Programming, in: FDL 2017 - 12th Forum on Specification and Design Languages, Vérone, Italy, Electronic Chips & System Design Initiative (ECSI), September 2017.

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

National Conferences with Proceedings

  • 13T. Bourke, P.-E. Dagand, M. Pouzet, L. Rieg.

    Vérification de la génération modulaire du code impératif pour Lustre, in: JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Gourette, France, January 2017.

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

Conferences without Proceedings

Internal Reports

  • 15K. Didier, A. Cohen, A. Gauffriau, A. Graillat, D. Potop-Butucaru.

    Sheep in wolf's clothing: Implementation models for data-flow multi-threaded software, Inria Paris, April 2017, no RR-9057, 31 p.

    https://hal.inria.fr/hal-01509314
  • 16O. Zinenko, S. Verdoolaege, C. Reddy, J. Shirako, T. Grosser, V. Sarkar, A. Cohen.

    Unified Polyhedral Modeling of Temporal and Spatial Locality, Inria Paris, November 2017, no RR-9110, 41 p.

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

Other Publications

  • 17A. Susungi, N. A. Rink, J. Castrillón, I. Huismann, A. Cohen, C. Tadonki, J. Stiller, J. Fröhlich.

    Towards Compositional and Generative Tensor Optimizations, October 2017, ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), Poster.

    https://hal-mines-paristech.archives-ouvertes.fr/hal-01666818