Code generation in the Columbia esterel compiler

Eurasip Journal on Embedded Systems

Volumn 2007, Issue , 2007, Pages

  Edwards, Stephen A ^a   Zeng, Jia ^a  

^a Columbia University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34247197794     PISSN: 16873955     EISSN: 16873963     Source Type: Journal    
DOI: 10.1155/2007/52651     Document Type: Article

References (37)

1. A. Benveniste Albert.Benveniste@inria.fr P. Caspi Paul.Caspi@imag.fr S. A. Edwards sedwards@cs.columbia.edu N. Halbwachs P. Le Guernic R. de Simone Robert.De-Simone@inria.fr The synchronous languages 12 years later. Proceedings of the IEEE 91 1 2003 64 83
2. G. Berry G. Gonthier The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming 19 1992 2 87 152
3. A. Benveniste P. Le Guernic C. Jacquemot The SIGNAL software environment for real-time system specification, design, and implementation. Proceedings of IEEE Control Systems Society Workshop on Computer-Aided Control System Design (CACSD '89) Tampa, Fla, USA 1989 41 49
4. P. Caspi D. Pilaud N. Halbwachs J. A. Plaice LUSTRE: a declarative language for programming synchronous systems. Proceedings of the Symposium on Principles of Programming Languages (POPL '87) Munich, Germany 1987 178 188
5. S. A. Edwards sedwards@cs.columbia.edu Tutorial: compiling concurrent languages for sequential processors. ACM Transactions on Design Automation of Electronic Systems 8 2 2003 141 187
6. A. C. Nácul nacul@ics.uci.edu T. Givargis givargis@ics.uci.edu Code partitioning for synthesis of embedded applications with phantom. Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD '04) 2004 San Jose, Calif, USA 190 196
7. J. Ferrante K. J. Ottenstein J. D. Warren The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems 9 3 1987 319 349
8. X. Li xli@informatik.uni-kiel.de R. von Hanxleden rvh@informatik.uni- kiel.de A concurrent reactive Esterel processor based on multi-threading. Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC '06) 1 Dijon, France 2006 912 917
9. P. S. Roop p.roop@auckland.ac.nz Z. Salcic z.salcic@auckland.ac.nz M. W. Sajeewa Dayaratne sajeewa@ieee.org Towards direct execution of Esterel programs on reactive processors. Proceedings of the 4th ACM International Conference on Embedded Software (EMSOFT '04) Pisa, Italy 2004 240 248
10. D. Potop-Butucaru Optimizations for faster execution of Esterel programs. Proceedings of the 1st International Conference on Formal Methods and Models for Codesign (MEMOCODE '03) Mont St. Michel, France 2003 227 236
11. S. A. Edwards An Esterel compiler for large control-dominated systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 21 2 2002 169 183
12. G. Berry Preemption in concurrent systems. Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science 761 Lecture Notes in Computer Science Bombay, India 1993 72 93
13. R. Cytron J. Ferrante B. K. Rosen M. N. Wegman F. K. Zadeck Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems 13 4 1991 451 490
14. B. Simons J. Ferrante An effficient algorithm for constructing a control flow graph for parallel code. IBM, Santa Teresa Laboratory San Jose, Calif, USA TR-03.465 1993
15. J. Ferrante M. Mace B. Simons Generating sequential code from parallel code. Proceedings of the 2nd International Conference on Supercomputing (ICS '88) Saint Malo, France 1988 582 592
16. B. Steensgaard Sequentializing program dependence graphs for irreducible programs. Microsoft Redmond, Wash, USA MSR-TR-93-14 1993
17. V. Bertin M. Poize J. Pulou Une nouvelle méthode de compilation pour le language Esterel A new method for compiling the Esterel language Proceedings of GRAISyHM-AAA Lille, France 1999
18. D. Weil V. Bertin E. Closse M. Poize P. Venier J. Pulou Efficient compilation of Esterel for realtime embedded systems. Proceedings of International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '00) San Jose, Calif, USA 2000 2 8
19. J. Banks J. S. Carson B. L. Nelson D. M. Nicol Discrete-Event System Simulation. Prentice-Hall Upper Saddle River, NJ, USA 3rd 2000
20. E. Closse M. Poize J. Pulou Jacques.Pulou@rd.francetelecom.com P. Venier D. Weil Daniel.Weil@rd.francetelecom.com SAXO-RT: interpreting Esterel semantic on a sequential execution structure. Electronic Notes in Theoretical Computer Science 65 5 2002 864 878 in Proceedings of Synchronous Languages, Applications, and Programming (SLAP '02)
21. S. S. Muchnick Advanced Compiler Design and Implementation. Morgan Kaufmann San Francisco, Calif, USA 1997
22. S. A. Edwards Compiling Esterel into sequential code. Proceedings of the 37th Design Automation Conference (DAC '00) 2000 Los Angeles, Calif, USA 322 327 Association for Computing Machinery
23. D. White G. Lüttgen S. A. Edwards N. Halbwachs R. V. Hanxleden T. Stauner Accessing databases within Esterel. Synchronous Programming (SYNCHRON '04) 04491 Dagstuhl Seminar Proceedings Dagstuhl, Germany 2005
24. M. Chiodo chiodo@cadence.com D. Engels dragon@rle-vlsi.mit.edu P. Giusto pgiusto@torino.maraut.it A case study in computer-aided co-design of embedded controllers. Design Automation for Embedded Systems 1 1-2 1996 51 67
25. E. M. Sentovich K. J. Singh L. Lavagno SIS: a system for sequential circuit synthesis. University of California Berkeley, Calif, USA UCB/ERL M92/41 1992
26. G. Berry L. Cosserat S. D. Brooks A. W. Roscoe G. Winskel The Esterel synchronous programming language and its mathematical semantics. Seminar on Concurrency 197 Lecture Notes in Computer Science Heidelberg, Germany 1984 389 448
27. G. Gonthier Sémantiques et modèles d'exécution des langages réactifs synchrones; application Esterel. [Semantics and models of execution of the synchronous reactive languages: application to Esterel]. Université d'Orsay Orsay Cedex, France 1988 Thèse d'informatique
28. G. Berry Esterel on hardware. Philosophical Transactions of the Royal Society of London. Series A 339 1992 87 103
29. S. A. Edwards Compiling Esterel into sequential code. Proceedings of the 7th International Conference on Hardware/Software Codesign (CODES '99) Rome, Italy 1999 147 151 Association for Computing Machinery
30. D. Potop-Butucaru Optimizing for Faster Simulation of Esterel Programs. INRIA Sophia-Antipolis, France 2002
31. P. M. Maurer Event driven simulation without loops or conditionals. Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD '00) San Jose, Calif, USA 2000 23 26
32. D. W. Barron Pascal: The Language and Its Implementation. John Wiley & Sons New York, NY, USA 1981
33. A. Goldberg D. Robson Smalltalk-80: The Language and Its Implementation. Addison-Wesley Reading, Mass, USA 1983
34. J. E. Smith R. Nair Virtual Machines. Morgan Kaufmann San Francisco, Calif, USA 2005
35. J. Lukoschus Removing cycles in Esterel programs. Department of Computer Science, Christian-Albrechts-Universität Kiel Kiel, Germany 2006
36. G. Berry The constructive semantics of pure Esterel. draft book, 1999
37. S. A. Edwards sedwards.tardieu@cs.columbia.edu O. Tardieu Efficient code generation from SHIM models. Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES '06) 2006 Ottawa, Ontario, Canada 2006 125 134