Article

Invited talk: resource-aware programming

Author:

Walid TahaAuthors Info & Claims

ICESS'04: Proceedings of the First international conference on Embedded Software and Systems

Pages 38 - 43

https://doi.org/10.1007/11535409_6

Published: 09 December 2004 Publication History

Publisher Site

Abstract

section:abstract Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for designing a class of languages that we call Resource-aware Programming (RAP) languages. By taking into account the natural distinction between the development platform and the deployment platform for embedded software, RAP languages can alleviate the need for drastic trade-offs between expressive power and static guarantees. We describe our preliminary experience designing and programming in a RAP language for hardware design, and give a brief overview of directions for future work.

References

[1]

Oleg Kiselyov, Kedar Swadi, and Walid Taha. A methodology for generating verified combinatorial circuits. In the International Workshop on Embedded Software (EMSOFT '04), Lecture Notes in Computer Science, Pisa, Italy, 2004. ACM.

Digital Library

Google Scholar

[2]

Oleg Kiselyov and Walid Taha. Relating FFTW and Split-Radix. In Proceedings of the International Conference on Embedded Software and Systems, 2004. Appears in this volume.

Digital Library

Google Scholar

[3]

Walid Taha. A gentle introduction to multi-stage programming. In Don Batory, Charles Consel, Christian Lengauer, and Martin Odersky, editors, Domain-specific Program Generation, LNCS. 2004.

Google Scholar

[4]

Walid Taha, Stephan Ellner, and Hongwei Xi. Generating Imperative, Heap-Bounded Programs in a Functional Setting. In Proceedings of the Third International Conference on Embedded Software, Philadelphia, PA, October 2003.

Google Scholar

[5]

Walid Taha, Paul Hudak, and ZhanyongWan. Directions in functional programming for real(-time) applications. In the International Workshop on Embedded Software (EMSOFT '01), volume 2221 of Lecture Notes in Computer Science, pages 185-203, Lake Tahoe, 2001. Springer-Verlag.

Digital Library

Google Scholar

Cited By

View all

Chapin PSkalka CSmith SWatson M(2013)Scalaness/nesTACM SIGPLAN Notices10.1145/2637365.251721749:3(135-144)Online publication date: 27-Oct-2013
https://dl.acm.org/doi/10.1145/2637365.2517217
Chapin PSkalka CSmith SWatson MJärvi JKästner C(2013)Scalaness/nesTProceedings of the 12th international conference on Generative programming: concepts & experiences10.1145/2517208.2517217(135-144)Online publication date: 27-Oct-2013
https://dl.acm.org/doi/10.1145/2517208.2517217
Rompf TOdersky M(2010)Lightweight modular stagingACM SIGPLAN Notices10.1145/1942788.186831446:2(127-136)Online publication date: 10-Oct-2010
https://dl.acm.org/doi/10.1145/1942788.1868314
Show More Cited By

Recommendations

GraalVM: metaprogramming inside a polyglot system (invited talk)
META 2018: Proceedings of the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection

GraalVM is a polyglot virtual machine for running applications written in a variety of languages such as JavaScript, Ruby, Python, R, JVM-based languages like Java, Scala, Kotlin, and LLVM-based languages such as C and C++.

GraalVM enables ...
Invited talk: program generators and the tools to make them
PPDP '04: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming

Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this talk, we discuss the potential impact and research value of program generation, we give examples of our research in the area,...
In pursuit of easy(er) JITs (invited talk)
VMIL 2020: Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages

n the early days of the Eclipse OMR project, we created the unimaginatively named JitBuilder API aiming to make it easier to build a JIT compiler. JitBuilder has been used to create prototype JIT compilers in a few thousand lines of C++ for WebAssembly, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICESS'04: Proceedings of the First international conference on Embedded Software and Systems

December 2004

610 pages

ISBN:3540281282

Editors:
Zhaohui Wu
College of Computer Science, Zhejiang University, Hangzhou, Zhejiang, China
,
Chun Chen
College of Computer Science, Zhejiang University, 973 WSN Joint Lab, Hangzhou, Zhejiang, China
,
Minyi Guo
Department of Computer Science and Engineering, Shanghai Jiao Tong University, 973 WSN Joint Lab, Shanghai, Zhejiang, China
,
Jiajun Bu
College of Computer Science, Zhejiang University, 973 WSN Joint Lab, Hangzhou, Zhejiang, China

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 09 December 2004

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chapin PSkalka CSmith SWatson M(2013)Scalaness/nesTACM SIGPLAN Notices10.1145/2637365.251721749:3(135-144)Online publication date: 27-Oct-2013
https://dl.acm.org/doi/10.1145/2637365.2517217
Chapin PSkalka CSmith SWatson MJärvi JKästner C(2013)Scalaness/nesTProceedings of the 12th international conference on Generative programming: concepts & experiences10.1145/2517208.2517217(135-144)Online publication date: 27-Oct-2013
https://dl.acm.org/doi/10.1145/2517208.2517217
Rompf TOdersky M(2010)Lightweight modular stagingACM SIGPLAN Notices10.1145/1942788.186831446:2(127-136)Online publication date: 10-Oct-2010
https://dl.acm.org/doi/10.1145/1942788.1868314
Rompf TOdersky MVisser EJärvi J(2010)Lightweight modular stagingProceedings of the ninth international conference on Generative programming and component engineering10.1145/1868294.1868314(127-136)Online publication date: 10-Oct-2010
https://dl.acm.org/doi/10.1145/1868294.1868314
Liu YSkalka CSmith SJansson PSchupp S(2009)Type-specialized staged programming with process separationProceedings of the 2009 ACM SIGPLAN workshop on Generic programming10.1145/1596614.1596622(49-60)Online publication date: 30-Aug-2009
https://dl.acm.org/doi/10.1145/1596614.1596622
Kameyama YKiselyov OShan CPuebla GVidal G(2009)Shifting the stageProceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation10.1145/1480945.1480962(111-120)Online publication date: 19-Jan-2009
https://dl.acm.org/doi/10.1145/1480945.1480962
Kameyama YKiselyov OShan CHatcliff JGlück Rde Moor O(2008)Closing the stageProceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation10.1145/1328408.1328430(147-157)Online publication date: 7-Jan-2008
https://dl.acm.org/doi/10.1145/1328408.1328430

Abstract

References

Cited By

Recommendations

GraalVM: metaprogramming inside a polyglot system (invited talk)

Invited talk: program generators and the tools to make them

In pursuit of easy(er) JITs (invited talk)

Comments

Information

Published In

Sponsors

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations