Martin T. Vechev, Eran Yahav, et al.
ACM SIGPLAN Notices
The Liquid Metal project at IBM Research aimed to design and implement a new programming language called Lime to address some of the challenges posed by heterogeneous systems. Lime is a Java-compatible programming language with features designed to facilitate high level synthesis to hardware (FPGAS). This article reviews the language design from the outset, and highlights some of the earliest design decisions. We also describe how these decisions were revised recently to accommodate important requirements that arise in networking and cryptography.
Martin T. Vechev, Eran Yahav, et al.
ACM SIGPLAN Notices
Joshua Auerbach, David F. Bacon, et al.
LCTES 2007
Joshua Auerbach, David F. Bacon, et al.
ICMC 2007
Martin T. Vechev, Eran Yahav, et al.
ACM SIGPLAN Notices