World's Best Scientists 2026 revealed!
Jeffrey S. Foster

Jeffrey S. Foster

D-Index & Metrics

Computer Science

D-Index
44
Citations
9191
World Ranking
7515
National Ranking
3268

Overview

Jeffrey S. Foster is affiliated with Tufts University in the United States. Their primary field of study is Computer Science, with a focus on several subfields including Software, Information Systems, Artificial Intelligence, Hardware and Architecture, and Computational Theory and Mathematics.

Their research work covers various topics, notably:

  • Software Testing and Debugging Techniques
  • Software Engineering Research
  • Parallel Computing and Optimization Techniques
  • Formal Methods in Verification
  • Software System Performance and Reliability
  • Logic, programming, and type systems
  • Software Reliability and Analysis Research

Recent publications authored with collaboration include:

  • SimTyper: sound type inference for Ruby using type equality prediction, 2021, Proceedings of the ACM on Programming Languages
  • An empirical assessment of machine learning approaches for triaging reports of static analysis tools, 2023, Empirical Software Engineering
  • Absynthe: Abstract Interpretation-Guided Synthesis, 2023, Proceedings of the ACM on Programming Languages
  • SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • Replication Package for Sound, Heuristic Type Annotation Inference for Ruby, 2020, Artifact Digital Object Group

Jeffrey S. Foster has frequently published in venues such as:

  • Proceedings of the ACM on Programming Languages
  • Zenodo (CERN European Organization for Nuclear Research)
  • Artifact Digital Object Group
  • Empirical Software Engineering
  • 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Collaborations have been established regularly with several coauthors, including:

  • Aleksandr Fedchin
  • Tyler Dean
  • Eric Mercer
  • Zvonimir Rakamarić
  • Giles Reger

Best Publications

  • A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.

    David A. Wagner;Jeffrey S. Foster;Eric A. Brewer;Alexander Aiken

  • Detecting format string vulnerabilities with type qualifiers

    Umesh Shankar;Kunal Talwar;Jeffrey S. Foster;David Wagner

  • Flow-sensitive type qualifiers

    Jeffrey S. Foster;Tachio Terauchi;Alex Aiken

  • A comparison of bug finding tools for Java

    N. Rutar;C.B. Almazan;J.S. Foster

  • SCanDroid: Automated Security Certification of Android

    Adam P. Fuchs;Avik Chaudhuri;Jeffrey S. Foster

  • A theory of type qualifiers

    Jeffrey S. Foster;Manuel Fähndrich;Alexander Aiken

  • From program verification to program synthesis

    Saurabh Srivastava;Sumit Gulwani;Jeffrey S. Foster

  • Dr. Android and Mr. Hide: fine-grained permissions in android applications

    Jinseong Jeon;Kristopher K. Micinski;Jeffrey A. Vaughan;Ari Fogel

  • Understanding source code evolution using abstract syntax tree matching

    Iulian Neamtiu;Jeffrey S. Foster;Michael Hicks

  • LOCKSMITH: context-sensitive correlation analysis for race detection

    Polyvios Pratikakis;Jeffrey S. Foster;Michael Hicks

  • Directed symbolic execution

    Kin-Keung Ma;Khoo Yit Phang;Jeffrey S. Foster;Michael Hicks

  • Partial online cycle elimination in inclusion constraint graphs

    Manuel Fähndrich;Jeffrey S. Foster;Zhendong Su;Alexander Aiken

  • Static type inference for Ruby

    Michael Furr;Jong-hoon (David) An;Jeffrey S. Foster;Michael Hicks

  • Using symbolic evaluation to understand behavior in configurable software systems

    Elnatan Reisner;Charles Song;Kin-Keung Ma;Jeffrey S. Foster

  • LOCKSMITH: Practical static race detection for C

    Polyvios Pratikakis;Jeffrey S. Foster;Michael Hicks

  • Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C

    Jeffrey S. Foster;Manuel Fähndrich;Alexander Aiken

  • Kitsune: efficient, general-purpose dynamic software updating for C

    Christopher M. Hayden;Edward K. Smith;Michail Denchev;Michael Hicks

  • Kitsune: Efficient, General-Purpose Dynamic Software Updating for C

    Christopher M. Hayden;Karla Saur;Edward K. Smith;Michael Hicks

  • Lock Inference for Atomic Sections

    Michael Hicks;Jeffrey S. Foster;Polyvios Pratikakis

  • Contextual effects for version-consistent dynamic software updating and safe concurrent programming

    Iulian Neamtiu;Michael Hicks;Jeffrey S. Foster;Polyvios Pratikakis

Frequent Co-Authors

Michael Hicks
Michael Hicks University of Maryland, College Park
Alex Aiken
Alex Aiken Stanford University
Adam Porter
Adam Porter University of Maryland, College Park
Manuel Fähndrich
Manuel Fähndrich Google (United States)
Sumit Gulwani
Sumit Gulwani Microsoft (United States)
Todd Millstein
Todd Millstein University of California, Los Angeles
Iulian Neamtiu
Iulian Neamtiu New Jersey Institute of Technology
Zhendong Su
Zhendong Su ETH Zurich
Lori Pollock
Lori Pollock University of Delaware

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

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Aspiring Computer Science students have a range of related pathways to consider. For those interested in analytics, pursuing one of the cheapest data science masters in USA can provide valuable skills in a high-growth field without breaking the bank.

If engineering is your focus, an online bachelor’s in electrical engineering can open doors in sectors like robotics, energy, and telecommunications—often with the flexibility of remote study.

For those seeking quick upskilling, consider easy certifications that pay well. These programs are ideal for enhancing your resume fast, helping you secure better job opportunities with less time commitment.

Additionally, some students may prioritize speed. If this is your goal, you can explore quick masters degrees online to earn an advanced credential in as little as one year—saving both time and money.

With these options, there’s a flexible pathway for every career ambition in tech and engineering.

Best Scientists Citing Jeffrey S. Foster

Trending Scientists

Recently Published Articles