Difference between revisions of "Eric Violard"
| Line 1: | Line 1: | ||
| − | + | ||
| + | I'm an assistant professor at the University of Strasbourg, France, associated with the ICPS group, the research team on parallel and scientific computing at ICube. I submitted my doctorate in 1992 at the University of Besançon and my "Habilitation à diriger les recherches" in 2003 at the University Louis Pasteur of Strasbourg. | ||
| + | |||
| + | === Contact === | ||
| + | |||
| + | * Phone : (+33) 03 68 85 02 43 | ||
| + | * E-mail : Eric.Violard@inria.fr | ||
| + | |||
| + | === Research interests === | ||
| + | |||
| + | My research work is concerned with foundations of parallel programming. I'm interested in formalizing, proving and mechanizing the static or dynamic code transformations that are used to tune programs to parallel architectures. | ||
| + | |||
| + | Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics | ||
| + | |||
| + | === Research projects === | ||
| + | |||
| + | I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues : | ||
| + | |||
| + | * The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr] | ||
| + | * The Multifor syntactic construct semantics | ||
| + | * Polyhedral transformations formalization and proof | ||
| + | |||
| + | === Publications === | ||
| + | |||
| + | My papers can be downloaded from : | ||
| + | * the HAL archive : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL] | ||
| + | * the ICube archive : [http://icube-intranet.unistra.fr/papr/appli.php?author=violard&team=toutes&year=-1&display=rap&Hide=1&search=0 ICube] | ||
| + | |||
| + | === Teaching === | ||
| + | |||
| + | * cf. Moodle | ||
| + | * Mini-Manuel PF | ||
| + | * A web application to experiment lambda-calculus | ||
Revision as of 21:25, 3 November 2013
I'm an assistant professor at the University of Strasbourg, France, associated with the ICPS group, the research team on parallel and scientific computing at ICube. I submitted my doctorate in 1992 at the University of Besançon and my "Habilitation à diriger les recherches" in 2003 at the University Louis Pasteur of Strasbourg.
Contact
- Phone : (+33) 03 68 85 02 43
- E-mail : Eric.Violard@inria.fr
Research interests
My research work is concerned with foundations of parallel programming. I'm interested in formalizing, proving and mechanizing the static or dynamic code transformations that are used to tune programs to parallel architectures.
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics
Research projects
I am a permanent member of the INRIA project CAMUS [1]. My most recent works are about the following issues :
- The experimental language WAVE http://wave.gforge.inria.fr
- The Multifor syntactic construct semantics
- Polyhedral transformations formalization and proof
Publications
My papers can be downloaded from :
Teaching
- cf. Moodle
- Mini-Manuel PF
- A web application to experiment lambda-calculus