Bibliography

Publications of the year

Articles in International Peer-Reviewed Journals

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

Non-Standard Semantics of Hybrid Systems Modelers, in: Journal of Computer and System Sciences (JCSS), 2012, vol. Special issue in honor of Amir Pnueli.
2D. Das, R. Upadrasta, B. Dupont De Dinechin.

Efficient Liveness Computation Using Merge Sets and DJ-Graphs, in: ACM Transactions on Architecture and Code Optimization, January 2012, vol. 8, n^o 4. [ DOI : 10.1145/2086696.2086706 ]

http://hal.inria.fr/hal-00647369
3J. Ševčík, V. Vafeiadis, F. Zappa Nardelli, P. Sewell, S. Jagannathan.

CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency, in: JACM, 2012, to appear.

International Conferences with Proceedings

4M. Bachir, A. Cohen, S.-A.-A. TOUATI.

On the Effectiveness of Register Moves to Minimise Post-Pass Unrolling in Software Pipelined Loops, in: HPCS 2012 : International Conference on High Performance Computing & Simulation, Madrid, Spain, IEEE, ACM (editors), Pr Waleed Smari, July 2012.

http://hal.inria.fr/hal-00716183
5M. Batty, K. Memarian, S. Owens, S. Sarkar, P. Sewell.

Clarifying and Compiling C/C++ Concurrency: from C++11 to POWER, in: POPL 2012, 2012.
6E. Brier, Q. Fortier, R. Korkikian, D. Naccache, G. O. de Almeida, A. Pommellet, K. W. Magld, A. H. Ragab, J. Vuillemin.

Defensive Leakage Camouflage, in: CARDIS 12, 2013, to appear.
7L. Gérard, A. Guatto, C. Pasteur, M. Pouzet.

A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler, in: Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Beijing, China, ACM, 2012, p. 51–60. [ DOI : 10.1145/2248418.2248426 ]

http://hal.inria.fr/hal-00728527
8L. Mandel, F. Plateau.

Scheduling and Buffer Sizing of n-Synchronous Systems: Typing of Ultimately Periodic Clocks in Lucy-n, in: Eleventh International Conference on Mathematics of Program Construction (MPC 2012), Madrid, Spain, June 2012.
9J. Vuillemin.

The least diagram of a Boolean function, in: Boole Conference, volume 3 of Luminy 12, 2012.

Conferences without Proceedings

10L. Mandel, C. Pasteur.

Réactivité des systèmes coopératifs : le cas de ReactiveML, in: Vingt-quatrièmes Journées Francophones des Langages Applicatifs, Aussois, France, February 2013.

Internal Reports

11B. Diouf, A. Cohen, F. Rastello.

A Polynomial Spilling Heuristic: Layered Allocation, Inria, July 2012, n^o RR-8007, 23 p.

http://hal.inria.fr/hal-00713693
12A. Pop, A. Cohen.

Control-Driven Data Flow, Inria, July 2012, n^o RR-8015, 36 p.

http://hal.inria.fr/hal-00717906
13A. Pop, A. Cohen.

Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs, Inria, June 2012, n^o RR-8001, 28 p.

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

Other Publications

14G. Baudart.

Antescofo : Vers une programmation synchrone, Master ATIAM, Université Pierre et Marie Curie (UPMC) et IRCAM, Paris, September 2012, 46 p.

http://hal.inria.fr/hal-00730443
15R. Morisset, P. Pawan, F. Zappa Nardelli.

Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 memory model, 2012, submitted.
16J. Vuillemin.

De l'algorithme au circuit intégré, 2012, Notes de cours de l'Ecole Normale Supérieure, pages 1-310, ENS.

References in notes

17D. 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.
18F. Boussinot, R. de Simone.

The SL synchronous language, in: IEEE Transaction on Software Engineering, 1996.
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/ $\sim$ pouzet.
21A. 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.
22A. 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.
23A. 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.
24A. 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.
25A. 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.
26A. 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/
27J.-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.
28J.-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.
29J.-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.
30J.-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.
31P. Cuoq, M. Pouzet.

Modular Causality in a Synchronous Stream Language, in: European Symposium on Programming (ESOP'01), Genova, Italy, April 2001.
32P. 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.
33A. 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.
34S. 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.
35A.-C. Guillou, F. Quilleré, P. Quinton, S. Rajopadhye, T. Risset.

Hardware Design Methodology with the Alpha Language, in: FDL'01, Lyon, France, September 2001.
36H. 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.
37L. 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.
38L. Mandel.

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

Static Scheduling of Latency Insensitive Designs with Lucy-n, in: International Conference on Formal Methods in Computer-Aided Design (FMCAD), Austin, Texas, USA, October 30 – November 2 2011.
42L. Mandel, M. Pouzet.

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

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

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

Towards automatically compiling efficient FPGA hardware, in: International Workshop on Design and Functional Languages, IEEE, 2007, p. 115 – 124.
47F. 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
48S. 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.
49L.-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.
50L.-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.
51L.-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.
52P. 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.
53L. 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.
54J. 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.
55K. 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.
56K. 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.
57J. Vuillemin.

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

Previous |

Home