EN FR
EN FR


Bibliography

Publications of the year

Articles in International Peer-Reviewed Journal

  • 1A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.

    Non-Standard Semantics of Hybrid Systems Modelers, in: Journal of Computer and System Sciences (JCSS), 2011, vol. Special issue in honor of Amir Pnueli, Accepted for publication..

    http://www.di.ens.fr/~pouzet/bib/modelica_JCSS_revised.pdf

International Conferences with Proceedings

  • 2A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.

    A Hybrid Synchronous Language with Hierarchical Automata: Static Typing and Translation to Synchronous Code, in: ACM SIGPLAN/SIGBED Conference on Embedded Software (EMSOFT'11), Taipei, Taiwan, October 2011.

    http://www.di.ens.fr/~pouzet/bib/emsoft11.pdf
  • 3A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.

    Divide and recycle: types and compilation for a hybrid synchronous language, in: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES'11), Chicago, USA, April 2011.

    http://www.di.ens.fr/~pouzet/bib/lctes11.pdf
  • 4L. Mandel, F. Plateau.

    Typage des horloges périodiques en Lucy-n, in: Vingt deuxièmes Journées Francophones des Langages Applicatifs (JFLA 2011), La Bresse, France, January 2011.

    http://www.lri.fr/~mandel/papiers/MandelPlateau-JFLA-2011.pdf
  • 5L. Mandel, F. Plateau, M. Pouzet.

    Static Scheduling of Latency Insensitive Designs with Lucy-n, in: Formal Methods in Computer Aided Design (FMCAD 2011), Austin, TX, USA, October 2011.

    http://www.lri.fr/~mandel/lucy-n/fmcad11/
  • 6L.-N. Pouchet, U. Bondhugula, C. Bastoul, A. Cohen, J. Ramanujam, P. Sadayappan, N. Vasilache.

    Loop Transformations: Convexity, Pruning and Optimization, in: 38þ Symp. on Principles of Programming Languages (POPL'11), Austin, Texas, January 2011.
  • 7K. Trifunović, A. Cohen, R. Ladelski, F. 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: 3 rd GCC Research Opportunities Workshop (GROW'11, associated with CGO), Chamonix, France, April 2011.
  • 8J. Vuillemin.

    The dimension of Boolean Functions, in: Boole Conference 2011, Luminy, ANR, 2011, vol. 3.

Other Publications

References in notes
  • 10R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine.

    The Algorithmic Analysis of Hybrid Systems, in: Theor. Comput. Sci., 1995, vol. 138, no 1, p. 3-34.
  • 11A. Benveniste, B. Caillaud, M. Pouzet.

    The Fundamentals of Hybrid Systems Modelers, in: 49th IEEE International Conference on Decision and Control (CDC), Atlanta, Georgia, USA, December 15-17 2010.

    http://www.di.ens.fr/~pouzet/bib/cdc10.pdf
  • 12A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone.

    The synchronous languages 12 years later, in: Proceedings of the IEEE, January 2003, vol. 91, no 1.
  • 13G. Berry.

    Real time programming: Special purpose or general purpose languages, in: Information Processing, 1989, vol. 89, p. 11-17.
  • 14D. 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.
  • 15F. Boussinot, R. de Simone.

    The SL synchronous language, in: IEEE Transaction on Software Engineering, 1996.
  • 16C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, H. Zheng.

    Heterogeneous Concurrent Modeling and Design in Java, Memorandum UCB/ERL M04/27, EECS, University of California, Berkeley, CA USA 94720, July 2004.
  • 17P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis.

    Translating Discrete-Time Simulink to Lustre, in: ACM Transactions on Embedded Computing Systems, 2005, Special Issue on Embedded Software.
  • 18P. Caspi, G. Hamon, M. Pouzet.

    Synchronous Functional Programming with Lucid Synchrone, in: Real-Time Systems: Models and verification — Theory and tools, ISTE, 2007, English version of Lucid Synchrone. Published during year 2007.
  • 19P. Caspi, M. Pouzet.

    Synchronous Kahn Networks, in: ACM SIGPLAN International Conference on Functional Programming (ICFP), Philadelphia, Pensylvania, May 1996.
  • 20P. 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.
  • 21A. Chapoutot.

    Simulation abstraite : une analyse statique de modèles Simulink, École Polytechnique, December 2008.
  • 22A. 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.
  • 23A. 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.
  • 24A. 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, p. 151–160.
  • 25A. 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, p. 292–303.
  • 26A. 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.
  • 27A. 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://www.lri.fr/~plateau/hfl09/
  • 28J.-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.
  • 29J.-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.
  • 30J.-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.
  • 31J.-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, p. 245–255.
  • 32B. Courcelle, G. Kahn, J. Vuillemin.

    Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations, in: From Semantics to Computer Science, Essays in Honour of Gilles Kahn, 2009, p. 169 – 184.
  • 33P. Cuoq, M. Pouzet.

    Modular Causality in a Synchronous Stream Language, in: European Symposium on Programming (ESOP'01), Genova, Italy, April 2001.
  • 34P. 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, p. 389-420, See also Part I, one dimensional time, 21(5):315–348.
  • 35A. 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.
  • 36S. 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, p. 261–317, Special issue on Microgrids..
  • 37A.-C. Guillou, F. Quilleré, P. Quinton, S. Rajopadhye, T. Risset.

    Hardware Design Methodology with the Alpha Language, in: FDL'01, Lyon, France, September 2001.
  • 38N. Halbwachs, S. Baghdadi.

    Synchronous modeling of asynchronous systems, in: EMSOFT'02, Grenoble, LNCS 2491, Springer Verlag, October 2002.
  • 39G. Kahn.

    The semantics of a simple language for parallel programming, in: IFIP 74 Congress, North Holland, Amsterdam, 1974.
  • 40E. A. Lee, H. Zheng.

    Operational Semantics of Hybrid Systems, in: HSCC, 2005, p. 25-53.
  • 41E. A. Lee, H. Zheng.

    Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems, in: EMSOFT, Salzburg, Austria, September 30-October 3 2007.
  • 42E. A. Lee, H. Zheng.

    Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, in: EMSOFT, 2007, p. 114-123.
  • 43H. 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, p. 173–182.
  • 44O. Maler, Z. Manna, A. Pnueli.

    From timed to hybrid systems, in: Real-Time: Theory in Practice, LNCS, Springer, 1992, vol. 600, eds. J.W. de Bakker and C. Huizing and W.-P. de Roever and G. Rozemberg.
  • 45L. 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.
  • 46L. Mandel.

    Conception, Sémantique et Implantation de ReactiveML : un langage à la ML pour la programmation réactive, Université Paris 6, 2006.
  • 47L. 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.
  • 48L. Mandel, F. Plateau, M. Pouzet.

    Lucy-n: a n-Synchronous Extension of Lustre, in: Tenth International Conference on Mathematics of Program Construction (MPC 2010), Québec, Canada, June 2010.

    http://www.lri.fr/~mandel/papiers/MandelPlateauPouzet-MPC-10.pdf
  • 49L. Mandel, M. Pouzet.

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

    Writing Simulators with Synchronous Languages, 2008, Synchron 2008: International Open Workshop on Synchronous Programming.
  • 51C. 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.
  • 52J.-B. Note, M. Shand, J. Vuillemin.

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

    Towards automatically compiling efficient FPGA hardware, in: International Workshop on Design and Functional Languages, IEEE, 2007, p. 115 – 124.
  • 54F. 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.

    http://www.lri.fr/~plateau
  • 55S. 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.
  • 56L.-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.
  • 57L.-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.
  • 58L.-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 pages.
  • 59P. Raymond.

    Compilation séparée de programmes Lustre, Projet SPECTRE, IMAG, juillet 1988.
  • 60P. 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.
  • 61L. 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.
  • 62J. 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, p. 358–370.
  • 63K. 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.
  • 64K. 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.
  • 65J. Vuillemin, N. Gama.

    Compact normal form for regular languages as xor automata, in: 14th International Conference, CIAA 2009, Sydney, Australia, LLNCS, Springer-Verlag, 2009, vol. 5642, p. 24 – 33.
  • 66J. Vuillemin.

    Efficient data structure and algorithms for sparse integers, sets and predicates, in: 19th IEEE Symposium on Computer Arithmetic, IEEE, 2009, p. 7 – 14.
  • 67J. Vuillemin.

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