Lime: A Java-compatible and synthesizable language for heterogeneous architectures

ACM SIGPLAN Notices

Volumn 45, Issue 10, 2010, Pages 89-108

  Auerbach, Joshua ^a   Bacon, David F ^a   Cheng, Perry ^a   Rabbah, Rodric ^a  

^a IBM RESEARCH   (United States)

Author keywords

FPGA; Functional programming; High level synthesis; Object oriented; Reconfigurable architecture; Streaming; Value type

Indexed keywords

FPGA; HIGH LEVEL SYNTHESIS; OBJECT ORIENTED; RECONFIGURABLE ARCHITECTURE; STREAMING; VALUE TYPE;

ARCHITECTURE; FUNCTIONAL PROGRAMMING; JAVA PROGRAMMING LANGUAGE; LIME; OBJECT ORIENTED PROGRAMMING; PROGRAM PROCESSORS;

RECONFIGURABLE HARDWARE;

EID: 79551665639     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1932682.1869469     Document Type: Conference Paper

References (35)

1. Bluespec SystemVerilog Reference Guide, version 3.8. www.bluespec.com, 2004.
2. ACKERMAN, W., AND DENNIS, J. VAL: a Value-Oriented Algorithmic Language. Tech. Rep. MIT-LCS-TR-218, Massachusetts Institute of Technology, 1979.
3. ARVIND, GOSTELOW, K., AND PLOUFFE, W. An asynchronous programming language and computing machine. Tech. Rep. 114, University of California at Irvine, 1978.
4. ASHCROFT, E., AND WADGE, W. Lucid, a nonprocedural language with iteration. Communications of the ACM 20, 7(1977), 526.
5. AUERBACH, J., BACON, D. F., CHENG, P., AND RABBAH, R. Lime language manual (version 2.0). Tech. Rep. RC-25004, IBM Research, Oct. 2010.
6. AUERBACH, J., BACON, D. F., IERCAN, D., KIRSCH, C. M., RAJAN, V. T., RÖCK, H., AND TRUMMER, R. Lowlatency time-portable real-time programming with Exotasks. ACM Trans. Embed. Comput. Syst. 8, 2(2009), 1-48.
7. BIRKA, A., AND ERNST, M. D. A practical type system and language for reference immutability. In Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vancouver, BC, Canada, 2004), pp. 35-49.
8. BOYAPATI, C., LEE, R., AND RINARD, M. Ownership types for safe programming: preventing data races and deadlocks. In Proceedings of the 17th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Seattle, Washington, 2002), pp. 211-230.
9. BOYLAND, J. Why we should not add readonly to Java (yet). Journal of Object Technology 5, 5(2006), 5-29.
10. BRIDGES, M., VACHHARAJANI, N., ZHANG, Y., JABLIN, T., AND AUGUST, D. Revisiting the sequential programming model for multi-core. In Proceedings of the 40th Annual IEEE/ACM International Symposium on Microarchitecture (2007), pp. 69-84.
11. CARDOSO, J., AND DINIZ, P. Compilation Techniques for Reconfigurable Architectures. Springer, 2008.
12. COURTNEY, A. Frappé: Functional reactive programming in Java. In Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages (2001), Springer-Verlag, pp. 29-44.
13. ELLIOTT, C., AND HUDAK, P. Functional reactive animation. In Proceedings of the Second ACM SIGPLAN International Conference on Functional Programming (1997), pp. 263-273.
14. GORDON, M. I., THIES, W., AND AMARASINGHE, S. Exploiting coarse-grained task, data, and pipeline parallelism in stream programs. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (San Jose, California, USA, 2006), pp. 151-162.
15. GORDON, M. I., THIES, W., KARCZMAREK, M., LIN, J., MELI, A. S., LAMB, A. A., LEGER, C., WONG, J., HOFFMANN, H., MAZE, D., AND AMARASINGHE, S. A stream compiler for communication-exposed architectures. In Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (San Jose, California, 2002), pp. 291-303.
16. GREAVES, D., AND SINGH, S. Kiwi: Synthesis of FPGA circuits from parallel programs. In IEEE Symposium on Field-Programmable Custom Computing Machines (2008).
17. GREAVES, D., AND SINGH, S. Exploiting system-level concurrency abstractions for hardware descriptions. Tech. Rep. MSR-TR-2009-48, Microsoft Research, Apr. 2009.
18. HAGIESCU, A., WONG, W.-F., BACON, D. F., AND RABBAH, R. A computing origami: folding streams in FPGAs. In Proceedings of the 46th Annual Design Automation Conference (San Francisco, California, 2009), pp. 282-287.
19. HOARE, C. Communicating Sequential Processes. Commun. ACM 21, 8(1978), 677.
20. HORMATI, A., KUDLUR, M., MAHLKE, S., BACON, D. F., AND RABBAH, R. Optimus: efficient realization of streaming applications on FPGAs. In Proceedings of the 2008 International Conference on Compilers, Architectures and Synthesis for Embedded Systems (Atlanta, GA, USA, 2008), pp. 41-50.
21. HUANG, S. S., HORMATI, A., BACON, D. F., AND RABBAH, R. M. Liquid metal: Object-oriented programming across the hardware/software boundary. In Proceedings of the European Conference on Object-Oriented Programming (2008), J. Vitek, Ed., vol. 5142 of Lecture Notes in Computer Science, Springer, pp. 76-103.
22. KAHN, G. The semantics of simple language for parallel programming. In Proceedings of IFIP Congress 74 (Stockholm, Sweden, Aug. 1974), J. Rosenfield, Ed., pp. 471-475.
23. LEE, E. A., AND MESSERSCHMITT, D. G. Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans. on Computers 36, 1 (January 1987), 24-35.
24. NIKHIL, R. Bluespec System Verilog: efficient, correct RTL from high level specifications. In Proceedings of the Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design (2004), pp. 69-70.
25. PEYTON JONES, S. L., AND WADLER, P. Imperative functional programming. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Charleston, South Carolina, 1993), pp. 71-84.
26. REYNOLDS, J. C. Syntactic control of interference. In Proceedings of the 5th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (Tucson, Arizona, 1978), pp. 39-46.
27. RYDER, B. G., LANDI, W. A., STOCKS, P. A., ZHANG, S., AND ALTUCHER, R. A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Trans. Program. Lang. Syst. 23, 2(2001), 105-186.
28. SASITORN, J., AND CARTWRIGHT, R. Efficient first-class generics on stock Java virtual machines. In Proceedings of the 2006 ACM Symposium on Applied Computing (Dijon, France, 2006), pp. 1621-1628.
29. SPRING, J. H., PRIVAT, J., GUERRAOUI, R., AND VITEK, J. StreamFlex: high-throughput stream programming in Java. In Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (Montreal, Quebec, 2007), pp. 211-228.
30. STEPHENS, R. A survey of stream processing. Acta Informatica 34, 7(1997), 491-541.
31. THIES, W. Language and compiler support for stream programs. PhD thesis, Massachusetts Institute of Technology, 2009.
32. THIES, W., CHANDRASEKHAR, V., AND AMARASINGHE, S. A practical approach to exploiting coarse-grained pipeline parallelism in C programs. In Proceedings of the 40th Annual IEEE/ACM International Symposium on Microarchitecture (2007), pp. 356-369.
33. THIES, W., KARCZMAREK, M., AND AMARASINGHE, S. P. StreamIt: A language for streaming applications. In Proceedings of the 11th International Conference on Compiler Construction (2002), Springer-Verlag, pp. 179-196.
34. THIES, W., KARCZMAREK, M., SERMULINS, J., RABBAH, R., AND AMARASINGHE, S. Teleport messaging for distributed stream programs. In Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Chicago, Illinois, 2005), pp. 224-235.
35. WADLER, P. Comprehending monads. In Proceedings of the 1990 ACM Conference on LISP and Functional Programming (Nice, France, 1990), pp. 61-78.