Synthesizing JIT Compilers for In-Kernel DSLs.
Jacob Van GeffenLuke NelsonIsil DilligXi WangEmina TorlakPublished in: CAV (2) (2020)
Keyphrases
- programming language
- kernel function
- hardware and software
- support vector
- feature space
- kernel methods
- scheduling problem
- general purpose
- kernel regression
- computer architecture
- machine learning
- component analysis
- input space
- positive definite
- kernel space
- sparse kernel
- perceptron learning
- computer systems
- semi supervised
- massively parallel
- relational databases
- feature extraction
- kernel machines
- real time
- java virtual machine