Efficient code generation from SHIM models

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn 2006, Issue , 2006, Pages 125-134

  Edwards, Stephen A ^a   Tardieu, Olivier ^a  

^a Department of Computer Science ^*  (United States)

Author keywords

Code synthesis; Computed gotos; Concurrency; Embedded Systems; The SHIM model

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SOFTWARE; CONCURRENCY CONTROL; CONCURRENT ENGINEERING; EMBEDDED SYSTEMS; MATHEMATICAL MODELS;

CODE SYNTHESIS; COMPUTED GOTOS; CONCURRENCY; THE SHIM MODEL;

CODES (SYMBOLS);

EID: 33746098154     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1134650.1134669     Document Type: Conference Paper

References (14)

1. Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guemic, and Robert de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64-83, January 2003.
2. Gérard Berry and Georges Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, November 1992.
3. Luca Cardelli and Rob Pike. Squeak: A language for communicating with mice. In Proceedings of the Twelfth ACM Annual Conference on Computer Graphics and Interactive Techniques (SIGGRAPH), pages 199-204, San Francisco, California, 1985.
4. Stephen A. Edwards. Compiling concurrent languages for sequential processors. ACM Transactions on Design Automation of Electronic Systems, 8(2):141-187, April 2003.
5. Stephen A. Edwards and Olivier Tardieu. SHIM: A deterministic model for heterogeneous embedded systems. In Proceedings of the International Conference on Embedded Software (Emsoft), Jersey City, New Jersey, September 2005.
6. Stephen A. Edwards and Olivier Tardieu. SHIM: A deterministic model for heterogeneous embedded systems. IEEE Transactions on Very Large Scale Integrated (VLSI) Systems, 2006. To appear.
7. Robert S. French, Monica S. Lam, Jeremy R. Levitt, and Kunle Olukotun. A general method for compiling event-driven simulations. In Proceedings of the 32nd Design Automation Conference, pages 151-156, San Francisco, California, June 1995.
8. Nicholas Halbwachs, Paul Caspi, Pascal Raymond, and Daniel Pilaud. The synchronous data flow programming language LUSTRE. Proceedings of the IEEE, 79(9): 1305-1320, September 1991.
9. Nicholas Halbwachs, Pascal Raymond, and Christophe Ratel. Generating efficient code from data-flow programs. In Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming (PLILP), volume 528 of Lecture Notes in Computer Science, Passau, Germany, August 1991. Springer-Verlag.
10. Gilles Kahn. The semantics of a simple language for parallel programming. In Information Processing 74: Proceedings'of IFIP Congress 74, pages 471-475, Stockholm, Sweden, August 1974. North-Holland.
11. Bill Lin. Software synthesis of process-based concurrent programs. In Proceedings of the 35th Design Automation Conference, pages 502-505, San Francisco, California, June 1998.
12. André Costi Nácul and Tony Givargis. Code partitioning for synthesis of embedded applications with Phantom. In Proceedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD), pages 190-196, San Jose, California, November 2004.
13. Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, and Alberto Sangiovanni-Vincentelli. Synthesis of embedded software using freechoice Petri nets. In Proceedings of the 36th Design Automation Conference, pages 805-810, New Orleans, Louisiana, June 1999.
14. Xiaohan Zhu and Bill Lin. Compositional software synthesis of communicating processes. In Proceedings of the IEEE International Conference on Computer Design (ICCD), pages 646-651, Austin, Texas, October 1999.