Home

The student will join the project DIVINA in the scope of its first and third tasks, which aim to develop a new compiler from JavaScript to a simple intermediate language for JavaScript analysis and specification as well as reference implementations for a large subset of the JavaScript and Node.js built-in libraries. The student will mainly work on the validation and testing of the developed compiler and reference implementations. This work will involve both testing the compiler and reference implementations against Test262, the official JavaScript conformance testsuite, as well as measuring its performance and coverage against those of other JavaScript reference implementations. The student will additionally produce documentation for the compiler and reference implementations and create the required infrastructure for making these tools available online.