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.
