# Qui ?

# Subjects

- linear types for OCaml without ppx
- find conditions that trigger assertion failures
- proof that gas is well accounted, i.e. that no unbounded path where gas doesn't change
x session types (car Paul@Phd)
- static analysis of smart contracts? (lots of people working on it already, Guillaume Bau, Simao's PhD students (Portugal), Manuel Hermenegildo @ IMDEA)
-

Question:
- Qu'est-ce qui t'interessera, qu'est ce qui t'amène chez nous ?
- travail en équipe ? Expériences, rôle ?
- Challenge: sujet que tu as bien aimé et dont tu es fier ?
- Qu'est-ce qui te plait dans OCaml (quelle xp en OCaml)
- Autres langages ?
- "Tu peux nous parler de ta thèse"?
suivi de: pas bcp de publis : difficultés liées au sujet ou autres ?
- comment s'inscrit ce stage dans ton projet professionnel ?

5 min d'avance

# Notes

- https://github.com/arbipher
- https://github.com/JHU-PL-Lab/odefa

- Verify good usage of React API using tool
- -> which techniques used in this tool?
- -> source code?
- A: abstraction (state machine based) of library
- quelles propriétés de bon usage de l'API ??
- A: resource acquisition / freeing (listeners)
- -> link with linear types
- -> import JS as OCaml then do analysis there

- Qqch sur le scheduler du noyau Linux (pas compris)
-

- OCaml 3 ans, projet de backward symbolic execution en OCaml

Mon pc est en train de mourir

RIP
ET moi avec ... j'ai oublié de prendre mon doliprane ce midi, je coule doucement :/

Ah c'est toi je croyais que c'était le pc d'Ilias qui mourrait

Ilias à l'air fatigué !