Loading article…
スーザン・B・ホロウィッツ | |
|---|---|
| 生まれる | 1955年1月6日 |
| 死亡 | 2014年6月11日（59歳） |
| 国籍 | アメリカ人 |
| 母校 | コーネル大学 ウェズリアン大学 |
| 知られている | プログラミング言語 ソフトウェアエンジニアリング |
| 受賞歴 | ACM SIGSOFT レトロスペクティブインパクトペーパー賞 (2011) |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | ウィスコンシン大学マディソン校(1985 ～ 2014 年)フランス、ロッカンクールの 国立情報学および自動車技術研究所(INRIA) (1982 ～ 1983 年) コペンハーゲン大学(1993 ～ 1994 年)イタリア、ピサの 国立情報学研究院(2000 ～) 2001) パリ・ディドロ大学(2007–2008) |
| 博士課程の指導教員 | ティム・タイテルバウム |
| Webサイト | ページ.cs.wisc.edu/~horwitz/ |
スーザン・ベス・ホロウィッツ（1955年1月6日 - 2014年6月11日）は、プログラミング言語と ソフトウェアエンジニアリング、特にプログラムスライシングとデータフロー解析の研究で知られる アメリカのコンピュータ科学者です。彼女は、下記の賞の項で述べるように、いくつかの最優秀論文賞とインパクト論文賞を受賞しています。
彼女は所属校で受賞歴のある教師であり、コンピュータサイエンスのためのピア主導チーム学習 (PLTLCS) の創設者でもあり、ウィスコンシン新進学者コンピュータサイエンス (WES-CS) プログラムを作成しました。彼女は、PLTLCS を実施しているウィスコンシン大学マディソン校とホロウィッツ校、デューク大学、ジョージア工科大学、ラトガース大学、ウィスコンシン大学ミルウォーキー校、パデュー大学、ベロイト大学、ロヨラ大学を含む 8 校のコラボレーションである NSF ITWF 助成金 0420343 を主導しました。彼らは 2009 年に論文[1]を発表し、積極的なリクルーティングとピア主導のチーム学習を組み合わせることが、入門レベルのコンピュータサイエンスのクラスで過小評価されている学生を引き付け、維持するための効果的なアプローチであることを示しています。彼女は高校のコンピューティング分野でのリーダーシップでも知られています。彼女は、1987 年から 1997 年までの 10 年間、Educational Testing Services の Advanced Placement Computer Science Test Development Committee のメンバーであり、試験のプログラミング言語が Pascal から C++ に変更された 1992 年から 1997 年までの 5 年間、同委員会の委員長を務めました。[要出典]
バイオグラフィー
ホロウィッツは1977年にウェズリアン大学で民族音楽学の学士号を優等で取得し、1982年にコーネル大学でコンピュータサイエンスの修士号、 1985年にコーネル大学でコンピュータサイエンスの博士号を取得した。1985年にウィスコンシン大学マディソン校のコンピュータサイエンス学部に助教授として加わり、1991年に准教授に昇進し、1996年に教授に昇進した。2004年から2007年まで副学部長を務め、2014年に名誉教授となった。[2]
死
ホロウィッツは2014年6月11日に59歳で胃癌のため亡くなった。[3]
受賞歴
ホロウィッツ氏はいくつかの最優秀論文賞を受賞しました。
- 1988年の論文「依存関係グラフを使用した手続き間スライシング」（T. RepsおよびD. Binkleyとの共著）は、1979年から1999年にかけて開催されたACM SIGPLANプログラミング言語設計および実装会議（PLDI）で発表された50の優秀論文の1つに選ばれました。[4]
- 2011年、彼女は1994年に開催されたSIGSOFTソフトウェアエンジニアリング基礎シンポジウム（FSE）で発表した論文「スライシングの高速化」で、ACM SIGSOFTレトロスペクティブインパクトペーパー賞（T. Reps、M. Sagiv、G. Rosayと共著）を受賞した。[5]
- 2002年に第2回実行時検証ワークショップで発表された彼女の論文「動的解析のオーバーヘッドの削減」（S. Yongとの共著）は、ワークショップの優秀論文の一つに選ばれ、ジャーナル「Formal Methods in System Design」の特別号への投稿が依頼された。[6]
- SIGSOFT '95 で彼女が発表した論文「Demand interprocedural dataflow analysis」（Thomas Reps および Mooly Sagiv との共著）は、ACM Transactions on Software Engineering and Methodology への投稿が依頼された会議で最優秀論文の 1 つに選ばれました。[7]
- TAPSOFT '95 で発表された彼女の論文「定数伝播への応用による正確な手続き間データフロー分析」（M. Saviv および T. Reps との共著）は、会議の最優秀論文の 1 つに選ばれ、Theoretical Computer Science への投稿が依頼されました。[8]
ホロウィッツはウィスコンシン州でいくつかの賞を受賞しています。
- ウィスコンシン大学文学部優秀教授賞、2011年[9]
- ウィスコンシン大学コンピュータサイエンス学部 キャロリン・ロスナー優秀教育者賞、1997年[10]
- ウィスコンシン大学ウィリアム・H・キークホファー優秀教育賞、1993年
- ウィスコンシン大学人文科学学部優秀教育賞、1992年
参考文献
- ^ Susan Horwitz、Susan H. Rodger、Maureen Biggers、David Brinkley、Dawn Gundermann、Susanne Hambrusch、Steven Huss-Lederman、Barbara Ryder、Monica Sweat (2009)。「ピア主導のチーム学習を使用して、入門レベルのコンピュータサイエンスにおける代表性の低いグループの参加と成功を高める」。SIGCSE '09 Proceedings of the 40th ACM Technical Symposium on Computer Science Education。41 ( 1 ): 163–167。doi : 10.1145 /1539024.1508925。
- ^ Susan B. Horwitz プロフィール、pages.cs.wisc.edu; 2014 年 10 月 29 日アクセス。
- ^ Madison.com (2014-07-05). 「Horwitz, Susan Beth」. Madison.com . 2014年7月6日閲覧。
- ^ S. Horwitz、T. Reps、D. Binkley (1988)。「依存関係グラフを使用したプロシージャ間スライシング」。プログラミング言語の設計と実装に関する ACM SIGPLAN 1988 会議の議事録 - PLDI '88 。第 23 巻。35 ～ 46 ページ。CiteSeerX 10.1.1.698.7182。doi : 10.1145 /53990.53994。ISBN 0897912691. S2CID 3820604。
- ^ Thomas Reps、Susan Horwitz、Mooly Sagiv、Genevieve Rosay (1994)。「スライシングの高速化」。ソフトウェア エンジニアリングの基礎に関する第 2 回 ACM SIGSOFT シンポジウムの議事録 - SIGSOFT '94。第 19 巻。pp. 11–20。doi : 10.1145/ 193173.195287。ISBN 978-0897916912. S2CID 2651251。
{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク) - ^ Suan Yong & Susan Horwitz (2005). 「静的解析を使用した動的解析のオーバーヘッドの削減」.システム設計における形式手法. 27 (3): 313–34. CiteSeerX 10.1.1.61.9940 . doi :10.1007/s10703-005-3401-0. S2CID 5733462.
- ^ Susan Horwitz、Thomas Reps、Mooly Sagiv (1995)。「プロシージャ間データフロー分析の要求」。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 。
- ^ Mooly Sagiv 、Thomas Reps、Susan Horwitz (1996)。「定数伝播への応用を伴う正確な手続き間データフロー分析」。理論計算機科学。167 (1–2): 131–70。doi : 10.1016/0304-3975(96)00072-2。
- ^ ウィスコンシン大学マディソン校 (2011年10月18日)。「L&S優等生プログラムが7人の著名な教員を表彰」ウィスコンシン大学マディソン校。2014年3月29日閲覧。
- ^ ウィスコンシン大学コンピュータサイエンス学部 (2014 年 3 月 29 日)。「コンピュータサイエンス学部の賞」ウィスコンシン大学コンピュータサイエンス学部。2014年3 月 29 日閲覧。