Embedding foreign code

Robert Clifton-Everest; Trevor L. McDonell; Manuel M.T. Chakravarty; Gabriele Keller

doi:10.1007/978-3-319-04132-2_10

Embedding foreign code

Robert Clifton-Everest, Trevor L. McDonell, Manuel M.T. Chakravarty, Gabriele Keller

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

Special purpose embedded languages facilitate generating high-performance code from purely functional high-level code; for example, we want to program highly parallel GPUs without the usual high barrier to entry and the time-consuming development process. We previously demonstrated the feasibility of a skeleton-based, generative approach to compiling such embedded languages. In this paper, we (a) describe our solution to some of the practical problems with skeleton-based code generation and (b) introduce our approach to enabling interoperability with native code. In particular, we show, in the context of a functional embedded language for GPU programming, how template meta programming simplifies code generation and optimisation. Furthermore, we present our design for a foreign function interface for an embedded language.

Original language	English
Title of host publication	Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings
Pages	136-151
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-319-04132-2_10
Publication status	Published - 7 Feb 2014
Externally published	Yes
Event	15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 - San Diego, CA, United States Duration: 20 Jan 2014 → 21 Jan 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8324 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014
Country/Territory	United States
City	San Diego, CA
Period	20/01/14 → 21/01/14

Access to Document

10.1007/978-3-319-04132-2_10

Cite this

Clifton-Everest, R., McDonell, T. L., Chakravarty, M. M. T., & Keller, G. (2014). Embedding foreign code. In Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings (pp. 136-151). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8324 LNCS). https://doi.org/10.1007/978-3-319-04132-2_10

@inproceedings{fb119169fd194ea68c25f160f6e7a8ee,

title = "Embedding foreign code",

abstract = "Special purpose embedded languages facilitate generating high-performance code from purely functional high-level code; for example, we want to program highly parallel GPUs without the usual high barrier to entry and the time-consuming development process. We previously demonstrated the feasibility of a skeleton-based, generative approach to compiling such embedded languages. In this paper, we (a) describe our solution to some of the practical problems with skeleton-based code generation and (b) introduce our approach to enabling interoperability with native code. In particular, we show, in the context of a functional embedded language for GPU programming, how template meta programming simplifies code generation and optimisation. Furthermore, we present our design for a foreign function interface for an embedded language.",

author = "Robert Clifton-Everest and McDonell, {Trevor L.} and Chakravarty, {Manuel M.T.} and Gabriele Keller",

year = "2014",

month = feb,

day = "7",

doi = "10.1007/978-3-319-04132-2_10",

language = "English",

isbn = "9783319041315",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "136--151",

booktitle = "Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings",

note = "15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 ; Conference date: 20-01-2014 Through 21-01-2014",

}

Clifton-Everest, R, McDonell, TL, Chakravarty, MMT & Keller, G 2014, Embedding foreign code. in Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8324 LNCS, pp. 136-151, 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United States, 20/01/14. https://doi.org/10.1007/978-3-319-04132-2_10

Embedding foreign code. / Clifton-Everest, Robert; McDonell, Trevor L.; Chakravarty, Manuel M.T. et al.
Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings. 2014. p. 136-151 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8324 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Embedding foreign code

AU - Clifton-Everest, Robert

AU - McDonell, Trevor L.

AU - Chakravarty, Manuel M.T.

AU - Keller, Gabriele

PY - 2014/2/7

Y1 - 2014/2/7

N2 - Special purpose embedded languages facilitate generating high-performance code from purely functional high-level code; for example, we want to program highly parallel GPUs without the usual high barrier to entry and the time-consuming development process. We previously demonstrated the feasibility of a skeleton-based, generative approach to compiling such embedded languages. In this paper, we (a) describe our solution to some of the practical problems with skeleton-based code generation and (b) introduce our approach to enabling interoperability with native code. In particular, we show, in the context of a functional embedded language for GPU programming, how template meta programming simplifies code generation and optimisation. Furthermore, we present our design for a foreign function interface for an embedded language.

AB - Special purpose embedded languages facilitate generating high-performance code from purely functional high-level code; for example, we want to program highly parallel GPUs without the usual high barrier to entry and the time-consuming development process. We previously demonstrated the feasibility of a skeleton-based, generative approach to compiling such embedded languages. In this paper, we (a) describe our solution to some of the practical problems with skeleton-based code generation and (b) introduce our approach to enabling interoperability with native code. In particular, we show, in the context of a functional embedded language for GPU programming, how template meta programming simplifies code generation and optimisation. Furthermore, we present our design for a foreign function interface for an embedded language.

UR - http://www.scopus.com/inward/record.url?scp=84893444713&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-04132-2_10

DO - 10.1007/978-3-319-04132-2_10

M3 - Conference contribution

AN - SCOPUS:84893444713

SN - 9783319041315

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 136

EP - 151

BT - Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings

T2 - 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014

Y2 - 20 January 2014 through 21 January 2014

ER -

Clifton-Everest R, McDonell TL, Chakravarty MMT, Keller G. Embedding foreign code. In Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings. 2014. p. 136-151. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-04132-2_10

Embedding foreign code

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this