What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Software
His scientific interests lie mostly in Programming language, Theoretical computer science, Constraint, Type qualifier and Type inference.
Jeffrey S. Foster merges Programming language with Flexibility in his study.
His work deals with themes such as Effect system, Dynamic software updating, Correctness and Automatic programming, which intersect with Theoretical computer science.
His studies in Type qualifier integrate themes in fields like Type theory, Reliability and Linux kernel.
His study on Type inference also encompasses disciplines like
- Thread together with Server,
- Programmer which connect with Code.
As part of one scientific family, he deals mainly with the area of Type, narrowing it down to issues related to the scanf format string, and often Software.
His most cited work include:
- A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. (582 citations)
- Detecting format string vulnerabilities with type qualifiers (343 citations)
- Flow-sensitive type qualifiers (333 citations)
What are the main themes of his work throughout his whole career to date?
Jeffrey S. Foster mainly focuses on Programming language, Theoretical computer science, Software engineering, Software and Static analysis.
His Programming language research is multidisciplinary, incorporating elements of Type checking and Type inference.
His Theoretical computer science study integrates concerns from other disciplines, such as Type qualifier, Inference, Correctness and Symbolic execution.
Jeffrey S. Foster studied Type qualifier and Type theory that intersect with String.
The Software engineering study which covers Software quality that intersects with Software construction.
His Static analysis research is multidisciplinary, relying on both Scalability, Source code and Static program analysis.
He most often published in these fields:
- Programming language (43.80%)
- Theoretical computer science (25.55%)
- Software engineering (13.87%)
What were the highlights of his more recent work (between 2015-2021)?
- Programming language (43.80%)
- Set (9.49%)
- Theoretical computer science (25.55%)
In recent papers he was focusing on the following fields of study:
His primary scientific interests are in Programming language, Set, Theoretical computer science, Software engineering and Android.
His Programming language study incorporates themes from Type checking, Web application and Key.
His studies deal with areas such as Selection and Operations research as well as Set.
His work on Abstract interpretation as part of general Theoretical computer science study is frequently connected to Constraint, therefore bridging the gap between diverse disciplines of science and establishing a new relationship between them.
Jeffrey S. Foster interconnects Program analysis, Debugging and Reverse engineering in the investigation of issues within Software engineering.
His Android research focuses on World Wide Web and how it relates to Authorization and Model checking.
Between 2015 and 2021, his most popular works were:
- Synthesizing framework models for symbolic execution (31 citations)
- Learning a classifier for false positive error reports emitted by static code analysis tools (22 citations)
- User Interactions and Permission Use on Android (20 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Software
His primary areas of study are Programming language, Type checking, Metaprogramming, Set and Program analysis.
His Programming language research is multidisciplinary, incorporating perspectives in Range, Web application and Key.
His Type checking research is multidisciplinary, incorporating elements of Python, Machine code, Database query, Hash function and JavaScript.
His study in Metaprogramming is interdisciplinary in nature, drawing from both Process, Encoding, Correctness, Translation and Host.
Many of his research projects under Set are closely connected to Social choice theory with Social choice theory, tying the diverse disciplines of science together.
The study incorporates disciplines such as Program synthesis, Java, Java collections framework, Software design pattern and Software engineering in addition to Program analysis.
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.
