Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Tom Ball

Tom Ball


I am a research manager in the area of software engineering. My research interests are in how combinations of static/dynamic program analysis, model checking and theorem proving techniques can help improve the correctness and reliability of programs. See my papers for more details.

Recent News

  • TouchDevelop: Scripting Mobile+Cloud Apps via Mobile+Cloud, Rutgers University, April 22, 2014
  • Efficient Tracing of Cold Code Via Bias-Free Sampling, B. Kasikci, T. Ball, G. Candea, J. Erickson, and M. Musuvathi, to appear USENIX ATC 2014
  • VeriCon: Towards Verifying Controller Programs in Software-Defined Networks. T. Ball, N. Bjorner, Microsoft Research; A. Gember, University of Wisconsin-Madison; S. Itzhaky, Tel Aviv University; A. Karbyshev, Technical University of Munich; M. Sagiv, Tel Aviv University; M. Schapira, A. Valadarsky, Hebrew University of Jerusalem, to appear PLDI 2014
  • Efficient Modular SAT Solving for IC3, with Say Bayless, Celina Val, Holger Hoos, and Alan Hu, FMCAD 2013


Recent Papers

Recent Talks


Recent Service


I grew up in Summit, NJ, where my claim to fame was writing a game for the Apple ][ called Falcons in 1980 with high school pal Eric Varsanyi (see The Giant List of Classic Game Programmers). I attended Cornell University (B.A. 1987), and the University of Wisconsin-Madison (Ph.D. 1993). From 1993-1999, I was at Bell Labs in Naperville, IL in the (now defunct) Software Production Research Department. After 12 years as a Midwesterner, I had had enough. Now I live in Mercer Island, WA. I have sung in various Unitarian Universalist choirs, play e-bass (mainly jazz, blues, some rock 'n roll) and piano.  I now play in a band called the "The Middle Third".

  • E-mail \com\microsoft\tball
  • Office: (425) 703-8591
  • Fax: (425) 936-7329
  • Mail: One Microsoft Way, Redmond, WA 98052