H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 62 Citations 21,832 144 World Ranking 1346 National Ranking 765

Research.com Recognitions

Awards & Achievements

2011 - ACM Fellow For contributions to software analysis and defect detection.

1934 - Fellow of the American Association for the Advancement of Science (AAAS)

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Software

Thomas Ball mainly focuses on Model checking, Programming language, Algorithm, Debugging and Program analysis. The study incorporates disciplines such as Boolean data type, Interface and Boolean algebra in addition to Model checking. His research combines Software engineering and Programming language.

His work deals with themes such as Theoretical computer science, Profiling, Counterexample, Basic block and Code coverage, which intersect with Algorithm. His Debugging study combines topics in areas such as TRACE, Context and Software development. His Predicate abstraction study incorporates themes from Process and Automated theorem proving.

His most cited work include:

  • The SLAM project: debugging system software via static analysis (884 citations)
  • Automatic predicate abstraction of C programs (738 citations)
  • Mining metrics to predict component failures (646 citations)

What are the main themes of his work throughout his whole career to date?

His primary scientific interests are in Programming language, Software, Theoretical computer science, Model checking and Program analysis. His study in Predicate abstraction, Concurrency, Automated theorem proving, Abstract interpretation and Debugging is done as part of Programming language. He combines subjects such as Set and Software engineering with his study of Software.

Thomas Ball has included themes like Algorithm, Correctness, Construct and Graph in his Theoretical computer science study. In his study, Control flow is strongly linked to Profiling, which falls under the umbrella field of Algorithm. A large part of his Model checking studies is devoted to Abstraction model checking.

He most often published in these fields:

  • Programming language (30.54%)
  • Software (20.20%)
  • Theoretical computer science (18.23%)

What were the highlights of his more recent work (between 2011-2021)?

  • Software (20.20%)
  • Cloud computing (4.43%)
  • Programming language (30.54%)

In recent papers he was focusing on the following fields of study:

His main research concerns Software, Cloud computing, Programming language, Multimedia and Web application. His study brings together the fields of Engineering management and Software. His Programming language research incorporates themes from Theoretical computer science, Uninterpreted function and Existential theory of the reals.

His research integrates issues of Sprite, Visual programming language and Physical computing in his study of Multimedia. His research in Web application tackles topics such as Microcontroller which are related to areas like Set. The Model checking study combines topics in areas such as Solver, Unit propagation, Boolean satisfiability problem and Concurrency.

Between 2011 and 2021, his most popular works were:

  • VeriCon: towards verifying controller programs in software-defined networks (123 citations)
  • Type-directed completion of partial expressions (84 citations)
  • Modular and verified automatic program repair (69 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Software

Software, Programming language, Theoretical computer science, Cloud computing and Microcontroller are his primary areas of study. His studies deal with areas such as Symbolic communication and Symbolic reasoning as well as Programming language. His Unit propagation, Boolean satisfiability problem, Computability and Model checking investigations are all subjects of Theoretical computer science research.

In his research on the topic of Cloud computing, Programmer is strongly related with Context. The various areas that Thomas Ball examines in his Programmer study include Variety, World Wide Web, App store and Human–computer interaction. His Microcontroller research incorporates elements of Domain, Web application, Set and Firmware.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

The SLAM project: debugging system software via static analysis

Thomas Ball;Sriram K. Rajamani.
symposium on principles of programming languages (2002)

1235 Citations

Automatic predicate abstraction of C programs

Thomas Ball;Rupak Majumdar;Todd Millstein;Sriram K. Rajamani.
programming language design and implementation (2001)

1060 Citations

Mining metrics to predict component failures

Nachiappan Nagappan;Thomas Ball;Andreas Zeller.
international conference on software engineering (2006)

986 Citations

Feedback-Directed Random Test Generation

Carlos Pacheco;Shuvendu K. Lahiri;Michael D. Ernst;Thomas Ball.
international conference on software engineering (2007)

929 Citations

Use of relative code churn measures to predict system defect density

Nachiappan Nagappan;Thomas Ball.
international conference on software engineering (2005)

920 Citations

Efficient path profiling

Thomas Ball;James R. Larus.
international symposium on microarchitecture (1996)

885 Citations

Automatically validating temporal safety properties of interfaces

Thomas Ball;Sriram K. Rajamani.
international workshop on model checking software (2001)

857 Citations

Optimally profiling and tracing programs

Thomas Ball;James R. Larus.
ACM Transactions on Programming Languages and Systems (1994)

729 Citations

Finding and reproducing Heisenbugs in concurrent programs

Madanlal Musuvathi;Shaz Qadeer;Thomas Ball;Gerard Basler.
operating systems design and implementation (2008)

665 Citations

Software visualization in the large

T. Ball;S.G. Eick.
IEEE Computer (1996)

615 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Thomas Ball

Thomas Reps

Thomas Reps

University of Wisconsin–Madison

Publications: 78

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 77

Ahmed E. Hassan

Ahmed E. Hassan

Queen's University

Publications: 59

Walter Binder

Walter Binder

Universita della Svizzera Italiana

Publications: 58

Edmund M. Clarke

Edmund M. Clarke

Carnegie Mellon University

Publications: 55

Dirk Beyer

Dirk Beyer

Ludwig-Maximilians-Universität München

Publications: 54

Alex Groce

Alex Groce

Northern Arizona University

Publications: 48

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 48

Andrey Rybalchenko

Andrey Rybalchenko

Microsoft (United States)

Publications: 47

Sriram K. Rajamani

Sriram K. Rajamani

Microsoft (United States)

Publications: 46

Rajeev Alur

Rajeev Alur

University of Pennsylvania

Publications: 45

Viktor Kuncak

Viktor Kuncak

École Polytechnique Fédérale de Lausanne

Publications: 44

Aarti Gupta

Aarti Gupta

Princeton University

Publications: 44

Thomas Zimmermann

Thomas Zimmermann

Microsoft (United States)

Publications: 43

Ranjit Jhala

Ranjit Jhala

University of California, San Diego

Publications: 41

Shaz Qadeer

Shaz Qadeer

Facebook (United States)

Publications: 41

Something went wrong. Please try again later.