ジェームズ・B・サックス

ジェームズ・ベンジャミン・サックスは、DECシステムリサーチセンター^[1]とその後継機関であるコンパックシステムリサーチセンター、そしてHP研究所のシステムリサーチセンターで長年勤務したアメリカのコンピュータ科学者です。

Saxe氏は、自動定理証明、^[DNS] 回路の複雑さ、^[FSS] 同期回路設計におけるリタイミング、 ^[LS]コンピュータネットワーク、^[AOS]静的プログラム解析 に関する引用数の多い論文で知られています 。^[FLL] PLDI 2002 のプログラム解析に関する研究は、2012年の最も影響力のあるPLDI論文賞を受賞しました。^[2] さらに、彼は分割統治法の再帰に関するマスター定理の著者の一人でもあります。^[BHS]

高校生の時、サックスはアメリカ合衆国数学オリンピックで優勝した。^{[3] 1974年、}ユニオン大学 在学中にウィリアム・ローウェル・パトナム数学コンペティションに参加し、上位5位に入ったことでパトナムフェローシップを受賞した。^[4] 彼は1976年にユニオン大学を卒業し、^[3] 1985年にカーネギーメロン大学でジョン・ベントレーの指導の下、博士号を取得した。^[5]

選定された出版物

BHS。	ベントレー、ジョン・ルイス；ハケン、ドロテア；サックス、ジェームズ・B.（1980年9月）「分割統治法による再帰問題の一般的な解法」ACM SIGACT News、12（3）：36–44、doi：10.1145/1008861.1008865、S2CID  40642274

FSS。	ファースト、メリック; サックス、ジェームズ・B;シプサー、マイケル(1984)、「パリティ、回路、および多項式時間階層」、数学システム理論、17 (1): 13– 27、doi :10.1007/BF01744431、MR  0738749、S2CID  14677270

LS。	チャールズ・E・ライザーソン; Saxe、James B. (1991)、「リタイミング同期回路」、Algorithmica、6 (1): 5–35、CiteSeerX  10.1.1.368.3222、doi :10.1007/BF01759032、MR  1079368、S2CID  18674287

AOS。	アンダーソン, トーマス E. ;オウィッキ, スーザン S. ; サックス, ジェームズ B. ;サッカー, チャールズ P. (1993年11月)「ローカルエリアネットワークにおける高速スイッチスケジューリング」、ACM Transactions on Computer Systems、11 (4): 319– 352、doi : 10.1145/161541.161736、S2CID  53244607

FLL。	Flanagan, Cormac; Leino, K. Rustan M.; Lillibridge, Mark; Nelson, Greg ; Saxe, James B.; Stata, Raymie (2002年5月)「Javaの拡張静的チェック」、Proceedings of PLDI 2002、SIGPLAN Notices、37 (5): 234– 245、doi :10.1145/543552.512558

DNS。	デトレフス、デイビッド、ネルソン、グレッグ、サックス、ジェームズ・B. (2005)、「Simplify：プログラム検証のための定理証明器」、Journal of the ACM、52 (3): 365– 473、doi :10.1145/1066100.1066102、MR  2146512、S2CID  9613854

参考文献

1. SRC の人物一覧(PDF)、DEC システム研究センター、1993 年、14 ページ
2. 最も影響力のあるPLDI論文賞、2017年6月17日閲覧
3. 数学部の歴史 Archived 2016-12-18 at the Wayback Machine , Union College , retrieved 2017-06-17
4. Putnam Competition Individual and Team Winners Archived 2014-03-12 at the Wayback Machine , Mathematical Association of America , retrieved 2017-06-17
5. 数学系譜プロジェクトのジェームズ・B・サックス