Susan B. Horwitz

From Wikipedia, the free encyclopedia
Susan B. Horwitz
Born(1955-01-06)January 6, 1955
DiedJune 11, 2014(2014-06-11) (aged 59)
NationalityAmerican
Alma materCornell University
Wesleyan University
Known forprogramming languages
software engineering
AwardsACM SIGSOFT Retrospective Impact Paper Award (2011)
Scientific career
FieldsComputer Science
InstitutionsUniversity of Wisconsin–Madison (1985-2014)
Institut National de Recherche en Informatique et en Automatique (INRIA) in Rocquencourt, France (1982-83)
University of Copenhagen (1993-94)
Consiglio Nazionale delle Ricerche in Pisa, Italy (2000–2001)
University Paris Diderot (2007–2008)
Doctoral advisorTim Teitelbaum
Websitepages.cs.wisc.edu/~horwitz/

Susan Beth Horwitz (January 6, 1955 – June 11, 2014) was an American computer scientist noted for her research on programming languages and software engineering, and in particular on program slicing and dataflow-analysis. She had several best paper and an impact paper award mentioned below under awards.

She was an award-winning teacher at her institution and was the founder of Peer Led Team Learning for Computer Science (PLTLCS), creating the Wisconsin Emerging Scholars-Computer Science (WES-CS) program. She took the lead for an NSF ITWF Grant 0420343 that was a collaboration between eight schools doing PLTLCS, including the University of Wisconsin–Madison with Horwitz, Duke University, Georgia Tech, Rutgers University, University of Wisconsin at Milwaukee, Purdue University, Beloit College, and Loyola College. They published a paper in 2009[1] that showed that active recruiting combined with peer-led team learning is an effective approach to attracting and retaining under-represented students in an introductory Computer Science class. She was also noted for her leadership in computing in high schools. She was a member of the Educational Testing Services Advanced Placement Computer Science Test Development Committee for ten years from 1987 to 1997, including chairing the committee for five years from 1992 to 1997 at a time when the programming language for the exam changed from Pascal to C++.[citation needed]

Biography[edit]

Horwitz received an A.B. magna cum laude in Ethnomusicology from Wesleyan University in 1977, a M.S. in Computer Science from Cornell University in 1982 and a Ph.D in Computer Science from Cornell University in 1985. She joined the Department of Computer Science at the University of Wisconsin in Madison as an assistant professor in 1985. She was promoted to associate professor in 1991, and to professor in 1996. She was associate chair from 2004 to 2007. She became an emeritus professor in 2014.[2]

Death[edit]

Horwitz died on June 11, 2014, aged 59, from stomach cancer.[3]

Awards[edit]

Horwitz received several best paper awards:

  • Her 1988 paper "Interprocedural slicing using dependence graphs" (with T. Reps and D. Binkley) was selected as one of the 50 best papers to appear at the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) during the period 1979–99.[4]
  • In 2011, she received an ACM SIGSOFT Retrospective Impact Paper Award (with T. Reps, M. Sagiv, and G. Rosay) for their paper "Speeding up slicing", which appeared at the SIGSOFT Symposium on Foundations of Software Engineering (FSE) in 1994.[5]
  • Her paper "Reducing the Overhead of Dynamic Analysis" (with S. Yong) in 2002 at the Second Workshop on Runtime Verification was selected as one of the best papers at the workshop and invited for submission to a special issue of the journal Formal Methods in System Design.[6]
  • Her paper "Demand interprocedural dataflow analysis" (with Thomas Reps and Mooly Sagiv) in SIGSOFT '95 was selected as one of the best papers at the conference invited for submission to ACM Transactions on Software Engineering and Methodology.[7]
  • Her paper "Precise interprocedural dataflow analysis with applications to constant propagation" (with M. Saviv and T. Reps) in TAPSOFT '95 was selected as one of the best papers in the conference and invited for submission to Theoretical Computer Science.[8]

Horwitz has several awards at Wisconsin:

  • University of Wisconsin College of Letters and Science Distinguished Honors Faculty Award, 2011[9]
  • University of Wisconsin Computer Sciences Department Carolyn Rosner Excellent Educator Award, 1997[10]
  • University of Wisconsin William H. Kiekhofer Excellence in Teaching Award, 1993
  • University of Wisconsin College of Letters and Sciences Teaching Excellence Award, 1992

References[edit]

  1. ^ Susan Horwitz; Susan H. Rodger; Maureen Biggers; David Brinkley; Dawn Gundermann; Susanne Hambrusch; Steven Huss-Lederman; Barbara Ryder & Monica Sweat (2009). "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. 41 (1): 163–167. doi:10.1145/1539024.1508925.
  2. ^ Susan B. Horwitz profile, pages.cs.wisc.edu; accessed October 29, 2014.
  3. ^ Madison.com (2014-07-05). "Horwitz, Susan Beth". Madison.com. Retrieved 2014-07-06.
  4. ^ S. Horwitz, T. Reps & D. Binkley (1988). "Interprocedural slicing using dependence graphs". Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation - PLDI '88. Vol. 23. pp. 35–46. CiteSeerX 10.1.1.698.7182. doi:10.1145/53990.53994. ISBN 0897912691. S2CID 3820604.
  5. ^ Thomas Reps, Susan Horwitz, Mooly Sagiv and Genevieve Rosay (1994). "Speeding up slicing". Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94. Vol. 19. pp. 11–20. doi:10.1145/193173.195287. ISBN 978-0897916912. S2CID 2651251.{{cite book}}: CS1 maint: date and year (link) CS1 maint: multiple names: authors list (link)
  6. ^ Suan Yong & Susan Horwitz (2005). "Using Static Analysis to Reduce Dynamic Analysis Overhead". Formal Methods in System Design. 27 (3): 313–34. CiteSeerX 10.1.1.61.9940. doi:10.1007/s10703-005-3401-0. S2CID 5733462.
  7. ^ Susan Horwitz, Thomas Reps & Mooly Sagiv (1995). "Demand interprocedural dataflow analysis". SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering. 20 (4): 104–15. doi:10.1145/222124.222146. S2CID 10920359.
  8. ^ Mooly Sagiv, Thomas Reps & Susan Horwitz (1996). "Precise interprocedural dataflow analysis with applications to constant propagation". Theoretical Computer Science. 167 (1–2): 131–70. doi:10.1016/0304-3975(96)00072-2.
  9. ^ University of Wisconsin-Madison (October 18, 2011). "L&S Honors Program honors seven distinguished faculty". University of Wisconsin-Madison. Retrieved March 29, 2014.
  10. ^ University of Wisconsin Computer Science Department (March 29, 2014). "Department of Computer Science Awards". University of Wisconsin Computer Science Department. Retrieved March 29, 2014.