Solène Mirliaz

Theory and practice of Computer Science.
With Distinction

With Distinction.

Supervisor: David Pichardie

The goal of this internship was to make Simplicity, a smart-contract language used for blockchain, a richer language. To achieve that, we connect Simplicity’s primitives with a categorical model. This worked was made in Haskell.

Supervisor: Alejandro Russo

Static Analysis for Temporal Safety

Abstract: The explicit memory management of low-level languages like C makes programs vulnerable to programming errors. Temporal memory errors, such as double free or dangling pointer are a source of security breaches. These errors have undefined behavior, which makes it a hard task to find and debug them. Common solutions include testing in a controlled environment (e.g. DieHard), which cannot detect all errors, and instrumentation of the code to add dynamic checks (SafeC, CCured), which usually induces a crippling overhead. To reduce the number of instructions that need to be instrumented, static analysis can be used to identify the instructions that are guaranteed to be safe.

Supervisor: Sebastian Hack

Automatic Stub Generation for C functions.

In order to evaluate the empirical complexity of a C function in a program, it can be necessary to isolate it and generate random inputs for it. However these input must not provoke error such as out-of-bound memory accesses.
During this internship, I modelize the dependence between inputs and arrays with a graph and resolve the dependences thus obtained to determine ranges of possible value for each input variables.

Supervisor: Fernando Magno Quintão Pereira

Situation Model: a narrative structure for human-robot interaction.

The internship involved designing a model to represent a narrative event. This event could then be told by the iCub robot, which was already able to form sentences. The code of this project was mainly in C++.

Supervisor: Peter Ford Dominey