Difference between revisions of "Jobs/M2 2015 AD Faster, Faster, Faster"
From LRDE
Line 17: | Line 17: | ||
* acquaintance with C++ |
* acquaintance with C++ |
||
* facilities with theoretical matters |
* facilities with theoretical matters |
||
− | |Objectives=The objective of this internship is to improve the performances of Vcsn |
+ | |Objectives=The objective of this internship is to improve the performances of Vcsn in every possible ways. This includes: |
* design of a binary format to save and restore automata (possibly with mmap) |
* design of a binary format to save and restore automata (possibly with mmap) |
||
* improvements to the core data structures |
* improvements to the core data structures |
Latest revision as of 10:08, 30 October 2014
Faster, Faster, Faster | |
---|---|
Reference id |
M2 2015 AD Faster, Faster, Faster |
Dates |
5-6 months in 2015 |
Research field |
Automata Theory |
Related project | |
Advisor | |
General presentation of the field |
The classical theory of automata, of transducers and of rational expressions, admits a very elegant and extremely useful extension (eg, in natural language processing) taking into account the concept of weighting. The weights are then taken in a semi-ring, which can be classical (⟨𝔹, ∨, ∧⟩, ⟨ℤ, +, ×⟩, ⟨ℚ, +, ×⟩, etc..), tropical (⟨ℤ, min, +⟩, etc..), or yet of another type (e.g. rational expressions). Vcsn is a project led by Alexandre Duret-Lutz and Akim Demaille (LRDE). It is a platform for the manipulation of automata, transducers and weighted rational expressions. It is written in C++11 avoiding the classical object-oriented programming in favor of generic programming (template) for more performance. Vcsn is an heir of the Vaucanson 2 project which was developed in partnership with Jacques Sakarovitch (Telecom ParisTech) and Sylvain Lombardy (LaBRI). Vcsn aims at speed and user friendliness. To achieve this goal, it is built in three layers:
|
Prerequisites |
|
Objectives |
The objective of this internship is to improve the performances of Vcsn in every possible ways. This includes:
|
Benefit for the candidate | |
References |
|
Place | LRDE: How to get to us |
Compensation |
1000 € gross/month |
Future work opportunities | |
Contact |