{{short description|American computer scientist}} '''James Benjamin Saxe''' is an American computer scientist who has worked for many years at the DEC Systems Research Center{{r|wwsrc}} and its successors, the Compaq Systems Research Center and the Systems Research Center of HP Labs.
Saxe is known for his highly-cited publications on automated theorem proving,{{ran|DNS}} circuit complexity,{{ran|FSS}} retiming in synchronous circuit design,{{ran|LS}} computer networks,{{ran|AOS}} and static program analysis.{{ran|FLL}} His work on program analysis from PLDI 2002 won the Most Influential PLDI Paper Award for 2012.{{r|mi}} In addition, he is one of the authors of the master theorem for divide-and-conquer recurrences.{{ran|BHS}}
While a high school student, Saxe won the United States of America Mathematical Olympiad.{{r|union}} In 1974, as a student at Union College, Saxe took part in the William Lowell Putnam Mathematical Competition; his place in the top five scores earned him a Putnam Fellowship.{{r|putnam}} He graduated from Union College in 1976,{{r|union}}, and earned his Ph.D. in 1985 from Carnegie Mellon University, under the supervision of Jon Bentley.{{r|mgp}}
==Selected publications== {{rma|BHS|{{citation | last1 = Bentley | first1 = Jon Louis | author1-link = Jon Bentley (computer scientist) | last2 = Haken | first2 = Dorothea | author2-link = Dorothea Blostein | last3 = Saxe | first3 = James B. | date = September 1980 | doi = 10.1145/1008861.1008865 | issue = 3 | journal = ACM SIGACT News | pages = 36–44 | title = A general method for solving divide-and-conquer recurrences | volume = 12| s2cid = 40642274 }}|tw=2.5em}}
{{rma|FSS|{{citation | last1 = Furst | first1 = Merrick | last2 = Saxe | first2 = James B. | last3 = Sipser | first3 = Michael | author3-link = Michael Sipser | doi = 10.1007/BF01744431 | issue = 1 | journal = Mathematical Systems Theory | mr = 738749 | pages = 13–27 | title = Parity, circuits, and the polynomial-time hierarchy | volume = 17 | year = 1984| s2cid = 14677270 }}|tw=2.5em}}
{{rma|LS|{{citation | last1 = Leiserson | first1 = Charles E. | author1-link = Charles E. Leiserson | last2 = Saxe | first2 = James B. | doi = 10.1007/BF01759032 | issue = 1 | journal = Algorithmica | mr = 1079368 | pages = 5–35 | title = Retiming synchronous circuitry | volume = 6 | year = 1991| s2cid = 18674287 | citeseerx = 10.1.1.368.3222 }}|tw=2.5em}}
{{rma|AOS|{{citation | last1 = Anderson | first1 = Thomas E. | author1-link = Thomas E. Anderson | last2 = Owicki | first2 = Susan S. | author2-link = Susan Owicki | last3 = Saxe | first3 = James B. | last4 = Thacker | first4 = Charles P. | author4-link = Charles P. Thacker | date = November 1993 | doi = 10.1145/161541.161736 | issue = 4 | journal = ACM Transactions on Computer Systems | pages = 319–352 | title = High-speed switch scheduling for local-area networks | volume = 11| s2cid = 53244607 | url = http://techreports.lib.berkeley.edu/accessPages/CSD-94-803.html | doi-access = free }}|tw=2.5em}}
{{rma|FLL|{{citation | last1 = Flanagan | first1 = Cormac | last2 = Leino | first2 = K. Rustan M. | last3 = Lillibridge | first3 = Mark | last4 = Nelson | first4 = Greg | author4-link = Greg Nelson (computer scientist) | last5 = Saxe | first5 = James B. | last6 = Stata | first6 = Raymie | author6-link = Raymie Stata | date = May 2002 | department = Proceedings of PLDI 2002 | doi = 10.1145/543552.512558 | issue = 5| journal = SIGPLAN Notices | pages = 234–245 | title = Extended static checking for Java | volume = 37}}|tw=2.5em}}
{{rma|DNS|{{citation | last1 = Detlefs | first1 = David | last2 = Nelson | first2 = Greg | author2-link = Greg Nelson (computer scientist) | last3 = Saxe | first3 = James B. | doi = 10.1145/1066100.1066102 | issue = 3 | journal = Journal of the ACM | mr = 2146512 | pages = 365–473 | title = Simplify: a theorem prover for program checking | volume = 52 | year = 2005| s2cid = 9613854 }}|tw=2.5em}}
==References== <references>
<ref name=mgp>{{mathgenealogy|id=50400}}</ref>
<ref name=mi>[http://sigplan-pages.sigplan.hosting.acm.org/Awards/PLDI/ Most Influential PLDI Paper Award], retrieved 2017-06-17</ref>
<ref name=putnam>[http://www.maa.org/programs/maa-awards/putnam-competition-individual-and-team-winners Putnam Competition Individual and Team Winners] {{Webarchive|url=https://web.archive.org/web/20140312205244/http://www.maa.org/programs/maa-awards/putnam-competition-individual-and-team-winners |date=2014-03-12 }}, Mathematical Association of America, retrieved 2017-06-17</ref>
<ref name=union>[https://muse.union.edu/mathematics/about/history/ A History of the Mathematics Department] {{Webarchive|url=https://web.archive.org/web/20161218232025/https://muse.union.edu/mathematics/about/history/ |date=2016-12-18 }}, Union College, retrieved 2017-06-17</ref>
<ref name=wwsrc>{{citation|url=http://lucacardelli.name/Topics/SRC/1993-09%20Who's%20Who%20at%20SRC.pdf|year=1993|title=Who's Who at SRC|page=14|publisher=DEC Systems Research Center}}</ref>
</references>
{{authority control}}
{{DEFAULTSORT:Saxe, James B.}} Category:Year of birth missing (living people) Category:Living people Category:American computer scientists Category:Union College (New York) alumni Category:Carnegie Mellon University alumni Category:Putnam Fellows Category:Scientists from New York (state)