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


Bibliography

Major publications by the team in recent years
[1]
T. 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
[2]
T. 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
[3]
T. 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
[4]
L. 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
[5]
J. 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
[6]
L. 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
[7]
R. 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
[8]
A. 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 Conf. [ DOI : 10.1145/2400682.2400712 ]
https://hal.inria.fr/hal-00786675
[9]
J. 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
[10]
V. 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

[11]
U. 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
[12]
C. 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

[13]
T. 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
[14]
T. 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, no POPL, pp. 1-29. [ DOI : 10.1145/3371112 ]
https://hal.inria.fr/hal-02426573
[15]
K. 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, no 3, pp. 1-27. [ DOI : 10.1145/3328799 ]
https://hal.inria.fr/hal-02422789

Invited Conferences

[16]
G. 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

[17]
B. 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
[18]
K. 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
[19]
J. 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

[20]
T. 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

[21]
G. 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
[22]
N. 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)

[23]
A. 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

[24]
G. 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
[25]
A. 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
[26]
N. 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
[27]
J. 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
[28]
The Coq proof Assistant, 2019, http://coq.inria.fr.
[29]
S. 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
[30]
P. 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.
[31]
A. 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.
[32]
A. 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.
[33]
J. Forget.
Un Langage Synchrone pour les Systèmes Embarqués Critiques Soumis à des Contraintes Temps Réel Multiples, Université de Toulouse, November 2009.
[34]
X. Leroy.
The Compcert verified compiler, 2009.
http://compcert.inria.fr/doc/index.html
[35]
L. 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
[36]
L. 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.
[37]
F. 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/
[38]
M. 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.
[39]
N. 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, no 4, Article 38 p. [ DOI : 10.1145/3355606 ]
[40]
O. 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