SYSTEM WARNING: 'session_name(): Cannot change session name when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 231

SYSTEM WARNING: 'session_set_cookie_params(): Cannot change session cookie parameters when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 232

mantis:frama-c:positions [Frama-C]

User Tools

  • Logged in as: anonymous (anonymous)
  • Log Out

Site Tools


mantis:frama-c:positions

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
mantis:frama-c:positions [2017/01/25 14:52]
yakobowski [Internships] effacement du sujet sur les offsetmaps
mantis:frama-c:positions [2018/01/10 13:58] (current)
valentin.perrelle [Internships]
Line 43: Line 43:
 Contacts are [[andre.oliveiramaroneze@cea.fr|Andre Maroneze]] and [[boris.yakobowski@cea.fr|Boris Yakobowski]]. More information is available {{:​mantis:​frama-c:​internship:​stage_value_case_studies.pdf|here}},​ or in English upon request. Contacts are [[andre.oliveiramaroneze@cea.fr|Andre Maroneze]] and [[boris.yakobowski@cea.fr|Boris Yakobowski]]. More information is available {{:​mantis:​frama-c:​internship:​stage_value_case_studies.pdf|here}},​ or in English upon request.
  
-=== Improving a Static Analyzer ​for programs manipulating Arrays (Master'​s) ​===+=== Combining Array Abstraction Techniques ​for Static Analysis ​===
  
 The aim of this internship is to develop methods to analyse accurately and with minimum cost programs manipulating arrays into Frama-C. It would start with state of the art algorithms, their evaluation within the Frama-C framework and lead to new propositions. The aim of this internship is to develop methods to analyse accurately and with minimum cost programs manipulating arrays into Frama-C. It would start with state of the art algorithms, their evaluation within the Frama-C framework and lead to new propositions.
  
-Contacts are [[valentin.perrelle@cea.fr|Valentin Perrelle]] and [[matthieu.lemerre@cea.fr|Matthieu Lemere]]. More information is available {{mantis:​frama-c:​internship:​2017-stage-interpretation-abstraite-tableaux.pdf|here}},​ or in English upon request.+Contact is [[valentin.perrelle@cea.fr|Valentin Perrelle]]. More information is available {{:mantis:​frama-c:​interpretation-abstraite-tableaux.pdf|here}},​ or in English upon request.
  
 +=== Verification of Quantum Programs by Abstract Intepretation ===
 +
 +Since quantum programs are hard to test, simulate or debug, the aim of this internship is to explore the potential of Abstract Interpretation for the verification of quantum programs. The internship would start by looking on an existing technique to find entanglement properties and then explore on either more high-level properties or on well-formedness of quantum programs.
 +
 +Contacts are [[valentin.perrelle@cea.fr|Valentin Perrelle]], [[sebastien.bardin@cea.fr|Sébastien Bardin]] and [[benoit.valiron@lri.fr|Benoît Valiron]]. More information is available {{:​mantis:​frama-c:​stage-quantum-abstract-interpretation.pdf|here}},​ or in English upon request.
  
  
mantis/frama-c/positions.txt · Last modified: 2018/01/10 13:58 by valentin.perrelle