James B. Saxe - James B. Saxe

James Benjamin Saxe uzun yıllar boyunca çalışan Amerikalı bir bilgisayar bilimcisi. DEC Sistemleri Araştırma Merkezi[1] ve halefleri, Compaq Sistemleri Araştırma Merkezi ve Sistem Araştırma Merkezi HP Laboratuvarları.

Saxe, yüksek alıntılanan yayınları ile tanınır.otomatik teorem kanıtlama,[DNS]devre karmaşıklığı,[FSS]yeniden zamanlama içinde senkron devre tasarım[LS]bilgisayar ağları,[AOS]ve statik program analizi.[FLL]Program analizi üzerine yaptığı çalışmalar PLDI 2002 2012'nin En Etkili PLDI Kağıt Ödülünü kazandı.[2]Ayrıca, yazarlardan biridir. böl ve yönet tekrarları için ana teoremi.[BHS]

Bir lise öğrencisi iken, Saxe Amerika Birleşik Devletleri Matematik Olimpiyatı.[3]1974'te öğrenci olarak Union Koleji Saxe, William Lowell Putnam Matematik Yarışması; ilk beşteki yeri ona Putnam Bursu kazandırdı.[4]1976'da Union College'den mezun oldu,[3]ve doktorasını kazandı. 1985 yılında Carnegie Mellon Üniversitesi gözetiminde Jon Bentley.[5]

Seçilmiş Yayınlar

BHS.Bentley, Jon Louis; Haken, Dorothea; Saxe, James B. (Eylül 1980), "Böl ve yönet tekrarlarını çözmek için genel bir yöntem", ACM SIGACT Haberleri, 12 (3): 36–44, doi:10.1145/1008861.1008865
FSS.Furst, Merrick; Saxe, James B .; Sipser, Michael (1984), "Parite, devreler ve polinom zaman hiyerarşisi", Matematiksel Sistemler Teorisi, 17 (1): 13–27, doi:10.1007 / BF01744431, BAY  0738749
LS.Leiserson, Charles E.; Saxe, James B. (1991), "Eşzamanlı devrenin yeniden ayarlanması", Algoritma, 6 (1): 5–35, doi:10.1007 / BF01759032, BAY  1079368
AOS.Anderson, Thomas E.; Owicki, Susan S.; Saxe, James B .; Thacker, Charles P. (Kasım 1993), "Yerel alan ağları için yüksek hızlı anahtar planlaması", Bilgisayar Sistemlerinde ACM İşlemleri, 11 (4): 319–352, doi:10.1145/161541.161736
FLL.Flanagan, Cormac; Leino, K. Rustan M .; Lillibridge, Mark; Nelson, Greg; Saxe, James B .; Stata, Raymie (Mayıs 2002), "Java için Genişletilmiş statik denetim", PLDI 2002 Bildirileri, SİGPLAN Bildirimleri, 37 (5): 234–245, doi:10.1145/543552.512558
DNS.Detlefs, David; Nelson, Greg; Saxe, James B. (2005), "Basitleştirin: program kontrolü için bir teorem kanıtlayıcısı", ACM Dergisi, 52 (3): 365–473, doi:10.1145/1066100.1066102, BAY  2146512

Referanslar

  1. ^ SRC'de Kim Kimdir (PDF), DEC Sistemleri Araştırma Merkezi, 1993, s. 14
  2. ^ En Etkili PLDI Bildiri Ödülü, 2017-06-17 alındı
  3. ^ a b Matematik Bölümü Tarihi, Union Koleji, 2017-06-17 alındı
  4. ^ Putnam Yarışması Bireysel ve Takım Kazananları, Amerika Matematik Derneği, 2017-06-17 alındı
  5. ^ James B. Saxe -de Matematik Şecere Projesi