Publications

2017

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 ]
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 ]
Keywords: D13 [Programming Techniques]: Concurrent programming ; Parallel programming ; D22 [Design Tools and Techniques]: Object-oriented design methods ; State diagrams ; General Terms: Languages ; Algorithms ; Performance ; Additional Key Words and Phrases: Action Language ; Parallels Languages ; Model Driven Engineering
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, Gourettes, France, January 2017.
bib | http | .pdf ]
Keywords: Langages synchrones (Lustre) ; Compilation ; Assistants de Preuve (Coq)

2016

DBP+16a
Andi Drebes, Jean-Baptiste Bréjon, Antoniu Pop, Karine Heydemann, and Albert Cohen. Language-Centric Performance Analysis of OpenMP Programs with Aftermath. In International Workshop on OpenMP, Nara, Japan, October 2016.
bib | http | .pdf ]
Keywords: OpenMP ; Performance Analysis ; Tracing
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 ]
Keywords: Quasi-synchrony ; Synchronous Programming ; Verification ; Model Checking ; Real-Time Embedded Systems
DBP+16b
Andi Drebes, Jean-Baptiste Bréjon, Antoniu Pop, Karine Heydemann, and Albert Cohen. Language-Centric Performance Analysis of OpenMP Programs with Aftermath. In International Workshop on OpenMP (IWOMP), pages 237 – 250, Nara, Japan, October 2016.
bib | DOI | http | .pdf ]
Keywords: OpenMP ; Performance Analysis ; Tracing
DPH+16a
Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen, and Nathalie Drach. Scalable Task Parallelism for NUMA: A Uniform Abstractionfor Coordinated Scheduling and Memory Management. In PACT : International Conference on Parallel Architectures and Compilation, pages 125–137, Haifa, Israel, September 2016. ACM New York, NY, USA.
bib | DOI | http ]
Keywords: Task-parallel programming ; NUMA ; Scheduling ; Memory allocation ; Data- ow programming.
BIP16
Timothy Bourke, Jun Inoue, and Marc Pouzet. Sundials/ML: interfacing with numerical solvers. ACM Workshop on ML, September 2016.
bib | http | .pdf ]
Keywords: OCaml ; Sundials ; Foreign Function Interfaces (FFI)
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 ]
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 ]
Keywords: Back-Pressure LTTA ; Time-Based LTTA ; Quasi-periodic Architectures ; Loosely Time-Triggered Architectures
BCP+16
Albert Benveniste, Benoît Caillaud, Marc Pouzet, Hilding Elmqvist, and Martin Otter. Structural Analysis of Multi-Mode DAE Systems. Research Report RR-8933, Inria, July 2016.
bib | http | .pdf ]
Keywords: Hybrid systems ; DAE ; index ; nonstandard analysis ; DAE systems ; index ; systèmes hybrides ; analyse non standard
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 ]
Keywords: memory allocator ; PGAS ; POSoC ; Global address space ; GAS
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 ]
Keywords: array padding ; data cache ; performance ; conflict misses ; padding
ABC16
Aravind Acharya, Uday Bondhugula, and Albert Cohen. Polyhedral Auto-Transformation almost without ILP. ACM Transactions on Programming Languages and Systems (TOPLAS), May 2016.
bib | http | .pdf ]
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 Albert.Cohen@inria.Fr 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 ]
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 ]
Keywords: Mobile Ad hoc Networks ; Wireless Mesh Networks ; Interactive Theorem Proving (Isabelle/HOL) ; Compositional Invariant Proofs ; Networks ; Process Algebra
BBC16c
Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, and Albert Cohen. SMO: An Integrated Approach To Intra-Array and Inter-Array Storage Optimization. In Symp. on Principles of Programming Languages (POPL), St Petersburg, FL, United States, 2016.
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+16a
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 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Toulouse, France, January 2016.
bib | http | .pdf ]
Keywords: Time-triggered execution ; Synchronous Language ; Embedded real-time system ; Mixed criticalities ; Multi-core
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 ]
Keywords: Dependences ; Deadlocks ; Polyhedral analysis and optimizations ; Scheduling ; Ordonnancement ; Deadlocks ; Analyses et optimisations polyédriques ; Dépendances
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 ]
BBC16d
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 ]
Keywords: array contraction ; polyhedral framework ; D34 [Programming Lan- ; guages]: Processors-Compilers ; optimization ; Keywords Compilers ; storage mapping optimization ; memory ; optimization
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 ]
Keywords: D34 [Programming Languages]: Processors-Compilers ; optimiza- ; tion ; General Terms: Algorithms ; Design ; Experimentation ; Performance ; Additional Key Words and Phrases: Compilers ; storage mapping optimization ; memory optimization ; array ; contraction ; polyhedral framework ; ACM Reference Format:
BBC16b
Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, and Albert Cohen. Automatic Storage Optimization for Arrays. ACM Transactions on Programming Languages and Systems (TOPLAS), 2016. Original submission, candidate for presentation at PLDI 2016.
bib | 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), 2016.
bib | http ]
CPPB+16b
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 ]
Keywords: Index Terms-Mixed criticalities ; Multi-core ; Embedded real- time system ; Synchronous Language ; Time-triggered execution

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 ]
Keywords: Quasi-Synchronous Abstraction ; Quasi-periodic Architectures
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 ]
Keywords: Hybrid systems ; synchronous languages ; compilation
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 ]
PPM15
Marc Pouzet, Cédric Pasteur, and Louis Mandel. Time Refinement in a Functional Synchronous Language. Science of Computer Programming, July 2015.
bib | http ]
Keywords: Reactive systems ; synchronous languages ; ML ; type systems ; compilation
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 ]
Keywords: PENCIL ; DSL ; Accelerator ; Domain Specific Language ; Intermediate Language ; OpenCL
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 ]
Ver15
Sven Verdoolaege. PENCIL support in pet and PPCG. Technical Report RT-0457, INRIA Paris-Rocquencourt ; INRIA, March 2015.
bib | http | .pdf ]
Keywords: polyhedral compilation ; function summary ; array of structures ; live-range reordering ; dead code elimination
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 ]
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 ]
Coh15c
Albert Cohen. Streaming Task Parallelism. In Intl. Conf. on Supercomputing (ICS), Newport Beach, California, United States, 2015. Keynote presentation.
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 ]
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 ]
bag15
Pencil A Platform-Neutral Compute Intermediate Language for DSL Compilers, Amsterdam, Netherlands, January 2015.
bib | http ]
Keywords: PENCIL
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 ]
Keywords: Concurrency ; C/C++ ; Compilers ; Weak memory models ; Program transformations
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

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 ]
Keywords: AODV ; protocol verification ; Isabelle/HOL
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, , November 2014.
bib | http | .pdf ]
Keywords: Hybrid systems ; DAE ; index ; nonstandard analysis
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 ]
Keywords: Protocol Verification ; Isabelle/HOL ; AODV
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 ]
Keywords: Polyhedric ; Hexagonal tiling ; Polyhedrique ; Compilation ; Pochoir ; Boucle ; Delinearization
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 ]
Keywords: dataflow programming ; concurrent programming ; dynamic scheduling ; fifo queue ; work stealing ; lock-free algorithm
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 ]
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 ]
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 ]
Keywords: Cooperative scheduling ; Type systems ; Semantics ; Functional languages ; Synchronous languages
Vui14
Jean Vuillemin. Systeme digital : de l'algorithme au circuit. Lecture, September 2014.
bib | http | .pdf ]
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 ]
Keywords: Interactive Theorem Proving ; Compositional Verification ; Process Algebra ; Reactive Systems ; Invariant proof
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 ]
Keywords: Isabelle/HOL ; process algebra ; reactive systems ; invariance proofs ; network protocols
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 ]
Keywords: NUMA ; Many-core ; Trace analysis ; Task parallelism ; Performance debugging
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 ]
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 ]
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 ]
Keywords: logic design ; shared-memory ; network on chip
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 ]
Keywords: Action Language ; Parallel Languages ; Model Driven Engineering
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 ]
Keywords: Cooperative scheduling ; Type systems ; Semantics ; Functional languages ; Synchronous languages
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 ]
Keywords: Flot de données ; Parallélisation ; Multiprocesseur ; Architecture ; Partitionnement d'un programme ; Dataflow ; Multiprocessors
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 ]
Keywords: Trace visualization ; many-core ; Performance analysis ; Task parallelism ; Trace-based performance analysis
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 ]
Keywords: Hybrid systems ; Synchronous programming languages ; Type systems ; Block diagrams ; Static analysis
DP14
Antonin Delpeuch and Anne Preller. From Natural Language to RDF Graphs with Pregroups. In EACL'2014: 14th Conference of the European Chapter of the Association for Computational Linguistics, pages 55–62, Gothenburg, Sweden, April 2014. EACL.
bib | http | .pdf ]
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 ]
Keywords: Time-Triggered Architecture ; Elastic Circuits ; Loosely Time-Triggered Architecture
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 ]
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 ]
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 ]
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 ]
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 ]
Keywords: Multi-cores ; Dataflow ; Programming model ; Compilation ; Reliability ; Architecture ; Simulation ; Many-cores ; Exascale computing
RZNV14
Gregor Richards, Francesco Zappa Nardelli, and Jan Vitek. Concrete Types for JavaScript, 2014. Submitted.
bib | http ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
Keywords: Programming languges ; Semantics ; Concurrency ; Langages de programmation ; Concurrence
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 ]
Keywords: Performance debugging ; trace visualization ; Perfomance analysis ; task parallelism

2013

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 ]
Keywords: Timed automata ; Uppaal ; timing diagrams ; timed trace inclusion
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 ]
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 ]
Keywords: Concurrency ; Refinement ; Synchronous languages ; Functional languages ; Semantics ; Type-and-effect systems ; Parallelism ; Concurrence ; Raffinement ; Langages synchrones ; Langages fonctionnels ; Sémantique ; Systèmes de types-et-effets ; Parallélisme
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 ]
Keywords: JavaScript ; Access control ; Security
LGCP13a
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 ]
LGCP13b
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 ]
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 ]
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 ]
CW13
Albert Cohen and Chenggang Wu. 10th International Symposium on Advanced Parallel Processing Technologies (APPT). Number 8299 in LNCS. Springer, 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 ]
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 ]
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 ]
Keywords: C11/C++11 memory model ; compiler testing
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 ]
Keywords: Hybrid systems ; Hybrid automata ; Synchronous languages ; Block diagrams ; Type systems
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 ]
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 ]
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 ]
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 ]
Mir13
Cupertino Miranda. Erbium : Reconciling languages, runtimes, compilation and optimizations for streaming applications. Theses, Université Paris Sud - Paris XI, February 2013.
bib | http | .pdf ]
Keywords: Runtime ; Streaming data-flow ; Intermediate representation ; Calcul sur des flux de données ; Représentation intermédiaire ; Compilation ; Optimisations ; Au moment de l'exécution
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 ]
Keywords: Compilers ; Register allocation
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 ]
Keywords: Clustered VLIW ; address generation ; LLVM ; back-end compiler
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 ]
Keywords: ReactiveML ; Systèmes coopératifs
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 ]
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 ]
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, 60(3):22, 2013.
bib | DOI | http ]
Keywords: Relaxed memory models ; semantics ; verified compilation
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 ]
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 ]
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 ]
UC13b
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 ]
UC13a
Ramakrishna Upadrasta and Albert Cohen. Sub-Polyhedral Scheduling Using (Unit-)Two-Variable-Per-Inequality Polyhedra. In 40þ # popl # (POPL), Rome, Italy, 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 ]
Keywords: Loop transformation ; polyhedral optimization ; iterative compilation ; machine learning ; performance counters
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 ]
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 ]
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 ]
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 ]

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 ]
Keywords: Constraints ; Programming Languages ; Types ; Constraint Programming ; Constrained Types
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 ]
Keywords: Synchronous reactive programming ; antescofo ; computer music
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 ]
PC12a
Antoniu Pop and Albert Cohen. Control-Driven Data Flow. Research Report RR-8015, INRIA, July 2012.
bib | http | .pdf ]
Keywords: model of computation ; operational semantics ; programming languages ; data-flow ; stream computing ; parallel programming
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 ]
Keywords: Compilation ; Instruction level parallelism ; Embedded systems ; Code generation ; Periodic register allocation ; Software pipelining
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 ]
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 ]
Keywords: Data-flow computing ; stream computing ; parallel programming ; compilation
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 ]
Keywords: block-diagrams ; compilation ; optimization ; real-time systems ; semantics ; synchronous languages ; type systems
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 ]
VCC12b
Jean-Yves Vet, Patrick Carribault, and Albert Cohen. Multigrained Affinity for Heterogeneous Work Stealing. In 5þ Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG, associated with HiPEAC), Paris, France, 2012.
bib | http ]
VCC12a
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 ]
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 ]
Keywords: Approximation Algorithms ; Complexity Theory ; Compilers ; Optimization ; Geometric Algorithms
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 ]
Keywords: Hybrid systems ; Hybrid systems modelers ; Non-standard analysis ; Non-standard semantics ; Constructive semantics ; Kahn process networks ; Compilation of hybrid systems
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 ]
Keywords: data flow computing ; data flow graphs ; parallel programming ; program compilers ; program interpreters ; GNU compiler collection ; arbitrary control flow ; automatic coarse-grained data-flow thread extraction ; automatic recursive C program parallelization ; data parallelism ; imperative programs ; parallel data-flow programs ; program dependence graph ; sequential imperative program transformation ; task extraction ; Instruction sets ; Parallel processing ; Pipeline processing ; Radiation detectors ; Sequential analysis ; Synchronization ; SSA form ; automatic parallelization ; data-flow model ; loop fusion ; sequential imperative programs
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 ]

2011

Dio11
Boubacar Diouf. Decoupled approaches to register and software controlled memory allocations. Theses, Université Paris Sud - Paris XI, December 2011.
bib | http | .pdf ]
Keywords: Compilation ; Register allocation ; Memory allocations ; Scratchpad ; Weighted graphs coloring ; Submarine-building problem ; Allocation de registres ; Allocation de mémoire ; Coloration de graphes pondérés ; Problème de submarine-building
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 ]
Keywords: Automatic parallelization ; Loop transformations ; Polyhedral model ; Program transformations ; Compilers ; Programming languages ; Intermediate representation ; Représentation intermédiaire ; Compilateurs ; Langages de programmation ; Modèle polyédrique ; Transformations de programmes ; Transformations de boucles ; La parallélisation automatique
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 ]
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 ]
Keywords: automatic parallelization ; stream-computing ; loop distribution
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 ]
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 ]
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 ]
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 ]
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 ]