Publications

2024

ACB⁺24: Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel, and Michael Carbin. Verifying Performance Properties of Probabilistic Inference. working paper or preprint, March 2024.
[ bib | http | .pdf ]
BMT24: Guillaume Baudart, Louis Mandel, and Christine Tasson. Density-Based Semantics for Reactive Probabilistic Programming. working paper or preprint, March 2024.
[ bib | http | .pdf ]
BT24: Guillaume Baudart and Christine Tasson. Programmation réactive probabiliste. In 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Saint-Jacut-de-la-Mer, France, January 2024.
[ bib | http | .pdf ]
RaMB⁺24: Ingkarat Rak-amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, and Julian Dolby. Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints. Software: Practice and Experience, 54(3):363–393, 2024.
[ bib | DOI | http | .pdf ]

2023

VPVC23: Steven Varoumas, Basile Pesin, Benoît Vaugon, and Emmanuel Chailloux. Programming microcontrollers through high-level abstractions: The OMicroB project. Journal of Computer Languages, 77:101228, November 2023.
[ bib | DOI | http | .pdf ]
CMPP23: Jean-Louis Colaço, Michael Mendler, Baptiste Pauget, and Marc Pouzet. A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines. ACM Transactions on Embedded Computing Systems (TECS), 22(5s):Article 152: 1–26, September 2023.
[ bib | DOI | http | .pdf ]
BPP23b: Timothy Bourke, Basile Pesin, and Marc Pouzet. Verified Compilation of Synchronous Dataflow with State Machines. In EMSOFT 2023: 23rd International Conference on Embedded Software, volume 22, pages 137:1–137:26, Hamburg, Germany, September 2023.
[ bib | DOI | http | .pdf ]
ABL23: Waïss Azizian, Guillaume Baudart, and Marc Lelarge. Automatic Rao-Blackwellization for Sequential Monte Carlo with Belief Propagation. In SPIGM@ICML, Honolulu, United States, July 2023.
[ bib | http | .pdf ]
BBP23: Timothy Bourke, Vincent Bregeon, and Marc Pouzet. Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints. In 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), volume 262 of 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), pages 1:1–1:22, Vienna, Austria, July 2023.
[ bib | DOI | http | .pdf ]
bou23: JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Journées Francophones des Langages Applicatifs, January 2023.
[ bib | http | .pdf ]
BPP23a: Timothy Bourke, Basile Pesin, and Marc Pouzet. Analyse de dépendance vérifiée pour un langage synchrone à flot de données. In Timothy Bourke and Delphine Demange, editors, JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, pages 101–120, Praz-sur-Arly, France, January 2023.
[ bib | http | .pdf ]
BBMT23: Guillaume Baudart, Grégoire Bussone, Louis Mandel, and Christine Tasson. Filtrer sans s'appauvrir : inférer les paramètres constants des modèles réactifs probabilistes. In Timothy Bourke and Delphine Demange, editors, JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, pages 24–42, Praz-sur-Arly, France, January 2023.
[ bib | http | .pdf ]

2022

AYB⁺22: Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, and Michael Carbin. Semi-symbolic inference for efficient streaming probabilistic programming. Proceedings of the ACM on Programming Languages, 6:1668 – 1696, October 2022.
[ bib | DOI | http | .pdf ]
RAMB⁺22: Ingkarat Rak-Amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, and Julian Dolby. The raise of machine learning hyperparameter constraints in Python code. In ISSTA 2022 - 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual, South Korea, July 2022.
[ bib | DOI | http | .pdf ]
CPP22: Jean-Louis Colaço, Baptiste Pauget, and Marc Pouzet. Inférer et vérifier les tailles de tableaux avec des types polymorphes. In Chantal Keller and Timothy Bourke, editors, 33èmes Journées Francophones des Langages Applicatifs, pages 140–164, Saint-Médard-d'Excideuil, France, June 2022.
[ bib | http | .pdf ]
ICPB⁺22: Guillaume Iooss, Albert Cohen, Dumitru Potop-Butucaru, Marc Pouzet, Vincent Bregeon, Jean Souyris, and Philippe Baufreton. Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems. In IMPACT 2022 - 12th International Workshop on Polyhedral Compilation Techniques, pages 1–12, Budapest, Hungary, June 2022.
[ bib | http | .pdf ]
KBB⁺22: Chantal Keller, Timothy Bourke, Sandrine Blazy, Frédéric Bour, Guillaume Bury, Stefania Dumbrava, Diane Gallois-Wong, Adrien Guatto, David Janin, Marie Kerjean, Luc Pellissier, Mário Pereira, Alix Trieu, and Yannick Zakowski. 33èmes journées francophones des langages applicatifs. June 2022.
[ bib | http | .pdf ]
BMT22: Guillaume Baudart, Louis Mandel, and Reyyan Tekin. JAX based parallel inference for reactive probabilistic programming. In LCTES'22 - 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, San Diego CA, United States, June 2022.
[ bib | DOI | http | .pdf ]
BMPT22: Guillaume Baudart, Louis Mandel, Marc Pouzet, and Reyyan Tekin. Inférence parallèle pour un langage réactif probabiliste. In Chantal Keller and Timothy Bourke, editors, 33èmes Journées Francophones des Langages Applicatifs, number 6-23, Saint-Médard-d'Excideuil, France, June 2022.
[ bib | http | .pdf ]

2021

BHK⁺21: Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, and Jason Tsay. Pipeline Combinators for Gradual AutoML. In NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Virtual, France, December 2021.
[ bib | http | .pdf ]
MBC⁺21: Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim A Laredo, Malik Magdon-Ismail, Louis Mandel, and Erik Wittern. Learning GraphQL Query Cost. In ASE 2021 - IEEE/ACM International Conference on Automated Software Engineering – Industry Showcase, Melbourne / Virtuel, Australia, November 2021.
[ bib | http | .pdf ]
ABM⁺21a: Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, and Michael Carbin. Checking Bounded-Memory Execution for Delayed Sampling on Probabilistic Streams. In PROBPROG 2021 - Third International Conference on Probabilistic Programming, Virtual, United States, October 2021.
[ bib | http | .pdf ]
BJPP21a: Timothy Bourke, Paul Jeanmaire, Basile Pesin, and Marc Pouzet. Verified Lustre Normalization with Node Subsampling. ACM Transactions on Embedded Computing Systems (TECS), 20(5s):1–25, October 2021.
[ bib | DOI | http | .pdf ]
ABM⁺21b: Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, and Michael Carbin. Statically bounded-memory delayed sampling for probabilistic streams. Proceedings of the ACM on Programming Languages, 5(OOPSLA):1–28, October 2021.
[ bib | DOI | http | .pdf ]
BM21: Guillaume Baudart and Louis Mandel. Automatic Guide Generation for Stan via NumPyro. In PROBPROG 2021 - Third International Conference on Probabilistic Programming, Virtual, United States, October 2021.
[ bib | http | .pdf ]
BBH⁺21: Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, and Avraham Shinnar. Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. In PLDI '21 - 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, pages 497–510, Virtual, Canada, June 2021. ACM.
[ bib | DOI | http | .pdf ]
RAMB⁺21: Ingkarat Rak-Amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, and Julian Dolby. Extracting Hyperparameter Constraints from Code. In ICLR Workshop on Security and Safety in Machine Learning Systems, Virtual, United States, May 2021.
[ bib | http | .pdf ]
BJPP21b: Timothy Bourke, Paul Jeanmaire, Basile Pesin, and Marc Pouzet. Verified normalization of the Lustre language. In JFLA 2021 - 32ème Journées Francophones des Langages Applicatifs, pages 117–133, En ligne, France, April 2021. Yann Régis-Gianas et Chantal Keller.
[ bib | http | .pdf ]
CDZ⁺21: Lorenzo Chelini, Andi Drebes, Oleksandr Zinenko, Albert Cohen, Nicolas Vasilache, Tobias Grosser, and Henk Corporaal. Progressive Raising in Multi-level IR. In CGO 2021 : International Symposium on Code Generation and Optimization, International Conference on Code Generation and Optimization (CGO), Seoul / Virtual, South Korea, February 2021.
[ bib | http | .pdf ]

2020

VPVC20: Steven Varoumas, Basile Pesin, Benoît Vaugon, and Emmanuel Chailloux. Programming microcontrollers through high-level abstractions. In VMIL 2020 - 12th ACM SIGPLAN International Workshop on Virtual Machine and Intermediate Languages, pages 5–14, Chicago / Virtual, United States, November 2020. Association for Computing Machinery.
[ bib | DOI | http ]
CWB⁺20: Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, and Jim A. Laredo. A Principled Approach to GraphQL Query Cost Analysis. In ESEC/FSE 2020 - 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Sacramento / Virtual, United States, November 2020.
[ bib | DOI | http | .pdf ]
GSSR⁺20: Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, and Marc Pouzet. From Lustre to Graphical Models and SCCharts. In FDL 2020 - Forum for Specification and Design Languages, 2020 Forum for Specification and Design Languages (FDL), Kiel, Germany, September 2020. IEEE.
[ bib | DOI | http ]
Bru20: Lélio Brun. Mechanized semantics and verified compilation for a dataflow synchronous language with reset, July 2020.
[ bib | http | .pdf ]
BMA⁺20: Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin. Reactive probabilistic programming. In PLDI 2020 - 41th ACM SIGPLAN International Conference in Programming Language Design and Implementation, London / Virtual, United Kingdom, June 2020.
[ bib | DOI | http | .pdf ]
IPC⁺20: Guillaume Iooss, Marc Pouzet, Albert Cohen, Dumitru Potop-Butucaru, Jean Souyris, Vincent Bregeon, and Philippe Baufreton. 1-Synchronous Programming of Large Scale, Multi-Periodic Real-Time Applications with Functional Degrees of Freedom. working paper or preprint, March 2020.
[ bib | http | .pdf ]
DCZ⁺20: Andi Drebes, Lorenzo Chelini, Oleksandr Zinenko, Albert Cohen, Henk Corporaal, Tobias Grosser, Kanishkan Vadivel, and Nicolas Vasilache. TC-CIM: Empowering Tensor Comprehensions for Computing-In-Memory. IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques, January 2020.
[ bib | http | .pdf ]
BBP20: Timothy Bourke, Lélio Brun, and Marc Pouzet. Mechanized semantics and verified compilation for a dataflow synchronous language with reset. Proceedings of the ACM on Programming Languages, 4(POPL):1–29, January 2020.
[ bib | DOI | http | .pdf ]
CZ20: Albert Cohen and Jie Zhao. Flextended Tiles: a Flexible Extension of Overlapped Tiles for Polyhedral Compilation. ACM Transactions on Architecture and Code Optimization, January 2020.
[ bib | DOI | http | .pdf ]
NDRP20: Nuno Miguel Nobre, Andi Drebes, Graham Riley, and Antoniu Pop. Bounded Stream Scheduling in Polyhedral OpenStream. In IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques, Bologna, Italy, January 2020.
[ bib | http | .pdf ]
BMP⁺20: Guillaume Baudart, Louis Mandel, Marc Pouzet, Eric Atkinson, Benjamin Sherman, and Michael Carbin. Programmation d'Applications Réactives Probabilistes. In JLFA 2020 - Journées Francophones des Langages Applicatifs, Gruissan, France, January 2020.
[ bib | http | .pdf ]

2019

VZT⁺19: Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary Devito, William Moses, Sven Verdoolaege, Andrew Adams, and Albert Cohen. The Next 700 Accelerated Layers. ACM Transactions on Architecture and Code Optimization, 16(4):1–26, December 2019.
[ bib | DOI | http ]
CZGC19: Lorenzo Chelini, Oleksandr Zinenko, Tobias Grosser, and Henk Corporaal. Declarative Loop Tactics for Domain-specific Optimization. ACM Transactions on Architecture and Code Optimization, 16(4):4:1–25, December 2019.
[ bib | DOI | http ]
BCE⁺19: Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, and Marc Pouzet. Multi-Mode DAE Models - Challenges, Theory and Implementation, volume LNCS-10000 of Lecture Notes in Computer Science, pages 283–310. Springer, October 2019.
[ bib | DOI | http | .pdf ]
BMA⁺19: Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin. Reactive Probabilistic Programming. working paper or preprint, August 2019.
[ bib | http ]
DPBI⁺19: Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, and Amaury Graillat. Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware. ACM Transactions on Architecture and Code Optimization, 16(3):1–27, August 2019.
[ bib | DOI | http ]
PHB⁺19: Julien Proy, Karine Heydemann, Alexandre Berzati, Fabien Majeric, and Albert Cohen. A First ISA-Level Characterization of EM Pulse Effects on Superscalar Microarchitectures. In ARES 2019 - 14th International Conference on Availability, Reliability and Security, pages 7:1–7:10, Canterbury, United Kingdom, August 2019. ACM Press.
[ bib | DOI | http | .pdf ]
CZNV19: Benjamin Chung, Francesco Zappa Nardelli, and Jan 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.
[ bib | DOI | http | .pdf ]
Bea19: Ulysse Beaugnon. Efficient code generation for hardware accelerators by refining partially specified implementation, June 2019.
[ bib | http | .pdf ]
DCPBG19: Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, and Adrien 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, pages 43–52, Aachen, Germany, June 2019. IEEE.
[ bib | DOI | http ]
PHM⁺19: Julien Proy, Karine Heydemann, Fabien Majeric, Albert Cohen, and Alexandre Berzati. Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level. working paper or preprint, April 2019.
[ bib | http ]
Red19: Chandan Reddy. Polyhedral Compilation for Domain Specific Languages, March 2019.
[ bib | http | .pdf ]
BP19: Timothy Bourke and Marc Pouzet. Clocked arguments in a verified Lustre compiler. In JFLA 2019 - Les Trentièmes Journées Francophones des Langages Applicatifs, Les actes des trentièmes Journées Francophones des Langages Applicatifs (JFLA 2019), page 16, Les Rousses, France, January 2019.
[ bib | http | .pdf ]
BKZN19: Théophile Bastian, Stephen Kell, and Francesco Zappa Nardelli. Reliable and Fast DWARF-Based Stack Unwinding. Proceedings of the ACM on Programming Languages, OOPSLA, 2019.
[ bib | DOI | http | .pdf ]
NDRP19: Nuno Miguel Nobre, Andi Drebes, Graham Riley, and Antoniu Pop. Beyond Polyhedral Analysis of OpenStream Programs. 9th International Workshop on Polyhedral Compilation Techniques, January 2019.
[ bib | http | .pdf ]

2018

Zha18: Jie Zhao. A combined language and polyhedral approach to heterogeneous parallelism, December 2018.
[ bib | http | .pdf ]
ZCG18: Oleksandr Zinenko, Lorenzo Chelini, and Tobias Grosser. Declarative Transformations in the Polyhedral Model, December 2018.
[ bib | http | .pdf ]
BIP18: Timothy Bourke, Jun Inoue, and Marc Pouzet. Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. Electronic Proceedings in Theoretical Computer Science, 285:101–130, December 2018.
[ bib | DOI | http ]
SRC⁺18: Adilla Susungi, Norman A Rink, Albert Cohen, Jeronimo Castrillon, and Claude Tadonki. Meta-programming for cross-domain tensor optimizations. In 17th International Conference on Generative Programming: Concepts & Experiences (GPCE), pages 79–92, Boston, United States, November 2018.
[ bib | http | .pdf ]
BBC⁺18: Albert Benveniste, Timothy Bourke, Benoit Caillaud, Jean-Louis Colaço, Cédric Pasteur, and Marc Pouzet. Building a Hybrid Systems Modeler on Synchronous Languages Principles. Proceedings of the IEEE, 106(9):1568 – 1592, September 2018.
[ bib | DOI | http | .pdf ]
CPPP18: Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, and Marc Pouzet. Scade 6: from a Kahn Semantics to a Kahn Implementation for Multicore. In Forum on specification & Design Languages (FDL), Munich, Germany, September 2018.
[ bib | http | .pdf ]
BBH⁺18: Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, and Avraham Shinnar. Extending Stan for Deep Probabilistic Programming. working paper or preprint, September 2018.
[ bib | http ]
CLZNV18: Benjamin Chung, Paley Li, Francesco Zappa Nardelli, and Jan Vitek. KafKa: Gradual Typing for Objects. In ECOOP 2018 - 2018 European Conference on Object-Oriented Programming, Amsterdam, Netherlands, July 2018.
[ bib | http | .pdf ]
DPBI⁺18: Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, and Amaury Graillat. Efficient parallelization of large-scale hard real-time applications, June 2018.
[ bib | http | .pdf ]
RGL⁺18: Sathish Ramakrishnan, Andrea Gohlke, Feng Li, Jeff Coleman, Weiming Xu, James E Rothman, and Frédéric Pincet. High-Throughput Monitoring of Single Vesicle Fusion Using Freestanding Membranes and Automated Analysis. Langmuir, 34(20):5849–5859, May 2018.
[ bib | DOI | http | .pdf ]
BBP18: Timothy Bourke, Lélio Brun, and Marc Pouzet. Towards a verified Lustre compiler with modular reset. In 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018), Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018), page 4, Sankt Goar, Germany, May 2018. ACM Press.
[ bib | DOI | http | .pdf ]
AMP⁺18: Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha Roop, and Reinhard von Hanxleden. Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. In ESOP 2018 - European Symposium on Programming, Thessaloniki, Greece, April 2018.
[ bib | http | .pdf ]
ZHB18: Oleksandr Zinenko, Stéphane Huot, and Cédric Bastoul. Visual Program Manipulation in the Polyhedral Model. ACM Transactions on Architecture and Code Optimization, 15(1):1 – 25, March 2018.
[ bib | DOI | http | .pdf ]
ZKC18: Jie Zhao, Michael Kruse, and Albert Cohen. A polyhedral compilation framework for loops with dynamic data-dependent bounds. In CC'18 - 27th International Conference on Compiler Construction, Vienna, Austria, February 2018. ACM Press.
[ bib | DOI | http | .pdf ]
KG18: Michael Kruse and Tobias Grosser. DeLICM: Scalar Dependence Removal at Zero Memory Cost. In CGO'18 - International Symposium on Code Generation and Optimization, pages 241–253, Vienna, Austria, February 2018. ACM Press.
[ bib | DOI | http | .pdf ]
ZVR⁺18: Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, and Albert 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, February 2018. ACM Press.
[ bib | DOI | http | .pdf ]
ZNBP⁺18: Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, and Jan Vitek. Julia Subtyping: A Rational Reconstruction. Proceedings of the ACM on Programming Languages, 27, 2018. OOPSLA, Article 113.
[ bib | DOI | http | .pdf ]
FCD18: Paul Feautrier, Albert Cohen, and Alain Darte. On polynomial Code Generation. In IMPACT 2018, Manchester, United Kingdom, January 2018.
[ bib | http | .pdf ]
SDPB⁺18: Jean Souyris, Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Timothy Bourke, Albert Cohen, and Marc Pouzet. Automatic Parallelization from Lustre Models in Avionics. In ERTS2 2018 - 9th European Congress Embedded Real-Time Software and Systems, Proceedings of the 9th European Congress on Embedded Real-Time Software and Systems (ERTS2), pages 1–4, Toulouse, France, January 2018. 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.
[ bib | http | .pdf ]

2017

PHBC17: Julien Proy, Karine Heydemann, Alexandre Berzati, and Albert Cohen. Compiler-Assisted Loop Hardening Against Fault Attacks. ACM Transactions on Architecture and Code Optimization, 14(4):36, December 2017.
[ bib | DOI | http ]
BBC⁺17: Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, and Marc Pouzet. A Type-based Analysis of Causality Loops in Hybrid Systems Modelers. Nonlinear Analysis: Hybrid Systems, 26:168–189, November 2017.
[ bib | DOI | http | .pdf ]
ZVR⁺17: Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, and Albert Cohen. Unified Polyhedral Modeling of Temporal and Spatial Locality, November 2017.
[ bib | http | .pdf ]
BCC⁺17: Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, and Marc Pouzet. A Synchronous Look at the Simulink Standard Library. In EMSOFT 2017 - 17th International Conference on Embedded Software, page 23, Seoul, South Korea, October 2017. ACM Press.
[ bib | http | .pdf ]
SRC⁺17b: Adilla Susungi, Norman A. Rink, Jeronimo Castrillon, Immo Huismann, Albert Cohen, Claude Tadonki, Jörg Stiller, and Jochen Fröhlich. Towards Compositional and Generative Tensor Optimizations. In GPCE 2017 - 16th International Conference on Generative Programming: Concepts & Experience, volume Volume 52 Issue 12 of Proceedings of GPCE 2017 - 16th International Conference on Generative Programming: Concepts & Experience, pages Pages 169–175, Vancouver, Canada, October 2017.
[ bib | http | .pdf ]
SRC⁺17a: Adilla Susungi, Norman A Rink, Jerónimo Castrillón, Immo Huismann, Albert Cohen, Claude Tadonki, Jörg Stiller, and Jochen Fröhlich. Towards Compositional and Generative Tensor Optimizations. In ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), Vancouver, Canada, October 2017. Poster.
[ bib | http | .pdf ]
CPP17: Jean-Louis Colaço, Bruno Pagano, and Marc Pouzet. Scade 6: A Formal Language for Embedded Critical Software Development. In TASE 2017 - 11th International Symposium on Theoretical Aspects of Software Engineering, pages 1–10, Nice, France, September 2017.
[ bib | http | .pdf ]
vHBG17: Reinhard von Hanxleden, Timothy Bourke, and Alain Girault. Real-Time Ticks for Synchronous Programming. In FDL 2017 - 12th Forum on Specification and Design Languages, Vérone, Italy, September 2017. Electronic Chips & System Design Initiative (ECSI).
[ bib | http | .pdf ]
BBP17: Guillaume Baudart, Timothy Bourke, and Marc Pouzet. Symbolic Simulation of Dataflow Synchronous Programs with Timers. In Daniel Große, Sara Vinco, and Hiren Patel, editors, 12th Forum on Specification and Design Languages (FDL 2017), volume 530 of Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017, page 25, Vérone, Italy, September 2017. Electronic Chips & System Design Initiative (ECSI), Springer.
[ bib | DOI | http | .pdf ]
BBD⁺17: Timothy Bourke, Lélio Brun, Pierre-Evariste Dagand, Xavier Leroy, Marc Pouzet, and Lionel Rieg. A Formally Verified Compiler for Lustre. In PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelone, Spain, June 2017. ACM.
[ bib | http | .pdf ]
BCE⁺17a: Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, and Marc 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.
[ bib | DOI | http | .pdf ]
DCG⁺17: Keryan Didier, Albert Cohen, Adrien Gauffriau, Amaury Graillat, and Dumitru Potop-Butucaru. Sheep in wolf's clothing: Implementation models for data-flow multi-threaded software, April 2017.
[ bib | http | .pdf ]
Mor17: Robin Morisset. Compiler optimisations and relaxed memory consistency models, April 2017.
[ bib | http | .pdf ]
Bau17: Guillaume Baudart. A synchronous approach to quasi-periodic systems, March 2017.
[ bib | http | .pdf ]
BPP⁺17: Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques Pienaar, and Albert Cohen. Optimization Space Pruning without Regrets. In CC 2017 - 26th International Conference on Compiler Construction, Proceedings of the International Conference on Compiler Construction, pages 34–44, Austin, TX, United States, February 2017. ACM Press.
[ bib | DOI | http | .pdf ]
MZN17: Robin Morisset and Francesco Zappa Nardelli. Partially Redundant Fence Elimination for x86, ARM and Power processors. In International Conference on Compiler Construction (CC), Austin, United States, February 2017.
[ bib | http ]
BDPR17: Timothy Bourke, Pierre-Evariste Dagand, Marc Pouzet, and Lionel 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.
[ bib | http | .pdf ]
BCE⁺17b: Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, and Marc Pouzet. Structural Analysis of Multi-Mode DAE Systems, 2017.
[ bib | http | .pdf ]
BMTV17: Guillaume Baudart, Louis Mandel, Olivier Tardieu, and Mandana Vaziri. CloudLens, un langage de script pour l'analyse de données semi-structurées. In JFLA 2017 - 28ième Journées Francophones des Langages Applicatifs, pages 1–16, Gourette, France, January 2017.
[ bib | http | .pdf ]
LFC17: Ivan Llopard, Christian Fabre, and Albert Cohen. A From a Formalized Parallel Action Language to its Efficient Code Generation. ACM Transactions on Embedded Computing Systems (TECS), January 2017.
[ bib | DOI | http | .pdf ]
ZC17: Jie Zhao and Albert 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, pages 1–10, Stockholm, Sweden, January 2017.
[ bib | http | .pdf ]
SCT17: Adilla Susungi, Albert Cohen, and Claude Tadonki. More Data Locality for Static Control Programs on NUMA Architectures. In IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques IMPACT 2017, page 11, Stockholm, Sweden, January 2017.
[ bib | http | .pdf ]

2016

DBP⁺16: Andi Drebes, Jean-Baptiste Bréjon, Antoniu Pop, Karine Heydemann, and Albert Cohen. Language-Centric Performance Analysis of OpenMP Programs with Aftermath. In IWOMP 2016 - 12th International Workshop on OpenMP, volume 9903 of Lecture Notes in Computer Science, pages 237–250, Nara, Japan, October 2016. Springer.
[ bib | DOI | http | .pdf ]
BBP16: Guillaume Baudart, Timothy Bourke, and Marc Pouzet. Soundness of the Quasi-Synchronous Abstraction. In Formal Methods in Computer-Aided Design (FMCAD), Proceedings of the 16th International Conference on Formal Methods in Computer-Aided Design, pages 9–16, Mountain View, CA, United States, October 2016.
[ bib | http | .pdf ]
Lê16: Nhat Minh Lê. Kahn Process Networks as Concurrent Data Structures: Lock Freedom, Parallelism, Relaxation in Shared Memory, September 2016.
[ bib | http | .pdf ]
BIP16: Timothy Bourke, Jun Inoue, and Marc Pouzet. Sundials/ML: interfacing with numerical solvers. ACM Workshop on ML, September 2016.
[ bib | http | .pdf ]
DPH⁺16a: Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen, and Nathalie Drach. Scalable Task Parallelism for NUMA: A Uniform Abstraction for Coordinated Scheduling and Memory Management. In PACT'16 - ACM/IEEE Conference on Parallel Architectures and Compilation Techniques, pages 125 – 137, Haifa, Israel, September 2016.
[ bib | DOI | http | .pdf ]
RKC16: Chandan Reddy, Michael Kruse, and Albert Cohen. Reduction Drawing: Language Constructs and Polyhedral Compilation for Reductions on GPUs. In PACT'16 - ACM/IEEE Conference on Parallel Architectures and Compilation Techniques, pages 87 – 97, Haifa, Israel, September 2016.
[ bib | DOI | http | .pdf ]
PC16: Sebastian Pop and Albert Cohen. SSA-based Compiler Design, volume Loop tree and induction variables. springer, August 2016. ISBN 978-1-4419-6201-0.
[ bib | http ]
BBB16: Guillaume Baudart, Albert Benveniste, and Timothy Bourke. Loosely Time-Triggered Architectures. ACM Transactions on Embedded Computing Systems (TECS), 15:Article 71, August 2016.
[ bib | DOI | http | .pdf ]
ZGA⁺16: Jie Zhao, Stuart Gilchrist, Guillaume Aulanier, Brigitte Schmieder, Etienne Pariat, and Hui Li. Erratum: "Hooked Flare Ribbons And Flux-Rope Related Qsl Footprints" (2016, Apj, 823, 62). The Astrophysical Journal, 825(1):80, July 2016.
[ bib | DOI | http ]
HBC⁺16: Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Jagannathan Ramanujam, and Sadayappan Ponnuswany. Effective padding of multidimensional arrays to avoid cache conflict misses. In PLDI 2016: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, Santa Barbara, United States, June 2016.
[ bib | http ]
BGP⁺16: Denis Barthou, Gilbert Grosdidier, Konstantin Petrov, Michael Kruse, Christine Eisenbeis, Olivier Pène, Olivier Brand-Foissac, Claude Tadonki, and Romain Dolbeau. Automated Code Generation for Lattice QCD Simulation, June 2016.
[ bib | http | .pdf ]
GRCB16: François Gindraud, Fabrice Rastello, Albert Cohen, and François Broquedis. A bounded memory allocator for software-defined global address spaces. In ISMM 2016 - 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, United States, June 2016.
[ bib | http ]
ZAGA⁺16: Jie Zhao, Stuart A. Gilchrist, Guillaume Aulanier, Brigitte Schmieder, Etienne Pariat, and Hui Li. HOOKED FLARE RIBBONS AND FLUX-ROPE-RELATED QSL FOOTPRINTS. The Astrophysical Journal, 823(1):62, May 2016.
[ bib | DOI | http ]
BAC16: Uday Bondhugula, Aravind Acharya, and Albert Cohen. The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests. ACM Transactions on Programming Languages and Systems (TOPLAS), 38(3), May 2016.
[ bib | DOI | http ]
DPHC16: Andi Drebes, Antoniu Pop, Karine Heydemann, and Albert Cohen. Interactive visualization of cross-layer performance anomalies in dynamic task-parallel applications and systems. In IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), pages 274 – 283, Uppsala, Sweden, April 2016.
[ bib | DOI | http | .pdf ]
DLC16: Xuan Khanh Do, Stephane Louise, and Albert Cohen. Transaction Parameterized Dataflow: A Model for Context-Dependent Streaming Applications. In Design, Automation & Test in Europe Conference & Exhibition (DATE), Dresden, Germany, March 2016.
[ bib | http | .pdf ]
DPH⁺16b: Andi Drebes, Antoniu Pop, Karine Heydemann, Nathalie Drach, and Albert Cohen. NUMA-aware scheduling and memory allocation for data-flow task-parallel applications. In ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 44:1–44:2, Barcelona, Spain, March 2016. ACM New York, NY, USA. Poster.
[ bib | DOI | http ]
BvGH16: Timothy Bourke, Robert J van Glabbeek, and Peter Höfner. Mechanizing a Process Algebra for Network Protocols. Journal of Automated Reasoning, 56:309–341, March 2016.
[ bib | DOI | http | .pdf ]
BBC16b: Somashekaracharya G Bhaskaracharya, Uday Bondhugula, and Albert Cohen. SMO: An Integrated Approach to Intra-array and Inter-array Storage Optimization. In POPL 2016 - ACM Symposium on Principles of Programming Languages, pages 526–538, Saint Petersburg, United States, January 2016.
[ bib | DOI | http | .pdf ]
CPPB⁺16: Albert Cohen, Valentin Perrelle, Dumitru Potop-Butucaru, Marc Pouzet, Elie Soubiran, and Zhen Zhang. Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embedded Multi-Cores. In International Conference on Embedded and Real-Time Software and Systems (ERTS2), Toulouse, France, January 2016.
[ bib | http | .pdf ]
CDF16b: Albert Cohen, Alain Darte, and Paul Feautrier. Static Analysis of OpenStream Programs, January 2016. Corresponding publication at IMPACT'16 (http://impact.gforge.inria.fr/impact2016).
[ bib | http | .pdf ]
VC16: Sven Verdoolaege and Albert Cohen. Live Range Reordering. In 6þ Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), Prag, Czech Republic, 2016.
[ bib | http ]
CDF16a: Albert Cohen, Alain Darte, and Paul Feautrier. Static Analysis of OpenStream Programs. In 6th International Workshop on Polyhedral Compilation Techniques (IMPACT'16), held with HIPEAC'16, Proceedings of the IMPACT series, Prague, Czech Republic, January 2016. Michelle Strout and Tomofumi Yuki.
[ bib | http ]
BBC16a: Somashekaracharya G Bhaskaracharya, Uday Bondhugula, and Albert Cohen. Automatic Storage Optimization for Arrays. ACM Transactions on Programming Languages and Systems (TOPLAS), 38:1 – 23, 2016.
[ bib | DOI | http | .pdf ]

2015

BBB15: Guillaume Baudart, Timothy Bourke, and Albert Benveniste. Loosely Time-Triggered Architectures: Improvements and Comparisons. In Proceedings of the 12th International Conference on Embedded Software (EMSOFT '15), Amsterdam, Netherlands, October 2015.
[ bib | DOI | http | .pdf ]
BBP15: Guillaume Baudart, Timothy Bourke, and Marc Pouzet. Soundness of the Quasi-Synchronous Abstraction, August 2015.
[ bib | http | .pdf ]
BCP⁺15: Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, and Marc Pouzet. A Synchronous-based Code Generator For Explicit Hybrid Systems Languages. In International Conference on Compiler Construction (CC), LNCS, London, United Kingdom, July 2015.
[ bib | http ]
RZNJ15: Gregor Richards, Francesco Zappa Nardelli, and Vitek Jan. Concrete Types for TypeScript. In 29th European Conference on Object-Oriented Programming (ECOOP 2015), Prague, Czech Republic, July 2015.
[ bib | DOI | http ]
MPP15: Louis Mandel, Cédric Pasteur, and Marc Pouzet. ReactiveML, ten years later. In 17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), pages 6 – 17, Siena, Italy, July 2015.
[ bib | DOI | http | .pdf ]
PPM15: Marc Pouzet, Cédric Pasteur, and Louis Mandel. Time Refinement in a Functional Synchronous Language. Science of Computer Programming, July 2015.
[ bib | http ]
BCG⁺15: Mohamed Riyadh Baghdadi, Albert Cohen, Tobias Grosser, Sven Verdoolaege, Anton Lokhmotov, Javed Absar, Sven van Haastregt, Alexey Kravets, and Alastair Donaldson. PENCIL Language Specification, May 2015.
[ bib | http | .pdf ]
Ver15: Sven Verdoolaege. PENCIL support in pet and PPCG, March 2015.
[ bib | http | .pdf ]
Coh15a: Albert Cohen. 28th International Conference on the Architecture of Computing Systems (ARCS). Number 9017 in LNCS. Springer, March 2015.
[ bib | http ]
CG15: Albert Cohen and David Grove. Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP). ACM, February 2015.
[ bib | http ]
Coh15b: Albert Cohen. Challenges in Correct-by-Construction Multiprocessor Programming. In EPFL-INRIA Workshop, Lausanne, Switzerland, 2015.
[ bib | http ]
Coh15c: Albert Cohen. Streaming Task Parallelism. In Intl. Conf. on Supercomputing (ICS), Newport Beach, California, United States, 2015. Keynote presentation.
[ bib | http ]
AJP⁺15: Ilan Azuelos, Boris Jung, Martin Picard, Feng Li, Tong Li, Christian Lemaire, Christian Giordano, Sabah Hussain, and Basil Petrof. Relationship between Autophagy and Ventilator-induced Diaphragmatic Dysfunction. Anesthesiology, 122(6):1349 – 1361, 2015.
[ bib | DOI | http ]
VBC⁺15: Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, and Francesco 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.
[ bib | http ]
DLC15a: Xuan Khanh Do, Stéphane Louise, and Albert Cohen. Managing the Latency of Data-Dependent Tasks in Embedded Streaming Applications. In IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2015), Turin, Italy, 2015.
[ bib | http ]
VGC15: Sven Verdoolaege, Tobias Grosser, and Albert Cohen. Polyhedral AST generation is more than scanning polyhedra. ACM Transactions on Programming Languages and Systems (TOPLAS), 37(4), 2015. Original submission, candidate for presentation at PLDI 2016.
[ bib | DOI | http ]
BAB⁺15: Mohamed Riyadh Baghdadi, Javed Absar, Ulysse Beaugnon, Adam Betts, Albert Cohen, Róbert Dávid, Alastair Donaldson, Tobias Grosser, Sven van Haastregt, Elnar Hajiyev, Jeroen Ketema, Alexey Kravets, Michael Kruse, Anton Lokhmotov, Chandan Reddy, and Sven Verdoolaege. Pencil A Platform-Neutral Compute Intermediate Language for DSL Compilers. In 10th International Conference on High Performance and Embedded Architectures and Compilers - HIPEAC 2015, Amsterdam, Netherlands, January 2015.
[ bib | http ]
DLC⁺15b: Xuan Khanh Do, Stéphane Louise, Albert Cohen, Paul Dubrulle, Thierry Goubier, Loïc Cudennec, and Philippe Doré. An Empirical Evaluation of a Programming Model for Context-Dependent Real-time Streaming Applications. In Workshop on Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems (ALCHEMY 2015, associated with ICCS), Reykjavik, Iceland, 2015.
[ bib | http ]
BBC⁺15: Mohamed Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Róbert Dávid, Sven Van Haastregt, Alexey Kravets, Anton Lokhmotov, and Elnar Hajiyev. PENCIL: a Platform-Neutral Compute Intermediate Language for Accelerator Programming. In Parallel Architectures and Compilation Techniques (PACT), San Francisco, California, United States, 2015.
[ bib | http ]

2014

BBCP14: Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet. On the index of multi-mode DAE Systems (also called Hybrid DAE Systems), November 2014.
[ bib | http | .pdf ]
BvGH14a: Timothy Bourke, Robert J. van Glabbeek, and Peter Höfner. A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. In ATVA 2014: Automated Technology for Verification and Analysis, volume 8837 of Lecture Notes in Computer Science, page 17, Sydney, Australia, November 2014. Springer.
[ bib | DOI | http ]
DHD⁺14b: Andi Drebes, Karine Heydemann, Nathalie Drach, Antoniu Pop, and Albert Cohen. Topology-Aware and Dependence-Aware Scheduling and Memory Allocation for Task-Parallel Languages. ACM Transactions on Architecture and Code Optimization, 11(3):30, October 2014.
[ bib | DOI | http ]
Gro14: Tobias Grosser. A decoupled approach to high-level loop optimization : tile shapes, polyhedral building blocks and low-level compilers, October 2014.
[ bib | http | .pdf ]
BH14: Timothy Bourke and Peter Höfner. Loop freedom of the (untimed) AODV routing protocol, October 2014. Entry in the Archive of Formal Proofs (ISSN: 2150-914x).
[ bib | http | .pdf ]
HFDC⁺14: Nicolas Hili, Christian Fabre, Sophie Dupuy-Chessa, Dominique Rieu, and Ivan Llopard. Model-Based Platform Composition for Embedded System Design. In 2014 IEEE 8th International Symposium on Embedded Multicore/Manycore SoCs, Rapid System Prototyping (RSP), pages 23–29, Aizu-Wakamatsu, Japan, September 2014. University of Aizu, IEEE.
[ bib | DOI | http ]
MP14b: Louis Mandel and Cédric Pasteur. Reactivity of Cooperative Systems. In Static Analysis (SAS), volume 8723 of Lecture Notes in Computer Science, page 17, Munich, Germany, September 2014. Springer.
[ bib | DOI | http ]
Vui14b: Jean Vuillemin. Systeme digital : de l'algorithme au circuit. Lecture, September 2014.
[ bib | http | .pdf ]
GVCS14a: Tobias Grosser, Sven Verdoolaege, Albert Cohen, and P. Sadayappan. The relation between diamond tiling and hexagonal tiling. Parallel Processing Letters, 24(3), September 2014.
[ bib | http ]
Bou14: Timothy Bourke. Mechanization of the Algebra for Wireless Networks (AWN), August 2014. Entry in the Archive of Formal Proofs (ISSN: 2150-914x).
[ bib | http | .pdf ]
BvGH14b: Timothy Bourke, Robert J. van Glabbeek, and Peter Höfner. Showing Invariance Compositionally for a Process Algebra for Network Protocols. In ITP 2014: Interactive Theorem Proving, volume 8558 of Lecture Notes in Computer Science, page 16, Vienna, Austria, July 2014. Springer.
[ bib | DOI | http ]
DHD⁺14a: Andi Drebes, Karine Heydemann, Nathalie Drach, Pop Antoniu, and Albert Cohen. Aftermath: Performance analysis of task-parallel applications on many-core NUMA systems. In Tenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi, Italy, July 2014. Poster.
[ bib | http ]
SKG⁺14: Kevin Stock, Martin Kong, Tobias Grosser, Louis-Noël Pouchet, Fabrice Rastello, Jagannathan Ramanujam, and Ponnuswamy Sadayappan. A Framework for Enhancing Data Reuse via Associative Reordering. In PLDI '14 - 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 65–76, Edinburgh, United Kingdom, June 2014. ACM.
[ bib | DOI | http ]
CPPB⁺14: Albert Cohen, Valentin Perrelle, Dumitru Potop-Butucaru, Elie Soubiran, and Zhen Zhang. Mixed-criticality in Railway Systems: A Case Study on Signalling Application. In Workshop on Mixed Criticality for Industrial Systems (WMCIS'2014), Proceedings WMCIS 2014, Paris, France, June 2014.
[ bib | http | .pdf ]
MP14c: Louis Mandel and Cédric Pasteur. Reactivity of Cooperative Systems: Application to ReactiveML – extended version, June 2014.
[ bib | http | .pdf ]
LCG⁺14: Mihai Lazarescu, Albert Cohen, Adrien Guatto, Luciano Lavagno, Nhat Minh Lê, Antoniu Pop, Manuel Prieto, Andrei Terechko, and Alexandru Sutii. Energy-Aware Parallelization Flow and Toolset for C Code. In SCOPES 2014 - 17th International Workshop on Software and Compilers for Embedded Systems, Saint Goar, Germany, June 2014.
[ bib | DOI | http ]
LCFH14: Ivan Llopard, Albert Cohen, Christian Fabre, and Nicolas Hili. A Parallel Action Language for Embedded Applications and its Compilation Flow. In 17th International Workshop on Software and Compilers for Embedded Systems, Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, pages 118–127, Sankt Goar, Germany, June 2014.
[ bib | DOI | http ]
BKH⁺14: Ulysse Beaugnon, Alexey Kravets, Sven Van Haastregt, Mohamed Riyadh Baghdadi, David Tweed, Javed Absar, and Anton Lokhmotov. VOBLA: a vehicle for optimized basic linear algebra. In Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems (LCTES'14), Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems (LCTES'14), pages 115–124, Edinburgh, United Kingdom, June 2014.
[ bib | DOI | http ]
ZRG⁺14: Zhen Zhang, Dimitri Refauvelet, Alain Greiner, Mounir Benabdenbi, and François Pecheux. On-the-Field Test and Configuration Infrastructure for 2-D-Mesh NoCs in Shared-Memory Many-Core Architectures. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 22(6):1364 – 1376, June 2014. Special Issue: 99.
[ bib | DOI | http ]
PVB⁺14: Hector Posadas, Eugenio Villar, Florian Broekaert, Michel Bourdellès, Albert Cohen, Léonard Gérard, Adrien Guatto, Mihai T. Lazarescu, Luciano Lavagno, Nhat Minh Lê, Andrei Terechko, Miguel Glassee, Manuel Prieto, and Antoniu Pop. Improving the Design Flow for Parallel and Heterogeneous Architectures running Real-Time applications: The PHARAON FP7 project. Microprocessors and Microsystems: Embedded Hardware Design , MICPRO2141, June 2014. DOI information: http://dx.doi.org/10.1016/j.micpro.2014.05.003.
[ bib | http ]
DHP⁺14: Andi Drebes, Karine Heydemann, Antoniu Pop, Albert Cohen, and Nathalie Drach. Automatic Detection of Performance Anomalies in Task-Parallel Programs. In 1st Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014), Paderborn, Germany, May 2014.
[ bib | http ]
Li14: Feng Li. Compiling for a multithreaded dataflow architecture : algorithms, tools, and experience, May 2014.
[ bib | http | .pdf ]
Vui14a: Jean Vuillemin. Shared Integer Dichotomy. working paper or preprint, May 2014.
[ bib | http | .pdf ]
BCPP14: Albert Benveniste, Benoît Caillaud, Bruno Pagano, and Marc Pouzet. A Type-Based Analysis of Causality Loops in Hybrid Modelers. In HSCC '14: International Conference on Hybrid Systems: Computation and Control, Proceedings of the 17th international conference on Hybrid systems: computation and control (HSCC '14), page 13, Berlin, Germany, April 2014. ACM Press.
[ bib | DOI | http ]
Coh14: Albert Cohen. 17þ International Conference on Compiler Construction (CC). Number 8409 in lncs. springer, April 2014.
[ bib | http ]
BBBC14: Guillaume Baudart, Albert Benveniste, Anne Bouillard, and Paul Caspi. A Unifying View of Loosely Time-Triggered Architectures, March 2014.
[ bib | http | .pdf ]
GCH⁺14: Tobias Grosser, Albert Cohen, Justin Holewinski, Ponnuswamy Sadayappan, and Sven Verdoolaege. Hybrid Hexagonal/Classical Tiling for GPUs. In Intl. Symp. on Code Generation and Optimization (CGO), Orlando, FL, United States, February 2014.
[ bib | http ]
BBA⁺14: Ulysse Beaugnon, Mohamed Riyadh Baghdadi, Javed Absar, Adam Betts, Albert Cohen, Alastair Donaldson, Tobias Grosser, Sven Van Haastregt, Yabin Hu, Jeroen Ketema, Alexey Kravets, Anton Lokhmotov, and Sven Verdoolaege. PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs. In Domain-Specific Language Design and Implementation (DSLDI, associated with SPLASH/OOPSLA), Portland, Oregon, Unknown Region, 2014.
[ bib | http ]
DLC14: Xuan Khanh Do, Stéphane Louise, and Albert Cohen. Comparing the StreamIt and ΣC Languages for Manycore Processors. In Fourth International workshop on Data-Flow Models for extreme scale computing (DFM 2014, associated with PACT), Edmonton, Canada, 2014.
[ bib | http ]
LWR⁺14: Rainer Leupers, Norbert Wehn, Marco Roodzant, Johannes Stahl, Luca Fanucci, Albert Cohen, and Bernd Janson. Technology transfer towards Horizon 2020. In Design, Automation & Test in Europe Conference & Exhibition (DATE), Dresden, Germany, 2014. 1 page. Special session.
[ bib | DOI | http ]
MP14a: Louis Mandel and Cédric Pasteur. Exécution efficace de programmes ReactiveML. In JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Fréjus, France, January 2014.
[ bib | http | .pdf ]
GM14: Adrien Guatto and Louis Mandel. Réseaux de Kahn à rafales et horloges entières. In JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Fréjus, France, January 2014.
[ bib | http | .pdf ]
VGGC14: Sven Verdoolaege, Serge Guelton, Tobias Grosser, and Albert Cohen. Schedule Trees. In IMPACT - 4th Workshop on Polyhedral Compilation Techniques, associated with HiPEAC, Vienna, Austria, January 2014. ACM.
[ bib | http ]
ZN14: Francesco Zappa Nardelli. Reasoning between Programming Languages and Architectures, January 2014.
[ bib | http | .pdf ]
GVCS14b: Tobias Grosser, Sven Verdoolaege, Albert Cohen, and P. Sadayappan. The relation between diamond tiling and hexagonal tiling. In 1International Workshop on High-Performance Stencil Computations (HiStencils, associated with HiPEAC), Vienna, Austria, 2014.
[ bib | http ]
BBC⁺14: Uday Bondhugula, Vinayaka Bandishti, Albert Cohen, Guillain Potron, and Nicolas Vasilache. Tiling and Optimizing Time-Iterated Computations on Periodic Domains. In Parallel Architectures and Compilation Techniques (PACT), Edmonton, Alberta, Canada, 2014. Nominated for best paper award.
[ bib | http ]
KPP⁺14: Martin Kong, Antoniu Pop, Louis-Noël Pouchet, R. Govindarajan, Albert Cohen, and P. Sadayappan. Compiler/Run-Time Framework for Dynamic Data-Flow Parallelization of Tiled Programs. ACM Transactions on Architecture and Code Optimization, 2014. Selected for presentation at the HiPEAC 2015 Conference.
[ bib | DOI | http ]
DPH⁺14: Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen, and Nathalie Drach. Aftermath: A graphical tool for performance analysis and debugging of fine-grained task-parallel programs and run-time systems. In Seventh Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-2014), Vienna, Austria, January 2014.
[ bib | http ]
GBB⁺14: Roberto Giorgi, Rosa M. Badia, François Bodin, Albert Cohen, Paraskevas Evripidou, Paolo Faraboschi, Bernhard Fechner, Guang R. Gao, Arne Garbade, Rahul Gayatri, Sylvain Girbal, Daniel Goodman, Behran Khan, Souad Koliaï, Joshua Landwehr, Nhat Minh, Feng Li, Mikel Lujàn, Avi Mendelson, Laurent Morin, Nacho Navarro, Tomasz Patejko, Antoniu Pop, Pedro Trancoso, Theo Ungerer, Ian Watson, Sebastian Weis, Stéphane Zuckerman, and Mateo Valero. TERAFLUX: Harnessing dataflow in next generation teradevices. Microprocessors and Microsystems: Embedded Hardware Design , 38(8):pp. 976–990, 2014. Available online 18 April 2014.
[ bib | DOI | http ]

2013

BBC⁺13: Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, and Marc Pouzet. A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers, December 2013. Deliverable D3.1_1 v 1.0 of the Sys2soft collaborative project ”Physics Aware Software”.
[ bib | http | .pdf ]
BS13: Timothy Bourke and Arcot Sowmya. Analyzing an Embedded Sensor with Timed Automata in Uppaal. ACM Transactions on Embedded Computing Systems (TECS), 13(3):44–1–44–26, December 2013.
[ bib | DOI | http | .pdf ]
Pas13: Cédric Pasteur. Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel, November 2013.
[ bib | http | .pdf ]
LGCP13b: Nhat Minh Lê, Adrien Guatto, Albert Cohen, and Antoniu Pop. Correct and Efficient Bounded FIFO Queues. In SBAC-PAD 2013 : International Symposium on Computer Architecture and High Performance Computing, Porto de Galinhas, Brazil, October 2013. IEEE.
[ bib | http | .pdf ]
RHZN⁺13: Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, and Jan Vitek. Flexible access control for JavaScript. In OOPSLA 2013 - CM SIGPLAN international conference on Object oriented programming systems languages & applications, pages 305–322, Indianapolis, IN, United States, October 2013. ACM.
[ bib | DOI | http ]
BMP13: Guillaume Baudart, Louis Mandel, and Marc Pouzet. Programming Mixed Music in ReactiveML. In FARM '13 - ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design, pages 11–22, Boston, United States, September 2013. ACM.
[ bib | DOI | http | .pdf ]
BMJP13: Guillaume Baudart, Louis Mandel, Florent Jacquemard, and Marc Pouzet. A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music. In EMSOFT 2013 - 13th International Conference on Embedded Software, Montreal, Canada, September 2013.
[ bib | http | .pdf ]
SBB⁺13: Marco Solinas, Rosa M. Badia, François Bodin, Albert Cohen, Paraskevas Evripidou, Paolo Faraboschi, Bernhard Fechner, Guang R. Gao, Arne Garbade, Sylvain Girbal, Daniel Goodman, Behram Khan, Souad Koliai, Feng Li, Mikel Luján, Laurent Morin, Avi Mendelson, Nacho Navarro, Antoniu Pop, Pedro Trancoso, Theo Ungerer, Mateo Valero, Sebastian Weis, Ian Watson, Stéphane Zuckerman, and Roberto Giorgi. The TERAFLUX Project: Exploiting the DataFlow Paradigm in Next Generation Teradevices. In DSD, pages 272–279, Los Alamitos, United States, September 2013.
[ bib | http ]
LGCP13a: Nhat Minh Lê, Adrien Guatto, Albert Cohen, and Antoniu Pop. Correct and Efficient Bounded FIFO Queues, September 2013.
[ bib | http | .pdf ]
MPP13: Louis Mandel, Cédric Pasteur, and Marc Pouzet. Time Refinement in a Functional Synchronous Language. In PPDP '13 - 15th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, pages 169–180, Madrid, Spain, September 2013. ACM.
[ bib | DOI | http | .pdf ]
CW13: Albert Cohen and Chenggang Wu. 10th International Symposium on Advanced Parallel Processing Technologies (APPT). Number 8299 in LNCS. Springer, August 2013.
[ bib | http ]
DAB⁺13: Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimellli, Albert Cohen, Christine Eisenbeis, Thierry Viéville, Benjamin Wack, Hugues Bersini, and Guillaume Le Blanc. Informatique et sciences du numérique : Édition spéciale Python. Eyrolles, August 2013.
[ bib | http ]
BBCP13: Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet. Semantics of multi-mode DAE systems, August 2013. Deliverable D.4.1.1 of the ITEA2 Modrio collaborative project.
[ bib | http | .pdf ]
GVCS13: Tobias Grosser, Sven Verdoolaege, Albert Cohen, and P. Sadayappan. The Promises of Hybrid Hexagonal/Classical Tiling for GPU, July 2013.
[ bib | http | .pdf ]
MPZN13: Robin Morisset, Pankaj Pawan, and Francesco 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, pages 187–196, Seattle, WA, United States, June 2013. ACM.
[ bib | DOI | http ]
BP13: Timothy Bourke and Marc Pouzet. Zélus: A Synchronous Language with ODEs. In Calin Belta and Franjo Ivančić, editors, HSCC - 16th International Conference on Hybrid systems: computation and control, Proceedings of the 16th International Conference on Hybrid systems: computation and control, pages 113–118, Philadelphia, United States, April 2013. Calin Belta and Franjo Ivančić, ACM.
[ bib | DOI | http | .pdf ]
CDHK13: Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen. Dagstuhl Seminar 13142 on Correct and Efficient Accelerator Programming, volume 1 of Dagstuhl Reports. Dagstuhl Publishing, April 2013.
[ bib | http ]
CGK⁺13: Albert Cohen, Tobias Grosser, Paul H. J. Kelly, J. Ramanujam, Ponnuswamy Sadayappan, and Sven Verdoolaege. Split Tiling for GPUs: Automatic Parallelization Using Trapezoidal Tiles to Reconcile Parallelism and Locality, avoiding Divergence and Load Imbalance. In GPGPU 6 - Sixth Workshop on General Purpose Processing Using GPUs, Houston, United States, March 2013.
[ bib | http | .pdf ]
CABC13: Chantal Couvreur, Prabhat Avasare, Florian Broekaert, and Albert Cohen. Two-layer Run-Time Power Management for embedded heterogeneous multi-core platforms. In DATE 13 - Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications, Grenoble, France, March 2013. 1 page and poster.
[ bib | http ]
DCR13: Boubacar Diouf, Albert Cohen, and Fabrice Rastello. A Polynomial Spilling Heuristic: Layered Allocation. In CGO 2013 - International Symposium on Code Generation and Optimization, Shenzhen, China, February 2013. IEEE.
[ bib | DOI | http | .pdf ]
LPCZN13: Nhat Minh Lê, Antoniu Pop, Albert Cohen, and Francesco Zappa Nardelli. Correct and Efficient Work-Stealing for Weak Memory Models. In PPoPP '13 - Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 69–80, Shenzhen, China, February 2013.
[ bib | DOI | http | .pdf ]
MP13: Louis Mandel and Cédric Pasteur. Réactivité des systèmes coopératifs : le cas de ReactiveML. In Damien Pous and Christine Tasson, editors, JFLA - Journées francophones des langages applicatifs, Aussois, France, February 2013. Damien Pous and Christine Tasson.
[ bib | http | .pdf ]
LCF⁺13: Ivan Llopard, Albert Cohen, Christian Fabre, Jérôme Martin, Henri-Pierre Charles, and Christian Bernard. Code Generation for an Application-Specific VLIW Processor With Clustered, Addressable Register Files. In ODES'13 - 10th Workshop on Optimizations for DSP and Embedded Systems, associated with CGO, pages 11–19, Shenzhen, China, February 2013. ACM.
[ bib | DOI | http | .pdf ]
GCM⁺13: Roberto Giorgi, Albert Cohen, Avi Mendelson, Nacho Navarro, Theo Ungerer, and Stéphane Zuckerman. Bridging the Exascale Programming Gap with Dataflow-Based Technologies. In 6þ Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG, associated with HiPEAC), Berlin, Germany, 2013.
[ bib | http ]
PCP⁺13: Eunjung Park, John Cavazos, Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, and P. Sadayappan. Predictive Modeling in a Polyhedral Optimization Space. International Journal of Parallel Programming, 41(5):704–750, 2013.
[ bib | DOI | http | .pdf ]
PVB⁺13: Hector Posadas, Eugenio Villar, Florian Broekaert, Michel Bourdellès, Albert Cohen, Antoniu Pop, Nhat Minh Lê, Adrien Guatto, Mihai T. Lazarescu, Luciano Lavagno, Andrei Terechko, Miguel Glassee, Daniel Calvo, and Edouardo de Las Heras. The PHARAON project: Parallel and Heterogeneous Architecture for Real-Time Applications. In Euromicro Conference on Digital System Design (DSD), Santander, Spain, 2013.
[ bib | http ]
Coh13b: Albert Cohen. Who wants to adopt a polyhedral compiler? In 3rd Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), Berlin, Germany, January 2013.
[ bib | http ]
VJC⁺13: Sven Verdoolaege, Juan Carlos Juega, Albert Cohen, José Ignacio Gómez, Christian Tenllado, and Francky Catthoor. Polyhedral Parallel Code Generation for CUDA. ACM Transactions on Architecture and Code Optimization, 9(4):art. 54:1–23, 2013. Selected for presentation at the HiPEAC 2013 Conf.
[ bib | DOI | http ]
PC13: Antoniu Pop and Albert Cohen. OpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs. ACM Transactions on Architecture and Code Optimization, 9(4), 2013. Selected for presentation at the HiPEAC 2013 Conf.
[ bib | DOI | http ]
BCVT13: Riyadh Baghdadi, Albert Cohen, Sven Verdoolaege, and Konrad Trifunović. Improved Loop Tiling based on the Removal of Spurious False Dependences. ACM Transactions on Architecture and Code Optimization, 9(4), 2013. Selected for presentation at the HiPEAC 2013 Conf.
[ bib | DOI | http ]
UC13: Ramakrishna Upadrasta and Albert Cohen. Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra. In POPL'13 - 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 483–496, Rome, Italy, January 2013. ACM.
[ bib | DOI | http | .pdf ]
Coh13a: Albert Cohen. Correct and Efficient Manycore Processor Programming. In Roundtable on “IT systems in the industry: how to ensure software reliability?”, India-France Technology Summit, New Delhi, India, 2013.
[ bib | http ]
JVC⁺13: Juan Carlos Juega, Sven Verdoolaege, Albert Cohen, José Ignacio Gómez, Christian Tenllado, and Francky Catthoor. Patterns for parallel programming on GPUs, volume Evaluation of State-of-the-Art Parallelizing Compilers Generating CUDA Code for Heterogeneous CPU/GPU Computing. Saxe-Cobourg, 2013. ISBN 978-1-874672-57-9.
[ bib | http ]
DHC⁺13: Boubacar Diouf, Can Hantas, Albert Cohen, Özcan Özturk, and Jens Palsberg. A Decoupled Local Memory Allocator. ACM Transactions on Architecture and Code Optimization, 9(4), 2013. Selected for presentation at the HiPEAC 2013 Conf.
[ bib | DOI | http ]
SVZN⁺13: Jaroslav Sevcik, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, and Peter Sewell. CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency. Journal of the ACM (JACM), 60(3):art. 22:1–50, 2013.
[ bib | DOI | http ]

2012

BCG⁺12: Mohamed Riyadh Baghdadi, Albert Cohen, Serge Guelton, Sven Verdoolaege, Jun Inoue, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, Fraser Waters, and Alastair Donaldson. PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs. In WOLFHPC 2012 - 2nd Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing, Salt Lake City, Utah, United States, November 2012.
[ bib | http ]
SCH⁺12: Vijay Saraswat, David Cunningham, Liana Hadarean, Louis Mandel, Avraham Shinnar, and Olivier Tardieu. Constrained Types - Future Directions. In CP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Québec, Canada, October 2012. Position Paper.
[ bib | http ]
CGP12: Albert Cohen, Léonard Gérard, and Marc Pouzet. Programming Parallelism with Futures in Lustre. In EMSOFT '12 Proceedings of the tenth ACM international conference on Embedded software, pages 197–206, Tampere, Finland, Finland, October 2012. ACM. Best paper award.
[ bib | DOI | http ]
Bau12: Guillaume Baudart. Antescofo : vers une programmation synchrone, September 2012.
[ bib | http | .pdf ]
DAB⁺12a: Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimelli, Albert Cohen, Christine Eisenbeis, Thierry Viéville, Benjamin Wack, and Gérard Berry. Informatique et sciences du numérique – Spécialité ISN en terminale S, avec des exercices corrigés et des idées de projets. Eyrolles, August 2012.
[ bib | http ]
DAB⁺12b: Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimellli, Albert Cohen, Christine Eisenbeis, Thierry Viéville, and Benjamin Wack. Informatique et Sciences du Numérique - Spécialité ISN en Terminale S. Eyrolles, August 2012.
[ bib | http ]
PC12a: Antoniu Pop and Albert Cohen. Control-Driven Data Flow, July 2012.
[ bib | http | .pdf ]
DCR12: Boubacar Diouf, Albert Cohen, and Fabrice Rastello. A Polynomial Spilling Heuristic: Layered Allocation, July 2012.
[ bib | http | .pdf ]
BTF⁺12: Mounira Bachir, Sid Touati, Brault Frédéric, David Gregg, and Albert Cohen. Minimal Unroll Factor for Code Generation of Software Pipelining. International Journal of Parallel Programming, July 2012.
[ bib | DOI | http | .pdf ]
BCT12: Mounira Bachir, Albert Cohen, and Sid Touati. On the Effectiveness of Register Moves to Minimise Post-Pass Unrolling in Software Pipelined Loops. In ACM IEEE, editor, HPCS 2012 : International Conference on High Performance Computing & Simulation, Madrid, Spain, July 2012. Pr Waleed Smari.
[ bib | http | .pdf ]
MP12: Louis Mandel and Florence Plateau. Scheduling and Buffer Sizing of n-Synchronous Systems. In Eleventh International Conference on Mathematics of Program Construction (MPC'12), Madrid, Spain, June 2012.
[ bib | http | .pdf ]
GGPP12: Léonard Gérard, Adrien Guatto, Cédric Pasteur, and Marc 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, pages 51–60, Beijing, China, June 2012. ACM.
[ bib | DOI | http ]
PC12b: Antoniu Pop and Albert Cohen. Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs, June 2012.
[ bib | http | .pdf ]
PC12c: Antoniu Pop and Albert Cohen. Work-Streaming Compilation of Futures. In PLACES'12 - 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Tallin, Estonia, March 2012.
[ bib | http ]
DUDdD12: Dibyendu Das, Ramakrishna Upadrasta, and Benoît Dupont de Dinechin. Efficient Liveness Computation Using Merge Sets and DJ-Graphs. ACM Transactions on Architecture and Code Optimization, 8(4), January 2012.
[ bib | DOI | http | .pdf ]
Vui12: Jean (etienne) Vuillemin. Defensive Leakage Camouflage. In Stefan Mangard, editor, Smart Card Research and Advanced Applications - 11th International Conference, CARDIS , volume 7771 of Lecture Notes in Computer Science, Graz, Austria, Austria, 2012. Stefan Mangard.
[ bib | http ]
LAC12: Feng Li, Boris Arnoux, and Albert Cohen. A Compiler and Runtime System Perspective to Scalable Data-Flow Computing. In 5th Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG), Paris, France, January 2012.
[ bib | http ]
UC12: Ramakrishna Upadrasta and Albert Cohen. A Case for Strongly Polynomial Time Sub-Polyhedral Scheduling Using Two-Variable-Per-Inequality Polyhedra. In IMPACT 2012 - 2nd Workshop on Polyhedral Compilation Techniques (associated with HiPEAC), Paris, France, January 2012.
[ bib | http ]
LPC12: Feng Li, Antoniu Pop, and Albert Cohen. Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs. IEEE Micro, 32(4):19–31, 2012.
[ bib | DOI | http | .pdf ]
BBCP12: Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet. Non-standard semantics of hybrid systems modelers. Journal of Computer and System Sciences, 78(3):877–910, 2012.
[ bib | DOI | http ]
VCC12: Jean-Yves Vet, Patrick Carribault, and Albert Cohen. Multigrain Affinity for Heterogeneous Work Stealing. In Programmability Issues for Heterogeneous Multicores, France, January 2012.
[ bib | http | .pdf ]

2011

Dio11: Boubacar Diouf. Decoupled approaches to register and software controlled memory allocations, December 2011.
[ bib | http | .pdf ]
MPP11: Louis Mandel, Florence Plateau, and Marc 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.
[ bib | http | .pdf ]
BBCP11a: Albert Benveniste, Timothy Bourke, Benoit Caillaud, and Marc Pouzet. A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code. In EMSOFT 2011 - Embedded Software, Taipei, Taiwan, October 2011.
[ bib | DOI | http | .pdf ]
HC11a: Sean Halle and Albert Cohen. A Mutable Hardware Abstraction to Replace Threads. In LCPC'11 - The 24th International Workshop on Languages and Compilers for Parallel Computing, Fort Collins, United States, September 2011.
[ bib | http | .pdf ]
VCB11: Sven Verdoolaege, Albert Cohen, and Anna Beletska. Transitive Closures of Affine Integer Tuple Relations and their Overapproximations. In Eran Yahav, editor, SAS 2011 - The 18th International Static Analysis Symposium, volume 6887 of LNCS, pages 216–232, Venice, Italy, September 2011. Springer.
[ bib | DOI | http | .pdf ]
Tri11: Konrad Trifunovic. Efficient search-based strategies for polyhedral compilation : algorithms and experience in a production compiler, July 2011.
[ bib | http | .pdf ]
TCRL11: Konrad Trifunovic, Albert Cohen, Ladelski Razya, and Feng Li. Elimination of memory-based dependences for loop-nest optimization and parallelization. In GROW 2011 : 3rd Workshop on GCC Research Opportunities, Chamonix, France, June 2011.
[ bib | http ]
HC11b: Sean Halle and Albert Cohen. Support of Collective Effort Towards Performance Portability. In HotPar'11 - 3rd USENIX Workshop on Hot Topics in Parallelism, Berkeley, United States, May 2011.
[ bib | http | .pdf ]
BBCP11b: Albert Benveniste, Timothy Bourke, Benoit Caillaud, and Marc Pouzet. Divide and recycle: types and compilation for a hybrid synchronous language. In Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, United States, April 2011.
[ bib | DOI | http ]
LPC11a: Feng Li, Antoniu Pop, and Albert Cohen. Advances in Parallel-Stage Decoupled Software Pipelining Leveraging Loop Distribution, Stream-Computing and the SSA Form. In WIR 2011: Workshop on Intermediate Representations, pages pp.29–36, Chamonix, France, April 2011. Florent Bouchez and Sebastian Hack and Eelco Visser. 8 pages Categories and Subject Descriptors D.3.4 [Programming Languages]: Processors-Compilers, Optimization.
[ bib | http | .pdf ]
LAC11: Feng Li, Pop Antoniu, and Albert Cohen. Advances in Parallel-Stage Decoupled Software Pipelining. In WIR, France, April 2011.
[ bib | http | .pdf ]
SVZN⁺11: Jaroslav Sevcik, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, and Peter Sewell. Relaxed-memory concurrency and verified compilation. In POPL - 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Austin, TX, United States, January 2011.
[ bib | http ]
NDR⁺11: Dorit Nuzman, Sergei Dyshel, Erven Rohou, Ira Rosen, Kevin Williams, David Yuste, Albert Cohen, and Ayal Zaks. Vapor SIMD – Auto-Vectorize Once, Run Everywhere. In cgo # (CGO), Chamonix, France, 2011.
[ bib | http ]
UC11: Ramakrishna Upadrasta and Albert Cohen. Exploring the use of Sub-Polyhedra in the Polyhedral Model: A TVPI Based Approach. In 1Workshop on Polyhedral Compilation Techniques (IMPACT, associated with CGO), Chamonix, France, 2011.
[ bib | http ]
CGLV11: Philippe Clauss, Diego Garbervetsky, Vincent Loechner, and Sven Verdoolaege. Polyhedral Techniques for Parametric Memory Requirement Estimation. Chapman & Hall/Crc Computer and Information Science. Taylor and Francis, 2011.
[ bib | http ]
LPC11b: Feng Li, Antoniu Pop, and Albert Cohen. Extending Loop Distribution to PS-DSWP. In 1Workshop on Intermediate Representations (WIR, associated with CGO), Chamonix, France, 2011.
[ bib | http ]
TCLL11: Konrad Trifunović, Albert Cohen, Razya Ladelski, and Feng Li. Elimination of Memory-Based Dependences for Loop-Nest Optimization and Parallelization: Evaluation of a Revised Violated Dependence Analysis Method on a Three-Address Code Polyhedral Compiler. In 3rd GCC Research Opportunities Workshop (GROW, associated with CGO), Chamonix, France, 2011.
[ bib | http ]