The programming part of the exam can be performed by doing an assignment.

• A maximum of 5 assignments will be allocated
• Assignments are reserved only for students attending the course the first time this semester

Students have to send an application for the assignment to riccardo.sisto [at] polito.it and stefano.scanzio [at] polito.it within 15 April, 2021.
The application must contain a curriculum, which has to include the known software and the list of passed exams, both master and bachelor degrees, with the related scores.
In addition, students have to provide a preference between the assignments reported in the following.
The allocation of the assignments to students will be communicated within 20 April, 2021.
Possibly, depending on the curriculum or on the number of requests, some requests may not be accepted.

This assignment is composed of two parts:

1. Study of the languages used by the security protocol verifier Proverif (https://prosecco.gforge.inria.fr/personal/bblanche/proverif/).
2. Development of a Java library that can be used to parse part of the Proverif input and output languages. The library must provide access to the syntax tree and symbol table of the recognized language structures. A set of junit tests must also be produced to test the produced library.

This assignment is composed of two parts:

1. Perform a research on the main techniques used for Natural Language Processing (NLP)
2. Use a tool (for instance NLTL https://www.nltk.org/) to implement an example about NLP

This assignment is composed of two parts:

1. Study of the Lua programming language (http://www.lua.org/), and perform a presentation with many examples of the main features of this language.
2. Writing of a compiler that recognizes part of the Lua language. The compiler has to make a translation in the LLVM syntax (https://llvm.org/), allowing the execution of the code in a virtual machine.

This assignment is composed of two parts:

1. Study of the Haskell programming language (https://www.haskell.org/), and perform a presentation with many examples of the main features of this language.
2. Writing of a compiler that recognizes part of the Haskell language. The compiler has to make a translation in the LLVM syntax (https://llvm.org/), allowing the execution of the code in a virtual machine.

This assignment is composed of two parts:

1. Study of the Lisp programming language (https://common-lisp.net/), and perform a presentation with many examples of the main features of this language.
2. Writing of a compiler that recognizes part of the Lisp language. The compiler has to make a translation in the LLVM syntax (https://llvm.org/), allowing the execution of the code in a virtual machine.