Back to Results
First PageMeta Content
Data types / Functional programming / Type theory / Compiler construction / Procedural programming languages / LLVM / Type system / Static single assignment form / C / Software engineering / Computing / Computer programming


Type-safe Runtime Code Generation with LLVM Trevor L. McDonell1,2 1 Manuel M. T. Chakravarty2
Add to Reading List

Document Date: 2015-03-01 20:27:46


Open Document

File Size: 1,05 MB

Share Result on Facebook

Company

GPU / Intel / NVIDIA Corporation / conducted using a single Tesla K40c GPU / /

/

Facility

University Bloomington / pipeline of Accelerate / University of New South Wales / Representing complex / Accelerate library / Skeleton arch / /

IndustryTerm

vector dot product / similar machinery / compiler infrastructure / data integrity applications / function applications / escape-time algorithm / Online compilation / online compilation options / value-level substitution algorithm / message-digest algorithm / x86 processors / runtime systems / recursive divide-and-conquer algorithm / computing / language applications / password recovery tool / vectorized4 low-level dot product / /

OperatingSystem

GNU/Linux / Ubuntu / /

Organization

University of New South Wales / Indiana University / /

Person

Accelerate Accelerate / Ty / /

Position

backend author / producer /producer / scheduler / single producer / producer / interpreter / /

Product

Tuples Our / GADTs / /

ProgrammingLanguage

Haskell / Java / C / Python / C++ / /

ProvinceOrState

New South Wales / /

Region

South Wales / /

Technology

recursive divide-and-conquer algorithm / RAM / 16 8.1 8.3 Black-Scholes option pricing The Black-Scholes algorithm / Linux / http / escape-time algorithm / message-digest algorithm / value-level substitution algorithm / x86 processors / /

URL

http /

SocialTag