Scientific Books, Chapters, Booklets.
1. Sebastian Pop and Albert Cohen. SSA-based Compiler Design, chapter Loop tree and induction variables. Springer-Verlag, August 2016. ISBN 978-1-4419-6201-0.
2.
Marc Duranton, Koen De Bosschere, Albert Cohen, Jonas Maebe, and Harm Munk.
The HiPEAC vision.
http://www.hipeac.net/roadmap, September 2015.
Version 5, 72 pages.
Download.
3. Juan Carlos Juega, Sven Verdoolaege, Albert Cohen, José Ignacio Gómez, Christian Tenllado, and Francky Catthoor. Patterns for parallel programming on GPUs, chapter 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.
4.
Marc Duranton, Sami Yehia, Bjorn De Sutter, Koen De Bosschere, Albert Cohen,
Babak Falsafi, Georgi Gaydadjiev, Manolis Katevenis, Jonas Maebe, Harm Munk,
Nacho Navarro, Alex Ramirez, Olivier Temam, and Mateo Valero.
The HiPEAC vision.
http://www.hipeac.net/roadmap, January 2010.
Version 3, 60 pages.
Download.
5.
Zbigniew Chamski, Marc Duranton, Albert Cohen, Christine Eisenbeis, Paul
Feautrier, and Daniela Genius.
Ambient Intelligence: Impact on Embedded-System Design, chapter
Application Domain-Driven System Design for Pervasive Video Processing, pages
251–270.
Kluwer Academic Press, 2003.
Download.
International Journals.
6. Ivan Llopard, Christian Fabre, and Albert Cohen. From a formalized parallel action language to its efficient code generation. ACM Transactions on Embedded Computing Systems (TECS), 16(2), January 2017.
7. 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.
8. Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, and Albert Cohen. Automatic storage optimization for arrays. ACM Transactions on Programming Languages and Systems (TOPLAS), 38(3), May 2016. Selected for presentation at PLDI 2016.
9. 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. Selected for presentation at PLDI 2016.
10. Martin Kong, Antoniu Pop, Louis-Noël Pouchet, R. Govindarajan, Albert Cohen, and P. Sadayappan. Compiler/run-time framework for dynamic data-flow parallelization of tiled programs. ACM Transactions on Architecture and Code Optimization (TACO), 2015. Selected for presentation at HiPEAC 2015.
11. Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen, and Nathalie Drach-Temam. Topology-aware and dependence-aware scheduling and memory allocation for task-parallel languages. ACM Transactions on Architecture and Code Optimization (TACO), 2015. Selected in the ACM Computing Reviews’ 19th Annual Best of Computing list. Best presentation award at HiPEAC 2015.
12. Hector Posadas, Eugenio Villar, Florian Broekaert, Michel Bourdelles, 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, MICPRO2141, June 2014.
13. Roberto Giorgi, Rosa M. Badia, François Bodin, Albert Cohen, Paraskevas Evripidou, Paolo Faraboschi, Bernhard Fechnerg, Guang R. Gao, Arne Garbade, Rahul Gayatri, Sylvain Girbal, Daniel Goodman, Behran Khan, Souad Koliaï, Joshua Landwehr, Nhat Minh Lê, 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, MICPRO2128, April 2014.
14. Tobias Grosser, Sven Verdoolaege, Albert Cohen, and P. Sadayappan. The relation between diamond tiling and hexagonal tiling. Parallel Processing Letters, 24(3), September 2014.
15. 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 (TACO), January 2013. Selected for presentation at HiPEAC 2013.
16. Antoniu Pop and Albert Cohen. OpenStream: Expressiveness and data-flow compilation of OpenMP streaming programs. ACM Transactions on Architecture and Code Optimization (TACO), January 2013. Selected for presentation at HiPEAC 2013.
17. Boubacar Diouf, Can Hantaş, Albert Cohen, Özcan Özturk, and Jens Palsberg. A decoupled local memory allocator. ACM Transactions on Architecture and Code Optimization (TACO), January 2013. Selected for presentation at HiPEAC 2013.
18. 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 (TACO), January 2013. Selected for presentation at HiPEAC 2013.
19. 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.
20. Mounira Bachir, Sid-Ahmed-Ali Touati, Frédéric Brault, David Gregg, and Albert Cohen. Minimal unroll factor for code generation of software pipelining. International Journal of Parallel Programming, 2013.
21. Feng Li, Antoniu Pop, and Albert Cohen. Automatic extraction of coarse-grained data-flow threads from imperative programs. IEEE Micro, 2012. Special issue on Parallelization of Sequential Code.
22. Anna Beletska, Wlodzimierz Bielecki, Albert Cohen, Marek Palkowski, and Krzysztof Siedlecki. Coarse-grained loop parallelization: Iteration space slicing vs affine transformations. Parallel Computing, 37(8):479–497, 2011.
23. Harm Munk, Eduard Ayguadé, Cédric Bastoul, Paul Carpenter, Zbigniew Chamski, Albert Cohen, Marco Cornero, Philippe Dumont, Marc Duranton, Mohammed Fellahi, Roger Ferrer, Razya Ladelsky, Menno Lindwer, Xavier Martorell, Cupertino Miranda, Dorit Nuzman, Andrea Ornstein, Antoniu Pop, Sebastian Pop, Louis-Noël Pouchet, Alex Ramírez, David Ródenas, Erven Rohou, Ira Rosen, Uzi Shvadron, Konrad Trifunović, and Ayal Zaks. Acotes project: Advanced compiler technologies for embedded streaming. International Journal of Parallel Programming, 39(3):397–450, June 2011. Special issue on European HiPEAC network of excellence member’s projects.
24. Patrick Carribault, Stéphane Zuckerman, Albert Cohen, and William Jalby. Deep jam: Conversion of coarse-grain parallelism to fine-grain and vector parallelism. Journal of Instruction-Level Parallelism, 9:1–26, 2008.
25.
Grigori Fursin, Albert Cohen, Mike O’Boyle, and Olivier Temam.
Quick and practical run-time evaluation of multiple program
optimizations.
Transactions on High Performance Embedded Architectures and
Compilers, 1(1):13–31, January 2007.
Download.
26.
Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen, David
Parello, Marc Sigler, and Olivier Temam.
Semi-automatic composition of loop transformations for deep
parallelism and memory hierarchies.
International Journal of Parallel Programming, 34(3):261–317,
June 2006.
Special issue on Microgrids.
Download.
27.
Albert Cohen, Sébastien Donadio, María J. Garzarán, Christoph
Herrmann, Oleg Kiselyov, and David Padua.
In search of a program generator to implement generic transformations
for high-performance computing.
Science of Computer Programming, 62(1):25–46, September 2006.
Special issue on the First MetaOCaml Workshop 2004.
Download.
28.
Denis Barthou, Albert Cohen, and Jean-François Collard.
Maximal static expansion.
International Journal of Parallel Programming, 28(3):213–243,
June 2000.
Download.
International Conferences.
29. Ulysse Beaugnon, Albert Cohen, Jacques Pienaar, Antoine Pouille, and Marc Pouzet. Optimization space pruning without regrets. In Proceedings of the 26th International Conference on Compiler Construction (CC), Austin, Texas, February 2017.
30. Chandan Reddy, Michael Kruse, and Albert Cohen. Reduction drawing: Language constructs and polyhedral compilation for reductions on GPUs. In ACM/IEEE Conference on Parallel Architectures and Compilation Techniques (PACT), Haifa, Israel, September 2016.
31. 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 ACM/IEEE Conference on Parallel Architectures and Compilation Techniques (PACT), Haifa, Israel, September 2016. Best paper award.
32. Changwan Hong, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, J. Ramanujam, Fabrice Rastello, and P. Sadayappan. Effective padding of multi-dimensional arrays to avoid cache conflict misses. In ACM Conference on Programming Language Design and Implementation (PLDI), Santa Barbara, CA, June 2016.
33. François Gindraud, François Broquedis, Albert Cohen, and Fabrice Rastello. A bounded memory allocator for software-defined global address spaces. In ACM Intl. Symp. on Memory Management (ISMM), Santa Barbara, CA, jun 2016.
34. 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), Uppsala, Sweden, April 2016.
35. Xuan Khanh Do, Stéphane 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.
36. François Gindraud, Albert Cohen, and Fabrice Rastello. An interval constrained memory allocator for the givy gas runtime. In ACM Symposium on Principles and Practice of Parallel Programming (PPoPP), Barcelona, Spain, mar 2016. ACM. 2 pages and poster.
37. Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen, and Nathalie Drach. Numa-aware scheduling and memory allocation for data-flow task-parallel applications. In ACM Symposium on Principles and Practice of Parallel Programming (PPoPP), Barcelona, Spain, mar 2016. ACM. 2 pages and poster.
38. Albert Cohen, Valentin Perrelle, Dumitru Potop-Butucaru, Marc Pouzet, Élie 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.
39. Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, and Albert Cohen. SMO: An integrated approach to intra-array and inter-array storage optimization. In ACM Symposium on Principles of Programming Languages (POPL), St Petersburg, Florida, January 2016.
40. Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Sven Van Haastregt, Alexey Kravets, Anton Lokhmotov, Robert David, and Elnar Hajiyev. PENCIL: a platform-neutral compute intermediate language for accelerator programming. In ACM/IEEE Conference on Parallel Architectures and Compilation Techniques (PACT), San Francisco, California, October 2015.
41. 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, September 2015.
42. Uday Bondhugula, Vinayaka Bandishti, Albert Cohen, Guillain Potron, and Nicolas Vasilache. Tiling and optimizing time-iterated computations on periodic domains. In ACM/IEEE Conference on Parallel Architectures and Compilation Techniques (PACT), Edmonton, Alberta, August 2014. Nominated for best paper award.
43. Tobias Grosser, Albert Cohen, Justin Holewinski, P. Sadayappan, and Sven Verdoolaege. Hybrid hexagonal/classical tiling for GPUs. In ACM/IEEE International Symposium on Code Generation and Optimization (CGO), Orlando, FL, February 2014.
44. Nhat Minh Lê, Adrien Guatto, Albert Cohen, and Antoniu Pop. Correct and efficient bounded FIFO queues. In SBAC-PAD, Porto de Galinhas, Brazil, October 2013. IEEE.
45. Nhat Minh Lê, Antoniu Pop, Albert Cohen, and Francesco Zappa Nardelli. Correct and efficient work-stealing for weak memory models. In ACM Symposium on Principles and Practice of Parallel Programming (PPoPP), Shenzhen, China, February 2013.
46. Boubacar Diouf, Albert Cohen, and Fabrice Rastello. A polynomial spilling heuristic: Layered allocation. In ACM/IEEE International Symposium on Code Generation and Optimization (CGO), Shenzhen, China, February 2013.
47. Ramakrishna Upadrasta and Albert Cohen. Sub-polyhedral scheduling using (Unit-)two-variable-per-inequality polyhedra. In 40th ACM Symposium on Principles of Programming Languages (POPL), Rome, Italy, January 2013.
48. Albert Cohen, Léonard Gérard, and Marc Pouzet. Programming parallelism with futures in Lustre. In ACM Conference on Embedded Software (EMSOFT), Tampere, Finland, October 2012. Best paper award.
49. Mounira Bachir, Albert Cohen, and Sid-Ahmed-Ali Touati. On the effectiveness of register moves to minimise post-pass unrolling in software pipelined loops. In High Performance Computing and Simulation Conference (HPCS 2012), Madrid, Spain, July 2012.
50. Sean Halle and Albert Cohen. A mutable hardware abstraction to replace threads. In Languages and Compilers for Parallel Computing (LCPC), LNCS, Fort Collins, Colorado, October 2011. Springer-Verlag.
51. Sven Verdoolaege, Albert Cohen, and Anna Beletska. Transitive closures of affine integer tuple relations and their overapproximations. In International Symposium on Static Analysis (SAS), LNCS, Venice, Italy, September 2011. Springer-Verlag.
52. Mounira Bachir, Frederic Brault, Sid-Ahmed-Ali Touati, and Albert Cohen. Loop unrolling minimisation in the presence of multiple register types: a viable alternative to modulo variable expansion. In High Performance Computing and Simulation Conference (HPCS 2011), Istanbul, Turkey, July 2011.
53. Eunjung Park, Louis-Noël Pouchet, John Cavazos, Albert Cohen, and P. Saddayapan. Predictive modeling in a polyhedral optimization space. In ACM/IEEE International Symposium on Code Generation and Optimization (CGO), Chamonix, France, April 2011.
54. 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 ACM/IEEE International Symposium on Code Generation and Optimization (CGO), Chamonix, France, April 2011.
55. Louis-Noël Pouchet, Uday Bondhugula, Cédric Bastoul, Albert Cohen, J. Ramanujam, P. Sadayappan, and Nicolas Vasilache. Loop transformations: Convexity, pruning and optimization. In 38th ACM Symposium on Principles of Programming Languages (POPL), Austin, Texas, January 2011.
56. Antoniu Pop and Albert Cohen. A stream-computing extension to OpenMP. In International Conference on High Performance and Embedded Architectures and Compilers (HiPEAC), January 2011.
57. Erven Rohou, Kevin Williams, Sergei Dyshel, Dorit Nuzman, Ira Rosen, Albert Cohen, and Ayal Zaks. Speculatively vectorized bytecode. In International Conference on High Performance and Embedded Architectures and Compilers (HiPEAC), January 2011.
58. Louis-Noël Pouchet, Uday Bondhugula, Cédric Bastoul, Albert Cohen, J. Ramanujam, and P. Sadayappan. Combined iterative and model-driven optimization in an automatic parallelization framework. In ACM Supercomputing Conference (SC), New Orleans, Lousiana, November 2010. 11 pages.
59. Cupertino Miranda, Antoniu Pop, Philippe Dumont, Albert Cohen, and Marc Duranton. Erbium: A deterministic, concurrent intermediate representation to map data-flow tasks to scalable, persistent streaming processes. In International Conference on Compilers Architectures and Synthesis for Embedded Systems (CASES), October 2010.
60. Mircea Namolaru, Albert Cohen, Grigori Fursin, Ayal Zaks, and Ari Freund. Practical aggregation of semantical program properties for machine learning based optimization. In International Conference on Compilers Architectures and Synthesis for Embedded Systems (CASES), October 2010.
61. Albert Cohen and Erven Rohou. Processor virtualization and split compilation for heterogeneous multicore embedded systems. In Design Automation Conference (DAC). IEEE CS, June 2010. 6 pages. Special session on Embedded Virtualization.
62. Mohamed-Walid Benabderrahmane, Louis-Noël Pouchet, Albert Cohen, and Cédric Bastoul. The polyhedral model is more widely applicable than you think. In Proceedings of the 19th International Conference on Compiler Construction (ETAPS CC), number 6011 in LNCS, Paphos, Cyprus, March 2010. Springer-Verlag.
63. Boubacar Diouf, John Cavazos, Albert Cohen, and Fabrice Rastello. Split register allocation: Linear complexity without the performance penalty. In International Conference on High Performance and Embedded Architectures and Compilers (HiPEAC), LNCS, Pisa, Italy, January 2010. Springer-Verlag.
64. Boubacar Diouf, Özcan Özturk, and Albert Cohen. Optimizing local memory allocation and assignment through a decoupled approach. In Languages and Compilers for Parallel Computing (LCPC), LNCS. Springer-Verlag, 2009. 8 pages (short paper).
65. Anna Beletska, Wlodzimierz Bielecki, Albert Cohen, and Marek Palkowski. Synchronization-free automatic parallelization: Beyond affine iteration-space slicing. In Languages and Compilers for Parallel Computing (LCPC), LNCS. Springer-Verlag, 2009. 15 pages.
66. Konrad Trifunović, Dorit Nuzman, Albert Cohen, Ayal Zaks, and Ira Rosen. Polyhedral-model guided loop-nest auto-vectorization. In ACM/IEEE Conference on Parallel Architectures and Compilation Techniques (PACT), Raleigh, North Carolina, September 2009.
67. Anna Beletska, Wlodzimierz Bielecki, Albert Cohen, Marek Palkowski, and Krzysztof Siedlecki. Coarse-grained loop parallelization: Iteration space slicing vs affine transformations. In IEEE International Symposium on Parallel and Distributed Computing (ISPDC), July 2009.
68. Albert Hartono, Muthu M. Baskaran, Cédric Bastoul, Albert Cohen, Sriram Krishnamoorthy, Boyana Norris, J. Ramanujam, and P. Sadayappan. Parametric multi-level tiling of imperfectly nested loops. In ACM International Conf. on Supercomputing (ICS), pages 147–157, Yorktown Heights, New York, June 2009.
69. Anna Beletska, Denis Barthou, Wlodzimierz Bielecki, and Albert Cohen. Computing the transitive closure of a union of affine integer tuple relations. In International Conference on Combinatorial Optimization and Applications (COCOA), pages 98–109, June 2009.
70. Albert Cohen, Louis Mandel, Florence Plateau, and Marc Pouzet. Relaxing synchronous composition with clock abstraction. In Hardware Design and Functional Languages Workshop (HFL), March 2009.
71. Mohammed Fellahi and Albert Cohen. Software pipelining in nested loops with prolog-epilog merging. In International Conference on High Performance and Embedded Architectures and Compilers (HiPEAC), LNCS, Paphos, Cyprus, January 2009. Springer-Verlag.
72. Albert Cohen, Louis Mandel, Florence Plateau, and Marc Pouzet. Abstraction of clocks in synchronous data-flow systems. In 6th Asian Symposium on Programming Languages and Systems (APLAS), December 2008.
73. Mounira Bachir, Sid-Ahmed-Ali Touati, and Albert Cohen. Post-pass periodic register allocation to minimise loop unrolling. In ACM Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Tucson, Arizona, June 2008.
74. Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, and John Cavazos. Iterative optimization in the polyhedral model: Part II, multidimensional time. In ACM Conference on Programming Language Design and Implementation (PLDI), Tucson, Arizona, June 2008.
75. Nicolas Vasilache, Albert Cohen, and Louis-Noël Pouchet. Automatic correction of loop transformations. In ACM/IEEE Conference on Parallel Architectures and Compilation Techniques (PACT), Brasov, Romania, September 2007.
76.
Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, and Nicolas Vasilache.
Iterative optimization in the polyhedral model: Part I,
one-dimensional time.
In ACM/IEEE International Symposium on Code Generation and
Optimization (CGO), San Jose, California, March 2007.
Download.
77.
Pierre Amiranoff, Albert Cohen, and Paul Feautrier.
Beyond iteration vectors: Instancewise relational abstract domains.
In Static Analysis Symposium (SAS), Seoul, Korea, August 2006.
Download.
78.
Nicolas Vasilache, Albert Cohen, Cédric Bastoul, and Sylvain Girbal.
Violated dependence analysis.
In ACM International Conf. on Supercomputing (ICS), Cairns,
Australia, June 2006.
Download.
79.
Nicolas Vasilache, Cédric Bastoul, and Albert Cohen.
Polyhedral code generation in the real world.
In Proceedings of the 15th International Conference on
Compiler Construction (ETAPS CC), LNCS, pages 185–201, Vienna, Austria,
March 2006. Springer-Verlag.
Download.
80.
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence
Plateau, and Marc Pouzet.
N-synchronous Kahn networks.
In 33th ACM Symposium on Principles of Programming Languages
(POPL), pages 180–193, Charleston, South Carolina, January 2006.
Download.
81.
Grigori Fursin, Albert Cohen, Mike O’Boyle, and Olivier Temam.
A practical method for quickly evaluating program optimizations.
In International Conference on High Performance and Embedded
Architectures and Compilers (HiPEAC), number 3793 in LNCS, pages 29–46,
Barcelona, Spain, November 2005. Springer-Verlag.
Download.
82.
Sebastian Pop, Albert Cohen, and Georges-André Silber.
Induction variable analysis with delayed abstractions.
In International Conference on High Performance and Embedded
Architectures and Compilers (HiPEAC), number 3793 in LNCS, pages 218–232,
Barcelona, Spain, November 2005. Springer-Verlag.
Download.
83.
Sébastien Donadio, James Brodman, Thomas Roeder, Kamen Yotov, Denis Barthou,
Albert Cohen, María J. Garzarán, David Padua, and Keshav Pingali.
A language for the compact representation of multiple program
versions.
In Languages and Compilers for Parallel Computing (LCPC), LNCS,
Hawthorne, New York, October 2005. Springer-Verlag.
15 pages.
Download.
84.
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence
Plateau, and Marc Pouzet.
Synchronization of periodic clocks.
In ACM Conference on Embedded Software (EMSOFT), pages 339–342
(short paper), Jersey City, New York, September 2005.
Download.
85.
Patrick Carribault, Albert Cohen, and William Jalby.
Deep Jam: Conversion of coarse-grain parallelism to
instruction-level and vector parallelism for irregular applications.
In ACM/IEEE Conference on Parallel Architectures and Compilation
Techniques (PACT), pages 291–300, St-Louis, Missouri, September 2005. IEEE
Computer Society.
Download.
86.
Albert Cohen, Sylvain Girbal, David Parello, Marc Sigler, Olivier Temam, and
Nicolas Vasilache.
Facilitating the search for compositions of program transformations.
In ACM International Conf. on Supercomputing (ICS), pages
151–160, Boston, Massachusetts, June 2005.
Download.
87.
David Parello, Olivier Temam, Albert Cohen, and Jean-Marie Verdun.
Towards a systematic, pragmatic and architecture-aware program
optimization process for complex processors.
In ACM Supercomputing Conference (SC), Pittsburgh,
Pennsylvania, November 2004.
15 pages.
Download.
88.
Patrick Carribault, Christophe Lemuet, Jean-Thomas Acquaviva, Albert Cohen, and
William Jalby.
Branch strategies to optimize decision trees for wide-issue
architectures.
In Languages and Compilers for Parallel Computing (LCPC), LNCS,
West Lafayette, Indiana, September 2004. Springer-Verlag.
Download.
89.
Albert Cohen, Sylvain Girbal, and Olivier Temam.
A polyhedral approach to ease the composition of program
transformations.
In Euro-Par, number 3149 in LNCS, pages 292–303, Pisa, Italy,
August 2004. Springer-Verlag.
Download.
90.
Patrick Carribault and Albert Cohen.
Application of storage mapping optimization to register promotion.
In ACM International Conf. on Supercomputing (ICS), pages
247–256, St-Malo, France, June 2004.
Download.
91.
Cédric Bastoul, Albert Cohen, Sylvain Girbal, Saurabh Sharma, and Olivier
Temam.
Putting polyhedral loop transformations to work.
In Languages and Compilers for Parallel Computing (LCPC), LNCS,
pages 23–30, College Station, Texas, October 2003. Springer-Verlag.
Download.
92.
Sylvain Girbal, Gilles Mouchard, Albert Cohen, and Olivier Temam.
DiST: A simple, reliable and scalable method to significantly
reduce processor architecture simulation time.
In International Conference on Measurement and Modeling of
Computer Systems, ACM SIGMETRICS, San Diego, California, June 2003.
Download.
93.
Albert Cohen, Daniela Genius, Abdesselem Kortebi, Zbigniew Chamski, Marc
Duranton, and Paul Feautrier.
Multi-periodic process networks: Prototyping and verifying
stream-processing systems.
In Euro-Par, number 2400 in LNCS, Paderborn, Germany, August
2002. Springer-Verlag.
Download.
94.
Peng Wu, Albert Cohen, and David Padua.
Induction variable analysis without idiom recognition: Beyond
monotonicity.
In Languages and Compilers for Parallel Computing (LCPC), LNCS,
Cumberland Falls, Kentucky, August 2001. Springer-Verlag.
Download.
95.
Peng Wu, Albert Cohen, Jay Hoeflinger, and David Padua.
Monotonic evolution: an alternative to induction variable
substitution for dependence analysis.
In ACM International Conf. on Supercomputing (ICS), Sorrento,
Italy, June 2001.
Download.
96.
Albert Cohen and Vincent Lefebvre.
Optimization of storage mappings for parallel programs.
In Euro-Par, number 1685 in LNCS, pages 375–382, Toulouse,
France, September 1999. Springer-Verlag.
Download.
97.
Albert Cohen.
Parallelization via constrained storage mapping optimization.
In International Symposium on High Performance Computing
(ISHPC), number 1615 in LNCS, pages 83–94, Kyoto, Japan, May 1999.
Springer-Verlag.
Download.
98.
Albert Cohen and Jean-François Collard.
Instancewise reaching definition analysis for recursive programs
using context-free transductions.
In ACM/IEEE Conference on Parallel Architectures and Compilation
Techniques (PACT), pages 332–340, Paris, France, October 1998. IEEE
Computer Society.
Best student paper award.
Download.
99.
Denis Barthou, Albert Cohen, and Jean-François Collard.
Maximal static expansion.
In 25th ACM Symposium on Principles of Programming Languages
(POPL), pages 98–106, San Diego, California, January 1998.
Download.
Peer-Reviewed Workshops.
100. Adilla Susungi, Albert Cohen, and Claude Tadonki. More data locality for static control programs on numa architectures. In 7th Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), Stockholm, Sweden, January 2017.
101. Jie Zhao and Albert Cohen. A general compilation algorithm to parallelize and optimize counted loops with dynamic data-dependent bounds. In 7th Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), Stockholm, Sweden, January 2017.
102. 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), Nara, Japan, October 2016.
103. Sven Verdoolaege and Albert Cohen. Live range reordering. In 6th Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), Prag, Czech Republic, January 2016.
104. Albert Cohen, Alain Darte, and Paul Feautrier. Static analysis of openstream programs. In 6th Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), Prag, Czech Republic, January 2016.
105. Xuan Khanh Do, Stéphane Louise, Albert Cohen, Paul Dubrulle, Thierry Goubier, Loic 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, June 2015.
106. Riyadh Baghdadi, Javed Absar, Adam Betts, Ulysse Beaugnon, Albert Cohen, Robert David, Alastair Donaldson, Tobias Grosser, Sven Van Haastregt, Elnar Hajiyev, Alexey Kravets, Jeroen Ketema, Michael Kruse, Anton Lokhmotov, Chandan Reddy, and Sven Verdoolaege. Pencil: A platform-neutral compute intermediate language for parallelizing compilation on hardware accelerators. In Workshop on High Performance, Predictable Embedded Systems for Cognitive Applications (HiPPES4CogApp, associated with HiPEAC), Amsterdam, The Netherlands, January 2015.
107. 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, October 2014.
108. 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, August 2014.
109. Albert Cohen, Valentin Perrelle, Dumitru Potop-Butucaru, Élie 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, June 2014.
110. 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 (SCOPES), Saint Goar, Germany, June 2014.
111. 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 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES), Saint Goar, Germany, June 2014.
112. Andi Drebes, Karine Heydemann, Nathalie Drach-Temam, Antoniu Pop, and Albert Cohen. Automatic detection of performance anomalies in task-parallel programs. In Workshop on Resource-awareness and adaptivity in multi-core computing (Racing, associated with the IEEE European Test Symposium), Paderborn, Germany, May 2014.
113. 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, March 2014. 1 page. Special session.
114. Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen, and Nathalie Drach-Temam. Aftermath: A graphical tool for performance analysis and debugging of fine-grained task-parallel programs and run-time systems. In 7th Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG, associated with HiPEAC), Vienna, Austria, January 2014.
115. Tobias Grosser, Sven Verdoolaege, Albert Cohen, and P. Sadayappan. The relation between diamond tiling and hexagonal tiling. In 1st International Workshop on High-Performance Stencil Computations (HiStencils, associated with HiPEAC), Vienna, Austria, January 2014.
116. Sven Verdoolaege, Serge Guelton, Tobias Grosser, and Albert Cohen. Schedule trees. In 4th Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), Vienna, Austria, January 2014.
117. 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, Souad Koliaï, 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 Zuckermann, and Roberto Giorgi. The teraflux project: Exploiting the dataflow paradigm in next generation teradevices. In Euromicro Conference on Digital System Design (DSD), Santander, Spain, September 2013.
118. Hector Posadas, Eugenio Villar, Florian Broekaert, Michel Bourdelles, 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, September 2013.
119. Chantal Couvreur, Prabhat Avasare, Florian Broekaert, and Albert Cohen. Two-layer run-time power management for embedded heterogeneous multi-core platforms. In DATE Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications, March 2013. 1 page and poster.
120. 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, Houston, March 2013.
121. 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 10th Workshop on Optimizations for DSP and Embedded Systems (ODES, associated with CGO), Shenzhen, China, February 2013.
122. 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 2nd Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing (WOLFHPC, associated with SC), Salt Lake City, Utah, November 2012.
123. Antoniu Pop and Albert Cohen. Work-streaming compilation of futures. In 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES, associated with ETAPS), Tallinn, Estonia, March 2012.
124. Jean-Yves Vet, Patrick Carribault, and Albert Cohen. Multigrained affinity for heterogeneous work stealing. In 5th Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG, associated with HiPEAC), Paris, France, January 2012.
125. 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, associated with HiPEAC), Paris, France, January 2012.
126. Ramakrishna Upadrasta and Albert Cohen. A case for strongly polynomial time sub-polyhedral scheduling using two-variable-per-inequality polyhedra. In 2nd Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), Paris, France, January 2012.
127. Sean Halle and Albert Cohen. Support of collective effort towards performance portability. In 3rd USENIX Workshop on Hot Topics in Parallelism (HotPar), Berkeley, California, June 2011. 5 pages and poster.
128. Ramakrishna Upadrasta and Albert Cohen. Exploring the use of sub-polyhedra in the polyhedral model: A TVPI based approach. In 1st Workshop on Polyhedral Compilation Techniques (IMPACT, associated with CGO), Chamonix, France, April 2011.
129. Mounira Bachir, Sid-Ahmed-Ali Touati, and Albert Cohen. Decomposing meeting graph circuits to minimise kernel loop unrolling. In 9th Workshop on Optimizations for DSP and Embedded Systems (ODES, associated with CGO), Chamonix, France, April 2011.
130. Feng Li, Antoniu Pop, and Albert Cohen. Extending loop distribution to PS-DSWP. In 1st Workshop on Intermediate Representations (WIR, associated with CGO), Chamonix, France, April 2011.
131. Konrad Trifunović, Albert Cohen, Razya Ladelski, and Feng Li. Elimination of memory-based dependences for loop-nest optimization and parallelization: Evaluation of a revised violated dependence analysis method on a three-address code polyhedral compiler. In 3rd GCC Research Opportunities Workshop (GROW, associated with CGO), Chamonix, France, April 2011.
132. Konrad Trifunović and Albert Cohen. Enabling more optimizations in GRAPHITE: ignoring memory-based dependences. In Proc. of the 8th GCC Developper’s Summit, Ottawa, Ontario, October 2010.
133. Riyadh Baghdadi, Albert Cohen, Cedric Bastoul, Louis-Noël Pouchet, and Lawrence Rauchwerger. The potential of synergistic static, dynamic and speculative loop nest optimizations for automatic parallelization. In 3rd Workshop on Parallel Execution of Sequential Programs on Multi-core Architectures (PESPMA, associated with ISCA), St-Malo, France, June 2010.
134. Sean Halle and Albert Cohen. Leveraging semantics attached to function calls to isolate applications from hardware. In 2nd USENIX Workshop on Hot Topics in Parallelism (HotPar), Berkeley, California, June 2010. 5 pages and poster.
135. Antoniu Pop and Albert Cohen. A stream-comptuting extension to OpenMP. In International Workshop on OpenMP (IWOMP), Tsukuba, Japan, June 2010. 2 pages and poster.
136. Cupertino Miranda, Philippe Dumont, Albert Cohen, Marc Duranton, and Antoniu Pop. Erbium: A deterministic, concurrent intermediate representation for portable and scalable performance. In ACM Conference on Computing Frontiers (CF), Bertinoro, Italy, May 2010. 2 pages and poster.
137. Frédéric Brault, Benoît Dupont de Dinechin, Sid-Ahmed-Ali Touati, and Albert Cohen. Software pipelining and register pressure in vliw architectures: Preconditionning data dependence graphs is experimentally better than lifetime-sensitive scheduling. In 8th Workshop on Optimizations for DSP and Embedded Systems (ODES, associated with CGO), Toronto, Ontario, April 2010.
138. Konrad Trifunović, Albert Cohen, David Edelsohn, Feng Li, Tobias Grosser, Harsha Jagasia, Razya Ladelsky, Sebastian Pop, Jan Sjödin, and Ramakrishna Upadrasta. GRAPHITE two years after: First lessons learned from real-world polyhedral compilation. In 2nd GCC Research Opportunities Workshop (GROW), Pisa, Italy, January 2010.
139. Martin Schindewolf, Albert Cohen, Wolfgang Karl, Andrea Marongiu, and Luca Benini. Towards transactional memory support for GCC. In 1st GCC Research Opportunities Workshop (GROW, associated with HiPEAC), January 2009.
140. Nicolas Inglart, Smail Niar, and Albert Cohen. Hybrid performance analysis to accelerate compiler optimization space exploration for in-order processors. In 2ndWorkshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), Gothenburg, Sweden, January 2008.
141. Louis-Noël Pouchet, Cédric Bastoul, John Cavazos, and Albert Cohen. A note on the performance distribution of affine schedules. In 2ndWorkshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), Gothenburg, Sweden, January 2008.
142. Piotr Lesnicki, Albert Cohen, Marco Cornero, Grigori Fursin, Andrea Ornstein, and Erven Rohou. Split compilation: an application to just-in-time vectorization. In Workshop on GCC for Research in Embedded and Parallel Systems (GREPS), Brasov, Romania, September 2007.
143. Mohammed Fellahi, Albert Cohen, and Sid-Ahmed-Ali Touati. Code-size conscious pipelining of imperfectly nested loops. In 8th Workshop on MEmory performance: DEaling with Applications, systems and architecture (MEDEA), Brasov, Romania, September 2007.
144.
Grigori Fursin, Cupertino Miranda, Sebastian Pop, Albert Cohen, and Olivier
Temam.
Practical run-time adaptation with procedure cloning to enable
continuous collective compilation.
In Proc. of the 5th GCC Developper’s Summit, Ottawa, Ontario,
July 2007.
Download.
145.
Grigori Fursin and Albert Cohen.
Building a practical iterative compiler.
In 1stWorkshop on Statistical and Machine learning approaches
applied to ARchitectures and compilaTion (SMART), Ghent, Belgium, January
2007.
Download.
146.
Sebastian Pop, Albert Cohen, Cédric Bastoul, Sylvain Girbal, Geogres-André
Silber, and Nicolas Vasilache.
GRAPHITE: Loop optimizations based on the polyhedral model for
GCC.
In Proc. of the 4th GCC Developper’s Summit, Ottawa, Ontario,
June 2006.
Download.
147.
Albert Cohen and Christoph Herrmann.
Towards a high-productivity and high-performance marshaling library
for compound data.
In 2nd MetaOCaml Workshop (associated with GPCE), Tallinn,
Estonia, October 2005.
Download.
148.
Nicolas Vasilache, Sylvain Girbal, Cédric Bastoul, Albert Cohen, David
Parello, Marc Sigler, and Olivier Temam.
Characterization of legal transformations sequences.
In 1st MicroGrid workshop, Amsterdam, Netherlands, July 2005.
Paper published as an IJPP special issue.
Download.
149.
Albert Cohen, Sébastien Donadio, María J. Garzarán, David Padua, and
Christoph Herrmann.
In search for a program generator to implement generic
transformations for high-performance computing.
In 1st MetaOCaml Workshop (associated with GPCE), Vancouver,
British Columbia, October 2004.
Download.
150.
Albert Cohen and Olivier Temam.
Digital LC-2: From bits & gates to a little computer.
In Proc. of the 9th Workshop on Computer Architecture
Education (WCAE, associated with ISCA), Anchorage, Alaska, May 2002.
Download.
Invitation-Based Workshops.
151. Nhat Minh Lê, Adrien Guatto, Albert Cohen, and Antoniu Pop. Bringing together FIFO queues and dynamic scheduling for the correct and efficient execution of task-parallel, data-flow programs. In Proc. of the 17th Workshop on Compilers for Parallel Computers (CPC), Lyon, France, June 2013.
152. Soufiane Baghdadi, Armin Größlinger, and Albert Cohen. Putting automatic polyhedral compilation for GPGPU to work. In Proc. of the 15th Workshop on Compilers for Parallel Computers (CPC), Vienna, Austria, July 2010.
153. Antoniu Pop and Albert Cohen. Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilers. In Proc. of the 15th Workshop on Compilers for Parallel Computers (CPC), Vienna, Austria, July 2010.
154.
Louis-Noël Pouchet, Cédric Bastoul, and Albert Cohen.
Iterative optimization in the polyhedral model: One-dimensional
scheduling case.
In 2nd HiPEAC Industrial Workshop, Eindhoven, The
Netherlands, September 2006.
Download.
155.
Sebastian Pop, Albert Cohen, Pierre Jouvelot, and Georges-André Silber.
The new framework for loop nest optimization in GCC: from
prototyping to evaluation.
In Proc. of the 12th Workshop on Compilers for Parallel
Computers (CPC), A Coruña, Spain, January 2006.
Download.
156.
Pierre Amiranoff, Albert Cohen, and Paul Feautrier.
Instancewise array dependence test for recursive programs.
In Proc. of the 10th Workshop on Compilers for Parallel
Computers (CPC), Amsterdam, NL, January 2003. University of Leiden.
Download.
157.
Albert Cohen and Peng Wu.
Dependence testing without induction variable substitution.
In Proc. of the 9th Workshop on Compilers for Parallel
Computers (CPC), Edimburgh, UK, June 2001.
Download.
158.
Albert Cohen, Jean-François Collard, and Martin Griebl.
Data-flow analysis of recursive structures.
In Proc. of the 6th Workshop on Compilers for Parallel
Computers (CPC), pages 181–192, Aachen, Germany, December 1996.
Research Report available.
National Journal.
159.
Albert Cohen.
Analyse de flot de données pour programmes récursifs à l’aide
de langages algébriques.
Technique et science informatiques, 18(3):323–343, March 1999.
Download.
National Conference.
160.
Albert Cohen.
Analyse de flot de données de programmes récursifs à l’aide de
grammaires hors-contexte.
In Rencontres francophones du parallélisme (RenPar9),
Lausanne, Suisse, May 1997.
IEEE France best paper award.
Download.
Textbooks and Outreach.
161. 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 – Édition spéciale Python. Eyrolles, August 2013.
162. 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.
163. Frédéric Brault. eBooks Informatique Eyrolles. In Hackez Google Android – Introduction à la programmation système. Eyrolles, May 2009. Préface par Albert Cohen et Jean Zundel.
Proceedings and Special Issues.
164. Albert Cohen, editor. 28thInternational Conference on the Architecture of Computing Systems (ARCS), number 9017 in LNCS, Porto, Portugal, March 2015. Springer-Verlag.
165. Albert Cohen and David Grove, editors. Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Burlingame, California, February 2015. ACM.
166. Albert Cohen, editor. Proceedings of the 23rd International Conference on Compiler Construction (ETAPS CC), number 8409 in LNCS, Grenoble, France, April 2014. Springer-Verlag.
167. Albert Cohen and Chenggang Wu, editors. 10th International Symposium on Advanced Parallel Processing Technologies (APPT), number 8299 in LNCS, Stockholm, Sweden, August 2013. Springer-Verlag.
168. Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen, editors. Dagstuhl Seminar 13142 on Correct and Efficient Accelerator Programming, volume 1 of Dagstuhl Reports. Dagstuhl Publishing, April 2013.
169. David Chi-Leung Wong, Albert Cohen, María J. Garzarán, Christian Lengauer, and Samuel P. Midkiff, editors. Dagstuhl Seminar 13142 on Programming Models for Ubiquitous Parallelism, volume 1 of Dagstuhl Reports. Dagstuhl Publishing, September 2007.
Invited Talks.
170. Albert Cohen. Building blocks for computational cyberphysical systems: a compiler perspective. In Thales Research Days, Palaiseau, France, September 2015. Closed technological prospective event across all divisions.
171. Albert Cohen. Streaming task parallelism. In ACM International Conf. on Supercomputing (ICS), Newport Beach, California, June 2015. Keynote presentation.
172. Albert Cohen. Challenges in correct-by-construction multiprocessor programming. In EPFL-INRIA Workshop, Lausanne, Switzerland, January 2015.
173. Albert Cohen. Correct-by-construction multiprocessor programming: A common approach for parallel and mixed-critical system design. In Workshop on Mixed Criticality for Industrial Systems (WMCIS, associated with Ada-Europe), Paris, France, June 2014. Keynote presentation.
174. Albert Cohen, Rolf Ernst, Éric Armengaud, Marc Duranton, Knut Hufeld, Glenn Farrall, and Victor Jégu. Panel on overcoming entry barriers of multi-cores in embedded systems. In International Conference on Embedded and Real-Time Software and Systems (ERTS2), Toulouse, France, February 2014.
175. 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, October 2013.
176. Albert Cohen. Parallelizing and optimizing compilation for synchronous languages: New directions for high-performance embedded systems. In 10th Workshop on Optimizations for DSP and Embedded Systems (ODES, associated with CGO), February 2013.
177. Roberto Giorgi, Albert Cohen, Avi Mendelson, Nacho Navarro, Theo Ungerer, and Stéphane Zuckerman. Bridging the exascale programming gap with dataflow-based technologies. In 6th Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG, associated with HiPEAC), Berlin, Germany, 2013. Panel presentation.
178. Albert Cohen. Who wants to adopt a polyhedral compiler? In 3rd Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), January 2013. Keynote presentation.
179. Albert Cohen. Polyhedral compilation runs out of (static) control! In Taiwan Compiler workshop (CTHPC), Taichong, Taiwan, June 2011. Keynote presentation.
180. Albert Cohen. Automatic parallelization in gcc: for research and for real. In 3rdWorkshop on Parallel Execution of Sequential Programs on Multi-core Architectures (PESPMA, associated with ISCA), St-Malo, France, June 2010. Keynote presentation.
181. Albert Cohen, Hinori Kasahara, Rishi Khan, David Padua, and Nicolas Vasilache. Compiler optimization challenges in view of the rapid evolution of computer architecture and system software. In Languages and Compilers for Parallel Computing (LCPC), LNCS, Newark, Delaware, June 2009.
182. Almadena Chtchelkanova, Alex Nicolau, Barbara Chapman, Albert Cohen, David Kuck, and Keshav Pingali. Panel on compiler technologies for current and future computer systems. In ACM Conference on Computing Frontiers (CF), Ischia, Italy, May 2009.
183. Albert Cohen. A quest for performance portability in the manycore era. In SAMOS Workshop, July 2008. Invited talk of the special session on multicore programming.
184. Albert Cohen. Automatic correction of loop transformations. In 6th Workshop of the ACES Network (Architectures and Compilers for Embedded Systems), Edegem, Belgium, October 2006. Keynote presentation.
185. Albert Cohen. Designing a language and a representation for semi-automatic program transformation and program generation. In 4th IBM Research Compiler and Architecture Seminar, Haifa, Israel, December 2005.
186. David Padua, Wenguang Chen, Albert Cohen, Guang Gao, Lawrence Rauchwerger, and Pen-Chung Yew. Panel on automatic program optimization. In Computer Innovation 6016, IFIP International Conference on Network and Parallel Computing (NPC), number 3779 in LNCS, Beijing, China, December 2005.
187. Albert Cohen. Program analysis and transformation: beyond the polytope model. In Proc. of the 8th Workshop on Compilers for Parallel Computers (CPC), Aussois, France, January 2000. Invited talk, part of the PhD thesis presentation.
Invitation-Based Workshops Without Proceedings.
188. Albert Cohen. Building blocks for domain experts: a compiler and runtime system perspective. In Shonan Seminar 15121, Hayama, Kanagawa, Japan, November 2015.
189. Valentin Perrelle, Albert Cohen, Dumitru Potop, Marc Pouzet, Élie Soubiran, and Zhen Zhang. Synchronous programming for mixed time criticality. In Dagstuhl Seminar, Wadern, Germany, March 2015.
190. Tobias Grosser, Sven Verdoolaege, Albert Cohen, and P. Sadayappan. The promises of hybrid hexagonal/classical tiling for GPUs. In Compiler, Architecture and Tools Conference, Haifa, Israel, November 2013.
191. Antoniu Pop, Nhat Minh Lê, Albert Cohen, and Francesco Zappa Nardelli. Correct and efficient concurrent algorithms for weak memory models. In 2ndREORDER Workshop (associated with CAV), St Petersburg, Russia, July 2013.
192. Albert Cohen. MiniLS to streaming OpenMP to work-streaming. In 17th Synchron Workshop, Fréjus, France, December 2010.
193. Albert Cohen. From supercomputing to volkscomputing: a data-flow synchronous perspective to performance portability. In 16th Synchron Workshop – Dagstuhl Seminar 09481, Wadern, Germany, December 2009.
194. Albert Cohen. Extending data-flow semantics with clocks and transactions for productivity and performance. In tubs.CITY Workshop, Braunschweig, Germany, July 2009.
195. Albert Cohen. An intermediate language for productive and efficient parallel programming: A stream-computing experiment. In Dagstuhl Seminar 07361, Wadern, Germany, September 2007.
196. Albert Cohen. Programming model and system-on-chip for performance, efficiency and programmability: Thoughts from the SANDRA project. In Dagstuhl Seminar 03431, Wadern, Germany, October 2003.
197. Albert Cohen. A generative approach to iterative program optimization. In Dagstuhl Seminar 03131, Wadern, Germany, March 2003.
198. Albert Cohen. Instancewise program analysis. In Dagstuhl Seminar 03071, Wadern, Germany, February 2003.
Habilitation Thesis.
199.
Albert Cohen.
Contributions to the design of reliable and programmable,
high-performance systems: principles, interfaces, algorithms and tools,
March 2007.
Download.
PhD Thesis.
200.
Albert Cohen.
Program Analysis and Transformation:
from the Polytope Model to Formal Languages.
PhD thesis, Université de Versailles, France, December 1999.
Download.
Research Reports of Material not Published Elsewhere.
201. Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, and Albert Cohen. Automatic intra-array storage optimization. Technical Report 2014-3, Indian Institute of Science, August 2014.
202. Uday Bondhugula and Albert Cohen. Handling negative coefficients in pluto. Technical Report 2014-1, Indian Institute of Science, February 2014.
203. Antoniu Pop and Albert Cohen. Control-Driven Data Flow. Research Report RR-8015, INRIA, July 2012.
204. Sven Verdoolaege, Albert Cohen, and Anna Beletska. Transitive Closures of Affine Integer Tuple Relations and their Overapproximations. Research Report RR-7560, INRIA, 03 2011.
205. Zbigniew Chamski, Albert Cohen, Marc Duranton, Christine Eisenbeis, Paul Feautrier, Daniela Genius, Laurent Pasquier, Valérie Rivierre Vier, François Thomasset, and Qin Zhao. The SANDRA project: cooperative architecture/compiler technology for embedded real-time streaming applications. Research Report RR-4773, INRIA, 2003.
206. Albert Cohen, Daniela Genius, Abdesselem Kortebi, Zbigniew Chamski, Marc Duranton, and Paul Feautrier. Multi-Periodic Process Networks: Technical Report. Research Report RR-4496, INRIA, 2002.
207. Albert Cohen, Peng Wu, and David Padua. Intraprocedural Pointer Analysis for Container-Centric Applications. Technical Report RR-4289, INRIA, 10 2001.
208. Pierre Amiranoff, Albert Cohen, and Paul Feautrier. Variables d’induction généralisées pour l’analyse par instances de programmes récursifs. Research Report RR-4252, INRIA, 2001.
209. Albert Cohen, Peng Wu, and David Padua. Pointer analysis for monotonic container traversals. Technical Report CSRD Technical Report No. 1586, University of Illinois at Urbana-Champaign, 2001.
210. Albert Cohen, Jean-François Collard, Ivan Djelic, and Paul Feautrier. A transduction-based framework for recursive programs analysis. Technical Report 1998/40, Laboratoire PRiSM, Université de Versailles, France, 1998.
211. Paul Feautrier, Jean-François Collard, Michel Barreteau, Denis Barthou, Albert Cohen, and Vincent Lefebvre. The interplay of expansion and scheduling in paf. Technical Report 1998/6, Laboratoire PRiSM, Université de Versailles, France, 1998.
212. Albert Cohen and Jean-François Collard. Fuzzy array data-flow analysis – Part II: Recursive programs (see the pact 1998 paper for an improved version of this work). Technical Report 1996/36, Laboratoire PRiSM, Université de Versailles, France, 1996.
213. Albert Cohen, Jean-François Collard, and Martin Griebl. Array data-flow analysis for imperative recursive programs. Technical Report 1996/35, Laboratoire PRiSM, Université de Versailles, France, 1996.
This document was translated from LATEX by HEVEA.