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, n^o 4, Selected for presentation at the HiPEAC 2013 Conf. [ 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, n^o 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

• 11U. Beaugnon.
  
  Efficient Code Generation for Hardware Accelerators by Refining Partially Specified Implementations, Ecole Normale Superieure de Paris - ENS Paris, June 2019.
  
  https://hal.archives-ouvertes.fr/tel-02385303
• 12C. Reddy.
  
  Polyhedral Compilation for Domain Specific Languages, Ecole normale supérieure, March 2019.
  
  https://hal.inria.fr/tel-02385670

Articles in International Peer-Reviewed Journals

• 13T. Bastian, S. Kell, F. Zappa Nardelli.
  
  Reliable and Fast DWARF-Based Stack Unwinding, in: Proceedings of the ACM on Programming Languages, 2019, vol. OOPSLA. [ DOI : 10.1145/3360572 ]
  
  https://hal.inria.fr/hal-02297690
• 14T. Bourke, L. Brun, M. Pouzet.
  
  Mechanized semantics and verified compilation for a dataflow synchronous language with reset, in: Proceedings of the ACM on Programming Languages, January 2020, vol. 4, n^o POPL, pp. 1-29. [ DOI : 10.1145/3371112 ]
  
  https://hal.inria.fr/hal-02426573
• 15K. Didier, D. Potop-Butucaru, G. Iooss, A. Cohen, J. Souyris, P. Baufreton, A. Graillat.
  
  Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware, in: ACM Transactions on Architecture and Code Optimization, August 2019, vol. 16, n^o 3, pp. 1-27. [ DOI : 10.1145/3328799 ]
  
  https://hal.inria.fr/hal-02422789

Invited Conferences

• 16G. 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, D. Große, S. Vinco, H. Patel (editors), Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017, Springer, January 2019, vol. 530, 25 p. [ DOI : 10.1007/978-3-030-02215-0_3 ]
  
  https://hal.inria.fr/hal-01575621

International Conferences with Proceedings

• 17B. Chung, F. Zappa Nardelli, J. Vitek.
  
  Julia's efficient algorithm for subtyping unions and covariant tuples (Pearl), in: ECOOP 2019 - 33rd European Conference of Object-Oriented Programming, London, United Kingdom, July 2019. [ DOI : 10.4230/LIPIcs.ECOOP.2019.6 ]
  
  https://hal.inria.fr/hal-02297696
• 18K. Didier, A. Cohen, D. Potop-Butucaru, A. Gauffriau.
  
  Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software, in: ACSD 2019 - 19th International Conference on Application of Concurrency to System Design, Aachen, Germany, IEEE, June 2019, pp. 43-52. [ DOI : 10.1109/ACSD.2019.00009 ]
  
  https://hal.inria.fr/hal-02422787
• 19J. Proy, K. Heydemann, A. Berzati, F. Majeric, A. Cohen.
  
  A First ISA-Level Characterization of EM Pulse Effects on Superscalar Microarchitectures, in: ARES 2019 - 14th International Conference on Availability, Reliability and Security, Canterbury, United Kingdom, ACM Press, 2019, pp. 7:1–7:10. [ DOI : 10.1145/3339252.3339253 ]
  
  https://hal.sorbonne-universite.fr/hal-02373088

National Conferences with Proceedings

• 20T. Bourke, M. Pouzet.
  
  Clocked arguments in a verified Lustre compiler, in: JFLA 2019 - Les Trentièmes Journées Francophones des Langages Applicatifs, Les Rousses, France, Les actes des trentièmes Journées Francophones des Langages Applicatifs (JFLA 2019), January 2019, 16 p.
  
  https://hal.inria.fr/hal-02005639

Conferences without Proceedings

• 21G. Baudart, L. Mandel, M. Pouzet, E. Atkinson, B. Sherman, M. Carbin.
  
  Programmation d'Applications Réactives Probabilistes, in: JLFA 2020 - Journées Francophones des Langages Applicatifs, Gruissan, France, January 2020.
  
  https://hal.inria.fr/hal-02430070
• 22N. M. Nobre, A. Drebes, G. Riley, A. Pop.
  
  Bounded Stream Scheduling in Polyhedral OpenStream, in: IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques, Bologna, Italy, January 2020.
  
  https://hal.inria.fr/hal-02441182

Scientific Books (or Scientific Book chapters)

• 23A. Benveniste, B. Caillaud, H. Elmqvist, K. Ghorbal, M. Otter, M. Pouzet.
  
  Multi-Mode DAE Models - Challenges, Theory and Implementation, in: Computing and Software Science: State of the Art and Perspectives, Lecture Notes in Computer Science, October 2019, vol. 10000, pp. 283-310. [ DOI : 10.1007/978-3-319-91908-9_16 ]
  
  https://hal.inria.fr/hal-02333603

Other Publications

• 24G. Baudart, L. Mandel, E. Atkinson, B. Sherman, M. Pouzet, M. Carbin.
  
  Reactive Probabilistic Programming, August 2019, https://arxiv.org/abs/1908.07563 - working paper or preprint.
  
  https://hal.inria.fr/hal-02426533
• 25A. Drebes, L. Chelini, O. Zinenko, A. Cohen, H. Corporaal, T. Grosser, K. Vadivel, N. Vasilache.
  
  TC-CIM: Empowering Tensor Comprehensions for Computing-In-Memory, January 2020, IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques.
  
  https://hal.inria.fr/hal-02441163
• 26N. M. Nobre, A. Drebes, G. Riley, A. Pop.
  
  Beyond Polyhedral Analysis of OpenStream Programs, January 2019, 9th International Workshop on Polyhedral Compilation Techniques.
  
  https://hal.inria.fr/hal-02370558
• 27J. Proy, K. Heydemann, F. Majeric, A. Cohen, A. Berzati.
  
  Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level, April 2019, https://arxiv.org/abs/1903.02623 - working paper or preprint.
  
  https://hal.sorbonne-universite.fr/hal-02102373

References in notes

• 28The Coq proof Assistant, 2019, http://coq.inria.fr.
• 29S. Blazy, Z. Dargaye, X. Leroy.
  
  Formal Verification of a C Compiler Front-End, in: FM 2006: Int. Symp. on Formal Methods, Lecture Notes in Computer Science, Springer-Verlag, 2006, vol. 4085, pp. 460–475.
  
  http://gallium.inria.fr/~xleroy/publi/cfront.pdf
• 30P. Caspi, J.-L. Colaço, L. Gérard, M. Pouzet, P. Raymond.
  
  Synchronous Objects with Scheduling Policies: Introducing safe shared memory in Lustre, in: ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Dublin, June 2009.
• 31A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau, M. Pouzet.
  
  $N$-Synchronous Kahn Networks: a Relaxed Model of Synchrony for Real-Time Systems, in: ACM International Conference on Principles of Programming Languages (POPL'06), Charleston, South Carolina, USA, January 2006.
• 32A. Cohen, L. Mandel, F. Plateau, M. Pouzet.
  
  Abstraction of Clocks in Synchronous Data-flow Systems, in: The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS), Bangalore, India, December 2008.
• 33J. Forget.
  
  Un Langage Synchrone pour les Systèmes Embarqués Critiques Soumis à des Contraintes Temps Réel Multiples, Université de Toulouse, November 2009.
• 34X. Leroy.
  
  The Compcert verified compiler, 2009.
  
  http://compcert.inria.fr/doc/index.html
• 35L. Mandel, F. Plateau, M. Pouzet.
  
  Lucy-n: a n-Synchronous Extension of Lustre, in: Tenth International Conference on Mathematics of Program Construction (MPC 2010), Québec, Canada, June 2010.
  
  http://www.lri.fr/~mandel/papiers/MandelPlateauPouzet-MPC-10.pdf
• 36L. Mandel, F. Plateau, M. Pouzet.
  
  Static Scheduling of Latency Insensitive Designs with Lucy-n, in: International Conference on Formal Methods in Computer-Aided Design (FMCAD), Austin, Texas, USA, October 30 – November 2 2011.
• 37F. Plateau.
  
  Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée, Université Paris-Sud 11, Orsay, France, 6 janvier 2010.
  
  https://www.lri.fr/~mandel/lucy-n/~plateau/these/
• 38M. Pouzet, P. Raymond.
  
  Modular Static Scheduling of Synchronous Data-flow Networks: An efficient symbolic representation, in: ACM International Conference on Embedded Software (EMSOFT'09), Grenoble, France, October 2009.
• 39N. Vasilache, O. Zinenko, T. Theodoridis, P. Goyal, Z. Devito, W. S. Moses, S. Verdoolaege, A. Adams, A. Cohen.
  
  The Next 700 Accelerated Layers: From Mathematical Expressions of Network Computation Graphs to Accelerated GPU Kernels, Automatically, in: ACM Transactions on Architecture and Code Optimization (TACO), October 2019, vol. 16, n^o 4, Article 38 p. [ DOI : 10.1145/3355606 ]
• 40O. 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, n^o RR-9243.
  
  https://hal.inria.fr/hal-01965599