“Draft:Thomas Ball (computer scientist)”的意思、由来-开放百科全书

词条

Draft:Thomas Ball (computer scientist)

释义

Biography
Awards

{{Infobox person
|name = Thomas J. Ball
|image =
|image_size = 200
|birth_date = {{Birth date and age|1965|10|1}}
|birth_place = New York City, NY, U.S.
|occupation = Computer scientist
|nationality = American
|alma_mater = University of Wisconsin–Madison
Cornell University
|known_for = programming languages
formal methods
software engineering
|website = {{URL|http://research.microsoft.com/~tball/}}
}}Thomas J. Ball (born October 1, 1965) is a computer scientist specializing in the fields of programming languages, formal methods, and software engineering. He is currently at Microsoft Research (MSR), where he is a Principal Researcher and co-manages the Research in Software Engineering group.^[1]

with Benjamin Zorn.

Ball is best known for his work with Sriram Rajamani on the SLAM project,

which demonstrated how to detect errors in C programs via a novel combination of model checking,

program analysis and automated theorem proving. The SLAM project led to the creation of Microsoft's

Static Driver Verifier tool for finding defects in Windows device drivers.^[2] Ball and Rajamani received the 2011 Computer-Aided Verification Award for their work on the SLAM project.^[3]

More recently, Ball led the MSR team that created a web-based programming environment

for the bit device^[4], which debuted in 2016, and then created the

Microsoft MakeCode platform for programming physical computing devices.^[5]

Biography

While in high school (in Summit, NJ),

Ball and friend Eric Varsanyi wrote two arcade-style games for the Apple II computer:

Falcons (1981)^[6]

and Warp Destroyer (1982).^[7] Both games

were marketed by Piccadilly Software Inc. of Summit, NJ.

Ball received a A.B. in Computer Science from Cornell University

in 1987, a M.S. in Computer Science from the University of Wisconsin

(Madison) in 1989 and a Ph.D in Computer Science from the

University Wisconsin (Madison) in 1993.

As a graduate student at Wisconsin,

Ball worked with professors Susan B. Horwitz (advisor), James Larus and Thomas Reps.

He was a Member of Technical Staff at Bell Laboratories from 1993 until 1999 in the

Software Production Research Department, before joining MSR in August 1999.

Ball has sung professionally as a member of the Seattle Opera Chorus in their 2013 production

of Wagner's Ring Cycle.

Awards

Ball is a 2011 Fellow of the Association for Computing Machinery (ACM).^[8]

In addition to the CAV Award for the SLAM project,

four of his papers have received "test of time" awards:

His 1996 paper "Efficient Path Profiling" (with James Larus) received the MICRO Test of Time Award in 2018.^[9]
His 1997 paper "Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling" (with G. Ammons and James Larus) received the Most Influential PLDI Paper Award in 2007.^[10]
His 2001 paper "Automatic Predicate Abstraction of C Programs" (with R. Mujumdar, T. Millstein and Sriram Rajamani) received the Most Influential PLDI Paper Award in 2011.^[11]
His 2007 paper "Feedback-Directed Random Test Generation" (with C. Pacheco, S. K. Lahiri, and M.D. Ernst) received the ICSE Most Influential Paper Award in 2017.^[12]

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。