This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
teaching:mfe:is [2016/02/16 10:26] svsummer [Engineering a runtime system and compiler for AQL] |
teaching:mfe:is [2016/02/16 10:52] svsummer [Compiling SPARQL queries into machine code] |
||
|---|---|---|---|
| Line 59: | Line 59: | ||
| The objective of this master thesis is to apply the same methodology to engineer a compiler that translates (fragments of) SPARQL (the standard query language for querying RDF data on the semantic web) into machine code. The overall methodology should follow the methodology used by HyPer and Legobase: | The objective of this master thesis is to apply the same methodology to engineer a compiler that translates (fragments of) SPARQL (the standard query language for querying RDF data on the semantic web) into machine code. The overall methodology should follow the methodology used by HyPer and Legobase: | ||
| * Use of a high-level language to construct the compiler (Scala, http://scala-lang.org/) | * Use of a high-level language to construct the compiler (Scala, http://scala-lang.org/) | ||
| - | * Use of Latent Modular Staging (LMS for short) for generating low-level portable assembly code at runtime (http://scala-lms.github.io/) | + | * Use of Lightweight Modular Staging (LMS for short) for generating low-level portable assembly code at runtime (http://scala-lms.github.io/) |
| * Use of LLVM (http://llvm.org/) as a portable assembly code and corresponding translator to machine code. | * Use of LLVM (http://llvm.org/) as a portable assembly code and corresponding translator to machine code. | ||
| Line 68: | Line 68: | ||
| **Deliverables** of the master thesis project: | **Deliverables** of the master thesis project: | ||
| - An overview of the state of the art in query-to-machine-code compilation. | - An overview of the state of the art in query-to-machine-code compilation. | ||
| - | - A description of latent modular staging and how it can be used to construct machine-code compilers. | + | - A description of lightweight modular staging and how it can be used to construct machine-code compilers. |
| - The SPARQL compiler (software artifact) | - The SPARQL compiler (software artifact) | ||
| - A benchmark set of SPARQL queries and associated data sets for the experimental validation | - A benchmark set of SPARQL queries and associated data sets for the experimental validation | ||