|
 |
Thèmes de recherche
Environnement de programmation
- Construction du système de programmation interactif Centaur:
Centaur The System
(Proceedings of the Third ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988) - Environnement de programmation sous Centaur pour les langages Le_Lisp, Java
- L'édition structurée sous Centaur
Transformation automatique de programme
- Analyse et transformation automatique de programme,
différentiation automatique:
Tapenade Automatic Differentiation tool,
Tapenade web server,
Tapenade gitlab repository,
Tapenade User Documentation,
Tapenade Developer Documentation. - The
Tapenade Automatic Differentiation tool: principles, model, and
specification
(Preprint, INRIA report RR-7957, 2012) - Extension
of TAPENADE towards Fortran 95
(AD2004, Chicago, 2004) - TAPENADE
for C
(AD2008, Bonn, 2008) - Native
handling of Message-Passing communication in Data-Flow
analysis
(AD2012, Fort Collins, USA, 2012) - Mixed-language
automatic differentiation
(Optimization Methods and Software, 2018)
Mixed-language automatic differentiation
(Preprint hal.inria.fr, 2018)
L'Agos Inria Sophia
- La bibliothèque Agos (accès restreint Inria)
Valérie Pascual / INRIA Sophia Antipolis/ / Mai 2021