EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1T. 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
  • 2T. 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
  • 3T. Bourke, J.-L. Colaço, B. Pagano, C. Pasteur, M. Pouzet.

    A Synchronous-based Code Generator For Explicit Hybrid Systems Languages, in: International Conference on Compiler Construction (CC), London, United Kingdom, LNCS, July 2015.

    https://hal.inria.fr/hal-01242732
  • 4L. Gérard, A. Guatto, C. Pasteur, M. Pouzet.

    A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler, in: Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Beijing, China, ACM, June 2012, pp. 51–60. [ DOI : 10.1145/2248418.2248426 ]

    https://hal.inria.fr/hal-00728527
  • 5J. C. Juega, S. Verdoolaege, A. Cohen, J. I. Gómez, C. Tenllado, F. Catthoor.

    Patterns for parallel programming on GPUs, in: Patterns for parallel programming on GPUs, F. Magoulès (editor), Saxe-Cobourg, 2013, vol. Evaluation of State-of-the-Art Parallelizing Compilers Generating CUDA Code for Heterogeneous CPU/GPU Computing, ISBN 978-1-874672-57-9.

    https://hal.archives-ouvertes.fr/hal-01257261
  • 6L. Mandel, F. Plateau, M. Pouzet.

    Static Scheduling of Latency Insensitive Designs with Lucy-n, in: FMCAD 2011 - Formal Methods in Computer Aided Design, Austin, TX, United States, October 2011.

    https://hal.inria.fr/hal-00654843
  • 7R. Morisset, P. Pawan, F. Zappa Nardelli.

    Compiler testing via a theory of sound optimisations in the C11/C++11 memory model, in: PLDI 2013 - 34th ACM SIGPLAN conference on Programming language design and implementation, Seattle, WA, United States, ACM, June 2013, pp. 187-196. [ DOI : 10.1145/2491956.2491967 ]

    https://hal.inria.fr/hal-00909083
  • 8A. Pop, A. Cohen.

    OpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs, in: ACM Transactions on Architecture and Code Optimization, 2013, vol. 9, no 4, Selected for presentation at the HiPEAC 2013 Conference. [ DOI : 10.1145/2400682.2400712 ]

    https://hal.inria.fr/hal-00786675
  • 9J. Sevcik, V. Vafeiadis, F. Zappa Nardelli, S. Jagannathan, P. Sewell.

    CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency, in: Journal of the ACM (JACM), 2013, vol. 60, no 3, pp. art. 22:1-50. [ DOI : 10.1145/2487241.2487248 ]

    https://hal.inria.fr/hal-00909076
  • 10V. Vafeiadis, T. Balabonski, S. Chakraborty, R. Morisset, F. Zappa Nardelli.

    Common compiler optimisations are invalid in the C11 memory model and what we can do about it, in: POPL 2015 - 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, January 2015.

    https://hal.inria.fr/hal-01089047
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 12A. Benveniste, T. Bourke, B. Caillaud, J.-L. Colaço, C. Pasteur, M. Pouzet.

    Building a Hybrid Systems Modeler on Synchronous Languages Principles, in: Proceedings of the IEEE, September 2018, vol. 106, no 9, pp. 1568 - 1592. [ DOI : 10.1109/JPROC.2018.2858016 ]

    https://hal.inria.fr/hal-01879026
  • 13T. Bourke, J. Inoue, M. Pouzet.

    Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers, in: Electronic Proceedings in Theoretical Computer Science, December 2018, vol. 285, pp. 101-130, https://arxiv.org/abs/1812.11668. [ DOI : 10.4204/EPTCS.285.4 ]

    https://hal.inria.fr/hal-01967659
  • 14S. Ramakrishnan, A. Gohlke, F. Li, J. Coleman, W. Xu, J. E. Rothman, F. Pincet.

    High-Throughput Monitoring of Single Vesicle Fusion Using Freestanding Membranes and Automated Analysis, in: Langmuir, May 2018, vol. 34, no 20, pp. 5849-5859. [ DOI : 10.1021/acs.langmuir.8b00116 ]

    https://hal.sorbonne-universite.fr/hal-01954048
  • 15F. Zappa Nardelli, J. Belyakova, A. Pelenitsyn, B. Chung, J. Bezanson, J. Vitek.

    Julia Subtyping: A Rational Reconstruction, in: Proceedings of the ACM on Programming Languages, 2018, vol. 27, OOPSLA, Article 113. [ DOI : 10.1145/3276483 ]

    https://hal.inria.fr/hal-01882137
  • 16O. 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

  • 17T. Bourke, L. Brun, M. Pouzet.

    Towards a verified Lustre compiler with modular reset, in: 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018), Sankt Goar, Germany, Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018), ACM Press, May 2018, 4 p. [ DOI : 10.1145/3207719.3207732 ]

    https://hal.inria.fr/hal-01817949
  • 18B. Chung, P. Li, F. Zappa Nardelli, J. Vitek.

    KafKa: Gradual Typing for Objects, in: ECOOP 2018 - 2018 European Conference on Object-Oriented Programming, Amsterdam, Netherlands, July 2018.

    https://hal.inria.fr/hal-01882148
  • 19P. Feautrier, A. Cohen, A. Darte.

    On polynomial Code Generation, in: IMPACT 2018, Manchester, United Kingdom, January 2018.

    https://hal.inria.fr/hal-01958096
  • 20J. Souyris, K. Didier, D. Potop-Butucaru, G. Iooss, T. Bourke, A. Cohen, M. Pouzet.

    Automatic Parallelization from Lustre Models in Avionics, in: ERTS2 2018 - 9th European Congress Embedded Real-Time Software and Systems, Toulouse, France, Proceedings of the 9th European Congress on Embedded Real-Time Software and Systems (ERTS2), 3AF - Association Aéronautique Astronautique de France and SEE - Société de l'électricité, de l'électronique et des technologies de l'information et de la communication and SIA - Société de Ingénieurs de l'Automobile, January 2018, pp. 1-4.

    https://hal.inria.fr/hal-01714054
  • 21J. Zhao, M. Kruse, A. Cohen.

    A polyhedral compilation framework for loops with dynamic data-dependent bounds, in: CC'18 - 27th International Conference on Compiler Construction, Vienna, Austria, ACM Press, February 2018. [ DOI : 10.1145/3178372.3179509 ]

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

    Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling, in: CC'18 - 27th International Conference on Compiler Construction, Vienna, Austria, ACM Press, February 2018. [ DOI : 10.1145/3178372.3179507 ]

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

Conferences without Proceedings

  • 23J. Aguado, M. Mendler, M. Pouzet, P. Roop, R. von Hanxleden.

    Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach, in: ESOP 2018 - European Symposium on Programming, Thessaloniki, Greece, April 2018.

    https://hal.archives-ouvertes.fr/hal-01960404
  • 24J.-L. Colaço, B. Pagano, C. Pasteur, M. Pouzet.

    Scade 6: from a Kahn Semantics to a Kahn Implementation for Multicore, in: Forum on specification & Design Languages (FDL), Munich, Germany, September 2018.

    https://hal.archives-ouvertes.fr/hal-01960410

Internal Reports

  • 25K. Didier, D. Potop-Butucaru, G. Iooss, A. Cohen, J. Souyris, P. Baufreton, A. Graillat.

    Parallelisation efficace de larges applications temps-reel, Inria Paris, June 2018, no RR-9180.

    https://hal.inria.fr/hal-01810176
  • 26O. Zinenko, L. Chelini, T. Grosser.

    Declarative Transformations in the Polyhedral Model, Inria ; ENS Paris - Ecole Normale Supérieure de Paris ; ETH Zurich ; TU Delft ; IBM Zürich, December 2018, no RR-9243.

    https://hal.inria.fr/hal-01965599
References in notes