Jeanne Ferrante (née en 1949) est une informaticienne spécialisée dans la technologie de la compilation. Professeure à l'université de Californie à San Diego depuis 1994[1], elle est reconnue pour avoir réalisé d'importantes contributions dans les domaines de l'optimisation (en) et de la parallélisation des compilateurs.

Biographie

modifier

Jeanne Ferrante obtient un B.A. de l'université Hofstra en 1969 et un Ph.D. du Massachusetts Institute of Technology en 1974. Le titre de sa thèse est Some Upper and Lower Bounds on Decision Procedures in Logic[2].

Elle enseigne à l'université Tufts de 1974 à 1978[3], puis comme chercheuse au centre de recherche T. J. Watson d'IBM jusqu'en 1994.

Ferrante devient membre de l'Association for Computing Machinery en 1996[4] et de l'Institute of Electrical and Electronics Engineers en 2005[5].

Notes et références

modifier
  1. (en) « Leadership », About Us, UCSD Jacobs School of Engineering (consulté le 23 janvier 2010)
  2. (en) [1]
  3. (en) Ferrante’s resume
  4. (en) « Jeanne Ferrante », ACM Fellows, ACM, 1996 (consulté le 23 janvier 2010) : « For the development of intermediate program representations for program optimization and parallelization that are fundamental to current optimizing compilers. »
  5. (en) « Women IEEE Fellows », IEEE Fellows, IEEE (consulté le 23 janvier 2010) : « 2005: Jeanne Ferrante – for contributions to optimizing and parallelizing compilers. »

Liens externes

modifier

📚 Artikel Terkait di Wikipedia

OCaml

« Guarantees provided by the type system can also enable powerful program optimizations. » — Xavier Leroy, Introduction to types in compilation. (en) mailing

Istiophoridae

JGT, Hoppe G (1997) Experiments on drag-reducing surfaces and their optimization with an adjustable geometry. J Fluid Mech 338: 59–87. Walters V (1962)

Broadcast Wave Format

WAVE files. », p. 6 (en) Dolby Laboratories, Inc, « Dolby® DP600 Program Optimizer Manual » [PDF] : « File‐based Dolby E, Dolby Digital, and Dolby Digital

CPLEX

s'interfacer avec différents langages de programmation : C, C++, C#, Java et Python. Site officiel « CPLEX Optimization Studio 20.1 is available » Portail des

Liste de publications importantes en informatique

A program data flow analysis procedure, Frances E. Allen, John Cocke, Commun. ACM, 19, 137—147. A Unified Approach to Global Program Optimization, Gary

Optimisation (mathématiques)

Numerical Optimization - Theoretical and Numerical Aspects [détail des éditions] (en) J. F. Bonnans et A. Shapiro, Perturbation analysis of optimization problems

Programmation par contraintes

La programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et

Mathematical Optimization Society

Mathematical Optimization Society Logo de la Mathematical Programming Society. La Mathematical Optimization Society (abrégée en MOS), dont le nom était