Commit dc16058d authored by Dario Pinto's avatar Dario Pinto
Browse files

Merge branch 'master' into 'master'

update internship page

See merge request !96
parents 1134602d 49250c9c
......@@ -24,14 +24,16 @@
<div class="col-lg-4">
<div class="card">
<div class="card-header">
Détection de logique minimale d'un problème SMT
Généralisation de la Récursion terminale modulo constructeur
</div>
<div class="card-body">
<h5 class="card-title">
<a href="assets/pdf/stage_detection_de_logique_minimale_d_un_probleme_smt2.pdf" class="btn btn-primary">Stage 5-6 mois, niveau M1 à M2 (PDF)</a>
<a href="assets/pdf/stage_generalisation_recursion_terminale_moduloconstructeur1.pdf" class="btn btn-primary">
Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)
</a>
</h5>
<p class="card-text">
La première tâche du stage consistera à établir une liste de critères qui permet de déterminer la logique minimale d’un problème SMTLIB2, et la deuxième partie du stage sera d’implémenter ces critères dans Dolmen.
L’objectif de ce stage est d’étudier et implémenter cette généralisation. Le stage se déroulera au sein de l’équipe flambda chez OCamlPro qui développe des optimisations sur le langage OCaml.
</p>
</div>
</div>
......@@ -39,16 +41,16 @@
<div class="col-lg-4">
<div class="card">
<div class="card-header">
Détection de fonction identité à la compilation
Interface Graphique pour la Gestion de Paquets d’OCaml
</div>
<div class="card-body">
<h5 class="card-title">
<a href="assets/pdf/stage_detection_fonction_identite_compilation.pdf" class="btn btn-primary">
Stage 6 mois, niveau M2 Recherche (PDF)
</a>
<a href="assets/pdf/stage_interface_graphique_gestion_paquets_ocaml.pdf" class="btn btn-primary">
Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)
</a>
</h5>
<p class="card-text">
L’objectif est d’étudier la faisabilité de cette analyse, y compris documenter les choix possibles et leurs avantages et désavantages respectifs. Le stage se déroulera au sein de l’équipe flambda qui développe des optimisations sur le langage OCaml. Le travail réalisé a vocation à être intégré au compilateur officiel par l’équipe flambda par la suite.
L’objectif de ce stage est de développer une interface graphique pour opam pour permettre à ses utilisateurs débutants d’accéder rapidement à ses fonctionnalités les plus avancées, tout en rendant la gestion au quotidien de multiples installations d’OCaml plus facile.
</p>
</div>
</div>
......@@ -59,14 +61,14 @@
<div class="col-lg-4">
<div class="card">
<div class="card-header">
Alt-Ergo for the Win(dows)
Détection de logique minimale d'un problème SMT
</div>
<div class="card-body">
<h5 class="card-title">
<a href="assets/pdf/stage_alt_ergo_for_the_windows.pdf" class="btn btn-primary">Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)</a>
<a href="assets/pdf/stage_detection_de_logique_minimale_d_un_probleme_smt2.pdf" class="btn btn-primary">Stage 5-6 mois, niveau M1 à M2 (PDF)</a>
</h5>
<p class="card-text">
Le but premier de ce stage sera de compiler Alt-Ergo sous windows grâce aux outils de la communauté comme la cross compilation de Dune ou opam-cross-windows. Le second but de ce stage sera de mettre en place une intégration continue de cette compilation sous windows sur le dépot Github d’Alt-Ergo via des services comme Azure de Microsoft.
La première tâche du stage consistera à établir une liste de critères qui permet de déterminer la logique minimale d’un problème SMTLIB2, et la deuxième partie du stage sera d’implémenter ces critères dans Dolmen.
</p>
</div>
</div>
......@@ -74,86 +76,89 @@
<div class="col-lg-4">
<div class="card">
<div class="card-header">
Alt-Ergo Fuzz
Développement d’une plateforme de documentation pour une distribution OCaml
</div>
<div class="card-body">
<h5 class="card-title">
<a href="assets/pdf/stage_alt_ergo_fuzz.pdf" class="btn btn-primary">
<a href="assets/pdf/stage_opamdocs.pdf" class="btn btn-primary">
Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)
</a>
</h5>
<p class="card-text">
Le premier but de ce stage serait de faire un état des lieux des travaux effectués sur le fuzzing des outils supportant le standard smt-lib, ainsi qu’étudier les résultats de tels outils de fuzzing sur Alt-Ergo. Dans un second temps, le but sera de créer un fuzzer pour le langage d’entrée d’Alt-Ergo.
</p>
L’objectif de ce stage est de développer une version dynamique de ce site, d’améliorer la génération de la documentation et son ergonomie, et de permettre de naviguer facilement dans les sources des paquets.
</p>
</div>
</div>
</div>
</div>
<hr class="featurette-divider">
<h2 class="page-subtitle">Past internships</h2>
<br />
<div class="row">
<div class="col-lg-4">
<div class="card">
<div class="card-header">
Alt-Ergo on the bench
Détection de fonction identité à la compilation
</div>
<div class="card-body">
<h5 class="card-title">
<a href="assets/pdf/stage_alt_ergo_on_the_bench.pdf" class="btn btn-primary">
Stage 3-6 mois, niveau M1 à M2 (PDF)
</a>
<a href="assets/pdf/stage_detection_fonction_identite_compilation.pdf" class="btn btn-primary">
Stage 6 mois, niveau M2 Recherche (PDF)
</a>
</h5>
<p class="card-text">
La première tâche du stage serait de renforcer la mise en place et l’intégration de l’outil benchpress de Simon Cruanes sur notre serveur. La seconde tâche concernera l’automatisation de tests. Pour cela nous souhaiterions mettre en place un système qui teste notre branche principale du dépôt Github d’Alt-Ergo dès que cette dernière est modifiée.
L’objectif est d’étudier la faisabilité de cette analyse, y compris documenter les choix possibles et leurs avantages et désavantages respectifs. Le stage se déroulera au sein de l’équipe flambda qui développe des optimisations sur le langage OCaml. Le travail réalisé a vocation à être intégré au compilateur officiel par l’équipe flambda par la suite.
</p>
</div>
</div>
</div>
</div>
<div class="row">
<div class="col-lg-4">
<div class="card">
<div class="card-header">
Développement d’une plateforme de documentation pour une distribution OCaml
Alt-Ergo for the Win(dows)
</div>
<div class="card-body">
<h5 class="card-title">
<a href="assets/pdf/stage_opamdocs.pdf" class="btn btn-primary">
Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)
</a>
<a href="assets/pdf/stage_alt_ergo_for_the_windows.pdf" class="btn btn-primary">Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)</a>
</h5>
<p class="card-text">
L’objectif de ce stage est de développer une version dynamique de ce site, d’améliorer la génération de la documentation et son ergonomie, et de permettre de naviguer facilement dans les sources des paquets.
</p>
Le but premier de ce stage sera de compiler Alt-Ergo sous windows grâce aux outils de la communauté comme la cross compilation de Dune ou opam-cross-windows. Le second but de ce stage sera de mettre en place une intégration continue de cette compilation sous windows sur le dépot Github d’Alt-Ergo via des services comme Azure de Microsoft.
</p>
</div>
</div>
</div>
<div class="col-lg-4">
<div class="card">
<div class="card-header">
Généralisation de la Récursion terminale modulo constructeur
Alt-Ergo Fuzz
</div>
<div class="card-body">
<h5 class="card-title">
<a href="assets/pdf/stage_generalisation_recursion_terminale_moduloconstructeur1.pdf" class="btn btn-primary">
Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)
</a>
<a href="assets/pdf/stage_alt_ergo_fuzz.pdf" class="btn btn-primary">
Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)
</a>
</h5>
<p class="card-text">
L’objectif de ce stage est d’étudier et implémenter cette généralisation. Le stage se déroulera au sein de l’équipe flambda chez OCamlPro qui développe des optimisations sur le langage OCaml.
Le premier but de ce stage serait de faire un état des lieux des travaux effectués sur le fuzzing des outils supportant le standard smt-lib, ainsi qu’étudier les résultats de tels outils de fuzzing sur Alt-Ergo. Dans un second temps, le but sera de créer un fuzzer pour le langage d’entrée d’Alt-Ergo.
</p>
</div>
</div>
</div>
</div>
<div class="row">
<div class="col-lg-4">
<div class="card">
<div class="card-header">
Interface Graphique pour la Gestion de Paquets d’OCaml
Alt-Ergo on the bench
</div>
<div class="card-body">
<h5 class="card-title">
<a href="assets/pdf/stage_interface_graphique_gestion_paquets_ocaml.pdf" class="btn btn-primary">
Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)
<a href="assets/pdf/stage_alt_ergo_on_the_bench.pdf" class="btn btn-primary">
Stage 3-6 mois, niveau M1 à M2 (PDF)
</a>
</h5>
<p class="card-text">
L’objectif de ce stage est de développer une interface graphique pour opam pour permettre à ses utilisateurs débutants d’accéder rapidement à ses fonctionnalités les plus avancées, tout en rendant la gestion au quotidien de multiples installations d’OCaml plus facile.
La première tâche du stage serait de renforcer la mise en place et l’intégration de l’outil benchpress de Simon Cruanes sur notre serveur. La seconde tâche concernera l’automatisation de tests. Pour cela nous souhaiterions mettre en place un système qui teste notre branche principale du dépôt Github d’Alt-Ergo dès que cette dernière est modifiée.
</p>
</div>
</div>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment