Projet:Les Mille Pages/Susan B. Horwitz

Une page de Wikipédia, l'encyclopédie libre.
Susan B. Horwitz
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 59 ans)
MadisonVoir et modifier les données sur Wikidata
Nationalité
Formation
Activité
Autres informations
A travaillé pour
Directeur de thèse
Tim Teitelbaum (en)Voir et modifier les données sur Wikidata

Susan Beth Horwitz (6 janvier 1955 - 11 juin 2014) est une informaticienne américaine connue pour ses recherches sur les langages de programmation et le génie logiciel, et en particulier sur le découpage des programmes et l'analyse du flux de données. Elle reçoit plusieurs prix du meilleur article et un prix de l'article d'impact mentionnés ci-dessous dans la rubrique des prix.

Elle est une enseignante primée dans son établissement et est la fondatrice de Peer Led Team Learning for Computer Science (PLTLCS), créant le programme Wisconsin Emerging Scholars-Computer Science (WES-CS). Elle prend la tête d'une subvention NSF ITWF 0420343 qui est une collaboration entre huit écoles pratiquant le PLTLCS, dont l'[[université du Wisconsin à Madison|université du Wisconsin]]-Madison avec Horwitz, l'Université Duke, Georgia Tech, l'université Rutgers, l'[[université du Wisconsin à Madison|université du Wisconsin]] à Milwaukee, l'Université Purdue, Beloit College et Loyola College. Ils publient un article en 2009[1] qui montre que le recrutement actif combiné à l'apprentissage en équipe dirigé par les pairs est une approche efficace pour attirer et retenir les étudiants sous-représentés dans une classe d'introduction à l'informatique. Elle est également remarquée pour son leadership en matière d'informatique dans les écoles secondaires. Elle est membre du comité de développement du test d'informatique de l'Educational Testing Services Advanced Placement pendant dix ans, de 1987 à 1997, dont la présidence du comité pendant cinq ans, de 1992 à 1997, au moment où le langage de programmation de l'examen est passé du Pascal au C++ [citation nécessaire].

Horwitz obtient un A.B. magna cum laude en ethnomusicologie de l'Université Wesleyan en 1977, un M.S. en informatique de l'université Cornell en 1982 et un doctorat en informatique de l'université Cornell en 1985. Elle rejoint le département d'informatique de l'[[université du Wisconsin à Madison|université du Wisconsin]] à Madison en tant que professeure assistant en 1985. Elle est promue professeure associé en 1991, puis professeure en 1996. Elle est présidente associée de 2004 à 2007. Elle devient professeure émérite en 2014[2].

Horwitz décède le 11 juin 2014, à l'âge de 59 ans, des suites d'un cancer de l'estomac[3].

Horwitz reçoit plusieurs prix du meilleur article :

  • Son article de 1988 "Interprocedural slicing using dependence graphs" (avec T. Reps et D. Binkley) est sélectionné comme l'un des 50 meilleurs articles à paraître à la conférence ACM SIGPLAN sur la conception et la mise en œuvre des langages de programmation (PLDI) au cours de la période 1979-99.[4]
  • En 2011, elle reçoit un ACM SIGSOFT Retrospective Impact Paper Award (avec T. Reps, M. Sagiv, et G. Rosay) pour leur article "Speeding up slicing", qui est apparu au SIGSOFT Symposium on Foundations of Software Engineering (FSE) en 1994[5].
  • Son article "Reducing the Overhead of Dynamic Analysis" (avec S. Yong) en 2002 au Second Workshop on Runtime Verification est sélectionné comme l'un des meilleurs articles de l'atelier et invité à être soumis à un numéro spécial du journal Formal Methods in System Design.[6]
  • Son article "Demand interprocedural dataflow analysis" (avec Thomas Reps et Mooly Sagiv) à SIGSOFT '95 est sélectionné comme l'un des meilleurs articles de la conférence et invité à être soumis à ACM Transactions on Software Engineering and Methodology[7].
  • Son article "Precise interprocedural dataflow analysis with applications to constant propagation" (avec M. Saviv et T. Reps) à TAPSOFT '95 est sélectionné comme l'un des meilleurs articles de la conférence et invité à être soumis à Theoretical Computer Science.[8]

Horwitz reçoit plusieurs prix au Wisconsin :

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Susan B. Horwitz » (voir la liste des auteurs).
  1. (en) « Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science », SIGCSE '09 Proceedings of the 40th ACM Technical Symposium on Computer Science Education, vol. 41, no 1,‎ , p. 163–167 (DOI 10.1145/1539024.1508925)
  2. Susan B. Horwitz profile, pages.cs.wisc.edu; accessed October 29, 2014.
  3. (en) « Horwitz, Susan Beth », Madison.com, (consulté le )
  4. (en) « Interprocedural slicing using dependence graphs », PLDI '88 Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, vol. 23, no 7,‎ , p. 35–46 (DOI 10.1145/53990.53994, S2CID 3820604, CiteSeerx 10.1.1.698.7182)
  5. (en) Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94, vol. 19, , 11–20 p. (ISBN 978-0897916912, DOI 10.1145/193173.195287, S2CID 2651251), chap. 5 (« Speeding up Slicing »)
  6. (en) « Using Static Analysis to Reduce Dynamic Analysis Overhead », Formal Methods in System Design, vol. 27, no 3,‎ , p. 313–34 (DOI 10.1007/s10703-005-3401-0, S2CID 5733462, CiteSeerx 10.1.1.61.9940)
  7. (en) « Demand interprocedural dataflow analysis », SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering, vol. 20, no 4,‎ , p. 104–15 (DOI 10.1145/222124.222146, S2CID 10920359, lire en ligne)
  8. (en) « Precise interprocedural dataflow analysis with applications to constant propagation », Theoretical Computer Science, vol. 167, nos 1–2,‎ , p. 131–70 (DOI 10.1016/0304-3975(96)00072-2, lire en ligne)
  9. (en) « L&S Honors Program honors seven distinguished faculty », University of Wisconsin-Madison, (consulté le )
  10. (en) « Department of Computer Science Awards », University of Wisconsin Computer Science Department, (consulté le )

Liens externes[modifier | modifier le code]