EN FR
EN FR


previous Previous | up Home


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 1C. Pasteur.

    Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel, Université Pierre et Marie Curie - Paris VI, November 2013.

    http://hal.inria.fr/tel-00934919

Articles in International Peer-Reviewed Journals

  • 2R. Baghdadi, A. Cohen, S. Verdoolaege, K. Trifunović.

    Improved Loop Tiling based on the Removal of Spurious False Dependences, in: ACM Transactions on Architecture and Code Optimization, 2013, vol. 9, no 4, Selected for presentation at the HiPEAC 2013 Conf.. [ DOI : 10.1145/2400682.2400711 ]

    http://hal.inria.fr/hal-00786674
  • 3T. Bourke, A. Sowmya.

    Analyzing an Embedded Sensor with Timed Automata in Uppaal, in: ACM Transactions in Embedded Computing Systems, December 2013, vol. 13, no 3, pp. 44-1–44-26. [ DOI : 10.1145/2539036.2539040 ]

    http://hal.inria.fr/hal-00909062
  • 4B. Diouf, C. Hantaş, A. Cohen, Ö. Özturk, J. Palsberg.

    A Decoupled Local Memory Allocator, in: ACM Transactions on Architecture and Code Optimization, 2013, vol. 9, no 4, Selected for presentation at the HiPEAC 2013 Conf.. [ DOI : 10.1145/2400682.2400693 ]

    http://hal.inria.fr/hal-00786676
  • 5E. Park, J. Cavazos, L.-N. Pouchet, C. Bastoul, A. Cohen, P. Sadayappan.

    Predictive Modeling in a Polyhedral Optimization Space, in: International Journal of Parallel Programming, 2013, vol. 41, no 5, pp. 704–750. [ DOI : 10.1007/s10766-013-0241-1 ]

    http://hal.inria.fr/hal-00918653
  • 6A. Pop, A. Cohen.

    OpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs, in: ACM Transactions on Architecture and Code Optimization, 2013, vol. 9, no 4, Selected for presentation at the HiPEAC 2013 Conf.. [ DOI : 10.1145/2400682.2400712 ]

    http://hal.inria.fr/hal-00786675
  • 7J. Sevcik, V. Vafeiadis, F. Zappa Nardelli, S. Jagannathan, P. Sewell.

    CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency, in: Journal of the ACM, 2013, vol. 60, no 3, 22 p. [ DOI : 10.1145/2487241.2487248 ]

    http://hal.inria.fr/hal-00909076
  • 8S. Verdoolaege, J. C. Juega, A. Cohen, J. I. Gómez, C. Tenllado, F. Catthoor.

    Polyhedral Parallel Code Generation for CUDA, in: ACM Transactions on Architecture and Code Optimization, 2013, vol. 9, no 4, Selected for presentation at the HiPEAC 2013 Conf.. [ DOI : 10.1145/2400682.2400713 ]

    http://hal.inria.fr/hal-00786677

International Conferences with Proceedings

  • 9G. Baudart, L. Mandel, F. Jacquemard, M. 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.

    http://hal.inria.fr/hal-00850299
  • 10G. Baudart, L. Mandel, M. Pouzet.

    Programming Mixed Music in ReactiveML, in: FARM '13 - ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design, Boston, United States, ACM, September 2013, pp. 11-22. [ DOI : 10.1145/2505341.2505344 ]

    http://hal.inria.fr/hal-00850294
  • 11A. Benveniste, T. Bourke, B. Caillaud, B. Pagano, M. Pouzet.

    A Type-based Analysis of Causality Loops in Hybrid Systems Modelers, in: 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014), Berlin, Germany, April 2014.

    http://hal.inria.fr/hal-00939947
  • 12T. Bourke, M. Pouzet.

    Zélus: A Synchronous Language with ODEs, in: HSCC - 16th International Conference on Hybrid systems: computation and control, Philadelphia, United States, C. Belta, F. Ivančić (editors), ACM, April 2013, pp. 113-118. [ DOI : 10.1145/2461328.2461348 ]

    http://hal.inria.fr/hal-00909029
  • 13A. Cohen, T. Grosser, P. H. J. Kelly, J. Ramanujam, P. Sadayappan, S. 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, 2013.

    http://hal.inria.fr/hal-00786812
  • 14C. Couvreur, P. Avasare, F. Broekaert, A. 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, 2013, 1 p.

    http://hal.inria.fr/hal-00911895
  • 15B. Diouf, A. Cohen, F. Rastello.

    A Polynomial Spilling Heuristic: Layered Allocation, in: CGO 2013 - International Symposium on Code Generation and Optimization, Shenzhen, China, IEEE, 2013. [ DOI : 10.1109/CGO.2013.6495005 ]

    http://hal.inria.fr/hal-00911887
  • 16T. Grosser, A. Cohen, J. Holewinski, P. Sadayappan, S. Verdoolaege.

    Hybrid Hexagonal/Classical Tiling for GPUs, in: Intl. Symp. on Code Generation and Optimization (CGO), Orlando, FL, United States, 2014.

    http://hal.inria.fr/hal-00911177
  • 17I. Llopard, A. Cohen, C. Fabre, J. Martin, H.-P. Charles, C. 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, Shenzhen, China, ACM, 2013, pp. 11-19. [ DOI : 10.1145/2443608.2443612 ]

    http://hal.inria.fr/hal-00911896
  • 18N. M. Lê, A. Pop, A. Cohen, F. 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, Shenzhen, China, February 2013, pp. 69-80. [ DOI : 10.1145/2442516.2442524 ]

    http://hal.inria.fr/hal-00802885
  • 19L. Mandel, C. Pasteur.

    Réactivité des systèmes coopératifs : le cas de ReactiveML, in: JFLA - Journées francophones des langages applicatifs, Aussois, France, D. Pous, C. Tasson (editors), Damien Pous and Christine Tasson, February 2013.

    http://hal.inria.fr/hal-00779789
  • 20L. Mandel, C. Pasteur, M. Pouzet.

    Time Refinement in a Functional Synchronous Language, in: PPDP '13 - 15th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Madrid, Spain, ACM, September 2013, pp. 169-180. [ DOI : 10.1145/2505879.2505904 ]

    http://hal.inria.fr/hal-00850290
  • 21N. Minh, A. Guatto, A. Cohen, A. Pop.

    Correct and Efficient Bounded FIFO Queues, in: SBAC-PAD 2013 : International Symposium on Computer Architecture and High Performance Computing, Porto de Galinhas, Brazil, IEEE, 2013.

    http://hal.inria.fr/hal-00911893
  • 22R. Morisset, P. Pawan, F. 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, Seattle, WA, United States, ACM, 2013, pp. 187-196. [ DOI : 10.1145/2491956.2491967 ]

    http://hal.inria.fr/hal-00909083
  • 23G. Richards, C. Hammer, F. Zappa Nardelli, S. Jagannathan, J. Vitek.

    Flexible access control for JavaScript, in: OOPSLA'13 - CM SIGPLAN international conference on Object oriented programming systems languages & applications, Indianapolis, IN, United States, ACM, 2013, pp. 305-322. [ DOI : 10.1145/2509136.2509542 ]

    http://hal.inria.fr/hal-00909080
  • 24R. Upadrasta, A. 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, Rome, Italy, ACM, 2013, pp. 483-496. [ DOI : 10.1145/2429069.2429127 ]

    http://hal.inria.fr/hal-00911888
  • 25S. Verdoolaege, S. Guelton, T. Grosser, A. Cohen.

    Schedule Trees, in: IMPACT - 4th Workshop on Polyhedral Compilation Techniques, associated with HiPEAC, Vienna, Austria, ACM, 2014.

    http://hal.inria.fr/hal-00911894

National Conferences with Proceedings

  • 26A. Guatto, L. 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.

    http://hal.inria.fr/hal-00919281
  • 27L. Mandel, C. Pasteur.

    Exécution efficace de programmes ReactiveML, in: JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Fréjus, France, January 2014.

    http://hal.inria.fr/hal-00919271

Internal Reports

  • 28T. Grosser, S. Verdoolaege, A. Cohen, P. Sadayappan.

    The Promises of Hybrid Hexagonal/Classical Tiling for GPU, Inria, July 2013, no RR-8339.

    http://hal.inria.fr/hal-00848691
  • 29N. M. Lê, A. Guatto, A. Cohen, A. Pop.

    Correct and Efficient Bounded FIFO Queues, Inria, September 2013, no RR-8365.

    http://hal.inria.fr/hal-00862450

Other Publications

  • 30A. Benveniste, T. Bourke, B. Caillaud, B. Pagano, M. 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".

    http://hal.inria.fr/hal-00938866
  • 31A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.

    Semantics of multi-mode DAE systems, August 2013, Deliverable D.4.1.1 of the ITEA2 Modrio collaborative project.

    http://hal.inria.fr/hal-00938891
  • 32G. Richards, F. Zappa Nardelli, C. Rouleau, J. Vitek.

    Types You Can Count On: Like Types for JavaScript, 2013, Submitted.

    http://hal.inria.fr/hal-00909092
References in notes
  • 33D. Biernacki, J.-L. Colaço, G. Hamon, M. Pouzet.

    Clock-directed Modular Code Generation of Synchronous Data-flow Languages, in: ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Tucson, Arizona, June 2008.
  • 34F. Boussinot, R. de Simone.

    The SL synchronous language, in: IEEE Transaction on Software Engineering, 1996.
  • 35P. Caspi, M. Pouzet.

    Synchronous Kahn Networks, in: ACM SIGPLAN International Conference on Functional Programming (ICFP), Philadelphia, Pensylvania, May 1996.
  • 36P. Caspi, M. Pouzet.

    A Co-iterative Characterization of Synchronous Stream Functions, in: Coalgebraic Methods in Computer Science (CMCS'98), Electronic Notes in Theoretical Computer Science, March 1998, Extended version available as a VERIMAG tech. report no. 97–07 at www.lri.fr/∼pouzet.
  • 37A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau, M. Pouzet.

    Synchroning Periodic Clocks, in: ACM International Conference on Embedded Software (EMSOFT'05), Jersey city, New Jersey, USA, September 2005.
  • 38A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau, M. Pouzet.

    N-Synchronous Kahn Networks: a Relaxed Model of Synchrony for Real-Time Systems, in: ACM International Conference on Principles of Programming Languages (POPL'06), Charleston, South Carolina, USA, January 2006.
  • 39A. Cohen, S. Girbal, D. Parello, M. Sigler, O. Temam, N. Vasilache.

    Facilitating the Search for Compositions of Program Transformations, in: Intl. Conf. on Supercomputing (ICS'05), Boston, Massachusetts, June 2005, pp. 151–160.
  • 40A. Cohen, S. Girbal, O. Temam.

    A Polyhedral Approach to Ease the Composition of Program Transformations, in: Euro-Par'04, Pisa, Italy, LNCS, Springer-Verlag, August 2004, no 3149, pp. 292–303.
  • 41A. Cohen, L. Mandel, F. Plateau, M. Pouzet.

    Abstraction of Clocks in Synchronous Data-flow Systems, in: The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS), Bangalore, India, December 2008.
  • 42A. Cohen, L. Mandel, F. Plateau, M. Pouzet.

    Relaxing Synchronous Composition with Clock Abstraction, 2009, Workshop on Hardware Design using Functional languages (HFL 09) - ETAPS.

    http://hal.inria.fr/hal-00645333
  • 43J.-L. Colaço, G. Hamon, M. Pouzet.

    Mixing Signals and Modes in Synchronous Data-flow Systems, in: ACM International Conference on Embedded Software (EMSOFT'06), Seoul, South Korea, October 2006.
  • 44J.-L. Colaço, B. Pagano, M. Pouzet.

    A Conservative Extension of Synchronous Data-flow with State Machines, in: ACM International Conference on Embedded Software (EMSOFT'05), Jersey city, New Jersey, USA, September 2005.
  • 45J.-L. Colaço, M. Pouzet.

    Clocks as First Class Abstract Types, in: Third International Conference on Embedded Software (EMSOFT'03), Philadelphia, Pennsylvania, USA, october 2003.
  • 46J.-L. Colaço, M. Pouzet.

    Type-based Initialization Analysis of a Synchronous Data-flow Language, in: International Journal on Software Tools for Technology Transfer (STTT), August 2004, vol. 6, no 3, pp. 245–255.
  • 47P. Cuoq, M. Pouzet.

    Modular Causality in a Synchronous Stream Language, in: European Symposium on Programming (ESOP'01), Genova, Italy, April 2001.
  • 48P. Feautrier.

    Some Efficient Solutions to the Affine Scheduling Problem, Part II, multidimensional time, in: Intl. J. of Parallel Programming, December 1992, vol. 21, no 6, pp. 389-420, See also Part I, one dimensional time, 21(5):315–348.
  • 49A. Gamatié, E. Rutten, H. Yu, P. Boulet, J.-L. Dekeyser.

    Synchronous Modeling and Analysis of Data Intensive Applications, in: EURASIP Journal on Embedded Systems, 2008.
  • 50S. Girbal, N. Vasilache, C. Bastoul, A. Cohen, D. Parello, M. Sigler, O. Temam.

    Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies, in: Intl. J. of Parallel Programming, June 2006, vol. 34, no 3, pp. 261–317, Special issue on Microgrids.
  • 51T. Grosser, A. Größlinger, C. Lengauer.

    Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation, in: Parallel Processing Letters, 2012, vol. 22, no 4.
  • 52A.-C. Guillou, F. Quilleré, P. Quinton, S. Rajopadhye, T. Risset.

    Hardware Design Methodology with the Alpha Language, in: FDL'01, Lyon, France, September 2001.
  • 53H. Leverge, C. Mauras, P. Quinton.

    The Alpha language and its use for the design of systolic arrays, in: J. of VLSI Signal Processing, 1991, vol. 3, pp. 173–182.
  • 54L. Mandel, F. Benbadis.

    Simulation of Mobile Ad hoc Network Protocols in ReactiveML, in: Proceedings of Synchronous Languages, Applications, and Programming (SLAP'05), Edinburgh, Scotland, Electronic Notes in Theoretical Computer Science, April 2005, Workshop ETAPS 2005.
  • 55L. Mandel.

    Conception, Sémantique et Implantation de ReactiveML : un langage à la ML pour la programmation réactive, Université Paris 6, 2006.
  • 56L. Mandel, F. Plateau, M. Pouzet.

    Lucy-n: a n-Synchronous Extension of Lustre, in: 10th International Conference on Mathematics of Program Construction (MPC'10), Manoir St-Castin, Québec, Canada, Springer LNCS, June 2010.
  • 57L. Mandel, M. Pouzet.

    ReactiveML, a Reactive Extension to ML, in: ACM International Conference on Principles and Practice of Declarative Programming (PPDP), Lisboa, July 2005.
  • 58F. Maraninchi, N. Berthier, O. Bezet, G. Funchal.

    Writing Simulators with Synchronous Languages, 2008, Synchron 2008: International Open Workshop on Synchronous Programming.
  • 59C. Miranda, A. Pop, P. Dumont, A. Cohen, M. Duranton.

    Erbium: A Deterministic, Concurrent Intermediate Representation to Map Data-Flow Tasks to Scalable, Persistent Streaming Processes, in: Intl. Conf. on Compilers Architectures and Synthesis for Embedded Systems (CASES'10), October 2010.
  • 60J.-B. Note, M. Shand, J. Vuillemin.

    Realtime video pixel matching, in: International Conference on Field Programmable Logic and Applications, 2006, pp. 507 – 512.
  • 61J.-B. Note, J. Vuillemin.

    Towards automatically compiling efficient FPGA hardware, in: International Workshop on Design and Functional Languages, IEEE, 2007, pp. 115 – 124.
  • 62F. Plateau.

    Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée, Université Paris-Sud 11, Orsay, France, 6 janvier 2010.

    https://www.lri.fr/~mandel/lucy-n/~plateau/these/
  • 63S. Pop, A. Cohen, C. Bastoul, S. Girbal, G.-A. Silber, N. Vasilache.

    GRAPHITE: Loop Optimizations Based on the Polyhedral Model for GCC, in: Proc. of the 4þ GCC Developper's Summit, Ottawa, Canada, June 2006.
  • 64L.-N. Pouchet, C. Bastoul, A. Cohen, J. Cavazos.

    Iterative Optimization in the Polyhedral Model: Part II, Multidimensional Time, in: ACM Conf. on Programming Language Design and Implementation (PLDI'08), Tucson, Arizona, June 2008.
  • 65L.-N. Pouchet, C. Bastoul, A. Cohen, N. Vasilache.

    Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time, in: Intl. Symp. on Code Generation and Optimization (CGO'07), San Jose, California, March 2007.
  • 66L.-N. Pouchet, U. Bondhugula, C. Bastoul, A. Cohen, J. Ramanujam, P. Sadayappan.

    Combined Iterative and Model-driven Optimization in an Automatic Parallelization Framework, in: ACM Supercomputing Conf. (SC'10), New Orleans, Lousiana, November 2010, 11 p.
  • 67P. Raymond, Y. Roux, E. Jahier.

    Lutin: a language for specifying and executing reactive scenarios, in: EURASIP Journal on Embedded Systems, 2008, vol. 2008, Article ID 753821.
  • 68L. Samper, F. Maraninchi, L. Mounier, L. Mandel.

    GLONEMO: Global and Accurate Formal Models for the Analysis of Ad hoc Sensor Networks, in: Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks (InterSense'06), Nice, France, May 2006.
  • 69J. Soula, P. Marquet, J.-L. Dekeyser, A. Demeure.

    Compilation principle of a specification language dedicated to signal processing, in: Intl. Conf. on Parallel Computing Technologies, Novosibirsk, Russia, LNCS, Springer-Verlag, September 2001, vol. 2127, pp. 358–370.
  • 70K. Trifunović, A. Cohen, D. Edelsohn, F. Li, T. Grosser, H. Jagasia, R. Ladelski, S. Pop, J. Sjödin, R. Upadrasta.

    GRAPHITE Two Years After: First Lessons Learned From Real-World Polyhedral Compilation, in: GCC Research Opportunities Workshop (GROW'10), Pisa, Italy, January 2010.
  • 71K. Trifunović, D. Nuzman, A. Cohen, A. Zaks, I. Rosen.

    Polyhedral-Model Guided Loop-Nest Auto-Vectorization, in: Parallel Architectures and Compilation Techniques (PACT'09), Raleigh, North Carolina, September 2009.
  • 72J. Vuillemin.

    On Circuits and Numbers, Digital, Paris Research Laboratory, 1993.


previous Previous | up Home