Bibliography

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

• 9P. Attar, F. Boussinot, L. Mandel, J.-F. Susini.
  
  Proposal for a Dynamic Synchronous Language, May 2011.
  
  http://hal.archives-ouvertes.fr/hal-00590420

• 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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.