Publications

2017

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. Research Report RR-9110, Inria Paris, November 2017.
bib | http | .pdf ]
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 ]
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 ]
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 12th Forum on Specification and Design Languages (FDL 2017), Vérone, Italy, September 2017. Electronic Chips & System Design Initiative (ECSI).
bib | 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 ]
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. Research Report RR-9057, Inria Paris, April 2017.
bib | http | .pdf ]
BCE+17
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 ]
Bau17
Guillaume Baudart. A Synchronous Approach to Quasi-Periodic Systems. Theses, Ecole normale supérieure - ENS PARIS, March 2017.
bib | 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 ]
BPP+17
Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques Pienaar, and Albert Cohen. Optimization Space Pruning without Regrets. In Compiler Construction, Proceedings of the International Conference on Compiler Construction, page 10, Austin, TX, United States, February 2017. ACM Press.
bib | DOI | 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 ]
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 ]
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, Stockholm, Sweden, January 2017.
bib | http | .pdf ]

2016

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 ]
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 ]
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 ]
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 ]
BIP16
Timothy Bourke, Jun Inoue, and Marc Pouzet. Sundials/ML: interfacing with numerical solvers. ACM Workshop on ML, September 2016.
bib | http | .pdf ]
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 ]
PC16
Sebastian Pop and Albert Cohen. SSA-based Compiler Design. In Fabrice Rastello, editor, SSA-based Compiler Design, volume Loop tree and induction variables. springer, August 2016. ISBN 978-1-4419-6201-0.
bib | http ]
HBC+16
Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. 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 ]
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 ]
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. Research report, University of Bordeaux, University of Paris Sud, INRIA, University of Paris Sud, Mines ParisTech, CAPS Entreprise, June 2016.
bib | http | .pdf ]
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 ]
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 ]
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. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, March 2016. Poster.
bib | DOI | http ]
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 ]
CDF16a
Albert Cohen, Alain Darte, and Paul Feautrier. Static Analysis of OpenStream Programs. Research Report RR-8764, CNRS ; Inria ; ENS Lyon, January 2016. Corresponding publication at IMPACT'16 (http://impact.gforge.inria.fr/impact2016).
bib | http | .pdf ]
CDF16b
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 ]
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 ]
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 ]
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. Research Report RR-8755, INRIA Paris-Rocquencourt ; INRIA, August 2015.
bib | http | .pdf ]
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 ]
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 ]
BCG+15
Riyadh Baghdadi, Albert Cohen, Tobias Grosser, Sven Verdoolaege, Anton Lokhmotov, Javed Absar, Sven Van Haastregt, Alexey Kravets, and Alastair Donaldson. PENCIL Language Specification. Research Report RR-8706, INRIA, May 2015.
bib | http | .pdf ]
Ver15
Sven Verdoolaege. PENCIL support in pet and PPCG. Technical Report RT-0457, INRIA Paris-Rocquencourt ; INRIA, March 2015.
bib | http | .pdf ]
Coh15a
Albert Cohen, editor. 28th International Conference on the Architecture of Computing Systems (ARCS), number 9017 in LNCS, Porto, Portugal, March 2015. Springer.
bib | http ]
CG15
Albert Cohen and David Grove, editors. Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Burlingame, California, United States, February 2015. ACM.
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 ]
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 ]
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 ]
Coh15c
Albert Cohen. Streaming Task Parallelism. In Intl. Conf. on Supercomputing (ICS), Newport Beach, California, United States, 2015. Keynote presentation.
bib | http ]
Coh15b
Albert Cohen. Challenges in Correct-by-Construction Multiprocessor Programming. In EPFL-INRIA Workshop, Lausanne, Switzerland, 2015.
bib | http ]
BBC+15
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 ]
bag15
Pencil A Platform-Neutral Compute Intermediate Language for DSL Compilers, Amsterdam, Netherlands, January 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 | 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). Research Report RR-8630, Inria, 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 ]
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 ]
Gro14
Tobias Grosser. A decoupled approach to high-level loop optimization : tile shapes, polyhedral building blocks and low-level compilers. Theses, Université Pierre et Marie Curie - Paris VI, October 2014.
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, Aizu-Wakamatsu, Japan, September 2014. University of Aizu.
bib | http ]
Vui14b
Jean Vuillemin. Systeme digital : de l'algorithme au circuit. Lecture, September 2014.
bib | http | .pdf ]
GVCS14b
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 ]
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 ]
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 ]
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. Tenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, July 2014. Poster.
bib | http ]
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 ]
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 ]
ZRG+14
Zhen Zhang, Dimitri Refauvelet, Alain Greiner, Mounir Benabdenbi, and Fran cois 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 ]
BKH+14
Ulysse Beaugnon, Alexey Kravets, Sven Van Haastregt, 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 ]
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 (MICPRO), MICPRO2141, June 2014. DOI information: http://dx.doi.org/10.1016/j.micpro.2014.05.003.
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 ]
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 ]
MP14c
Louis Mandel and Cédric Pasteur. Reactivity of Cooperative Systems: Application to ReactiveML – extended version. Research Report RR-8549, INRIA, June 2014.
bib | http | .pdf ]
Vui14a
Jean Vuillemin. Shared Integer Dichotomy. working paper or preprint, May 2014.
bib | http | .pdf ]
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. Theses, Université Pierre et Marie Curie - Paris VI, May 2014.
bib | http | .pdf ]
Coh14
Albert Cohen, editor. 17þ International Conference on Compiler Construction (CC), number 8409 in lncs, Grenoble, France, April 2014. springer.
bib | http ]
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 ]
BBBC14
Guillaume Baudart, Albert Benveniste, Anne Bouillard, and Paul Caspi. A Unifying View of Loosely Time-Triggered Architectures. Research Report RR-8494, INRIA, 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 ]
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 ]
CPPB+14
Albert Cohen, Valentin Perrelle, Dumitru Potop-Butucaru, Elie Soubiran, and Zhen Zhang. Mixed-criticality in Railway Systems: A Case Study on Signaling Application. In Workshop on Mixed Criticality for Industrial Systems (WMCIS, associated with Ada-Europe), Paris, France, 2014.
bib | 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 ]
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 (MICPRO), 38(8):pp. 976–990, 2014. Available online 18 April 2014.
bib | DOI | http ]
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 ]
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. taco # (TACO), 2014. Selected for presentation at the HiPEAC 2015 Conference.
bib | http ]
GVCS14a
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 ]
BBA+14
Ulysse Beaugnon, 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 or Invalid Region, 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 ]
ZN14
Francesco Zappa Nardelli. Reasoning between Programming Languages and Architectures. Habilitation à diriger des recherches, ENS Paris - Ecole Normale Supérieure de Paris, 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 ]

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. Theses, Université Pierre et Marie Curie - Paris VI, November 2013.
bib | http | .pdf ]
RHZN+13
Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, and Jan Vitek. Flexible access control for JavaScript. In OOPSLA'13 - CM SIGPLAN international conference on Object oriented programming systems languages & applications, pages 305–322, Indianapolis, IN, United States, October 2013. ACM.
bib | DOI | http ]
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 ]
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 ]
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 ]
LGCP13a
Nhat Minh Lê, Adrien Guatto, Albert Cohen, and Antoniu Pop. Correct and Efficient Bounded FIFO Queues. Research Report RR-8365, INRIA, 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 ]
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 ]
CW13
Albert Cohen and Chenggang Wu. 10th International Symposium on Advanced Parallel Processing Technologies (APPT). Number 8299 in LNCS. Springer, August 2013.
bib | http ]
GVCS13
Tobias Grosser, Sven Verdoolaege, Albert Cohen, and P. Sadayappan. The Promises of Hybrid Hexagonal/Classical Tiling for GPU. Research Report RR-8339, INRIA, 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'13 - 34th ACM SIGPLAN conference on Programming language design and implementation, pages 187–196, Seattle, WA, United States, June 2013. ACM.
bib | DOI | http ]
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 ]
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 ]
CGK+13
Albert Cohen, Tobias Grosser, Paul H. J. Kelly, J. Ramanujam, P. 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 ]
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 ]
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 ]
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 ]
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), 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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
JVC+13
Juan Carlos Juega, Sven Verdoolaege, Albert Cohen, José Ignacio Gómez, Christian Tenllado, and Francky Catthoor. Patterns for parallel programming on GPUs. In Frédéric Magoulès, editor, 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 ]
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 ]
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 ]
Coh13b
Albert Cohen. Who wants to adopt a polyhedral compiler? In 3Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), Unknown, Unknown or Invalid Region, 2013.
bib | 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):22, 2013.
bib | DOI | http ]

2012

BCG+12
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 ]
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 ]
SCH+12
Vijay Saraswat, David Cunningham, Liana Hadarean, Louis Mandel, Avraham Shinnar, and Olivier Tardieu. Constrained Types - Future Directions. In CP - 18th International Conference on Principles and Practice of Constraint Programming - 2012, Québec, Canada, October 2012. Position Paper.
bib | http ]
Bau12
Guillaume Baudart. Antescofo : vers une programmation synchrone. Master's thesis, Master ATIAM, Université Pierre et Marie Curie (UPMC) et IRCAM, September 2012.
bib | http | .pdf ]
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 ]
DAB+12a
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimelli, Albert Cohen, Christine Eisenbeis, Thierry Viéville, Benjamin Wack, and Gérard Berry (préface). 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 ]
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 ]
PC12a
Antoniu Pop and Albert Cohen. Control-Driven Data Flow. Research Report RR-8015, INRIA, July 2012.
bib | http | .pdf ]
DCR12
Boubacar Diouf, Albert Albert.Cohen@inria.Fr Cohen, and Fabrice Rastello. A Polynomial Spilling Heuristic: Layered Allocation. Research Report RR-8007, INRIA, 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 ]
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. Research Report RR-8001, INRIA, 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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]

2011

Dio11
Boubacar Diouf. Decoupled approaches to register and software controlled memory allocations. Theses, Université Paris Sud - Paris XI, December 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 Embedded Software (EMSOFT), 2011, Taipei, Taiwan, October 2011.
bib | DOI | http ]
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 ]
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. Theses, Université Paris Sud - Paris XI, 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 ]
LAC11
Feng Li, Pop Antoniu, and Albert Cohen. Advances in Parallel-Stage Decoupled Software Pipelining. In WIR, France, April 2011.
bib | http | .pdf ]
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 ]
SVZN+11
Jaroslav Sevcik, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, and Peter Sewell. Relaxed-memory concurrency and verified compilation. In POPL, Austin, TX, United States, January 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 3GCC Research Opportunities Workshop (GROW, associated with 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 ]
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 ]
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 ]
CGLV11
Philippe Clauss, Diego Garbervetsky, Vincent Loechner, and Sven Verdoolaege. Polyhedral Techniques for Parametric Memory Requirement Estimation. In F. Balasa and D. Pradhan, editors, Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach, Chapman & Hall/Crc Computer and Information Science. Taylor and Francis, 2011.
bib | http ]