Jeffrey S. Foster

Tufts University — United States

Computer Science · Physical Sciences

44h-index7.3kcitations177works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(77), Software Engineering Research(71), Logic, programming, and type systems(65), Parallel Computing and Optimization Techniques(40), Security and Verification in Computing(34)

Publications177 total

Mason: Type- and Name-Guided Program Synthesis
ArXiv.org·2026Open Access
Mason: Type- and Name-Guided Program Synthesis
arXiv (Cornell University)·2026Open Access
DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
Proceedings of the ACM on Programming Languages·2026Open Access
DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
arXiv (Cornell University)·2025Open Access
RestPi: Path-Sensitive Type Inference for REST APIs
Proceedings of the ACM on Programming Languages·2025Open Access
Metamorph: Synthesizing Large Objects from Dafny Specifications
Proceedings of the ACM on Programming Languages·2025Open Access
Scimitar: Functional Programs as Optimization Problems
2024Open Access
A Qualitative Study of REST API Design and Specification Practices
2023· 3 cited
Absynthe: Abstract Interpretation-Guided Synthesis
Proceedings of the ACM on Programming Languages·2023· 6 citedOpen Access
Australia has a new cybersecurity agenda. Two key questions lie at its heart
2023
Absynthe: Abstract Interpretation-Guided Synthesis
arXiv (Cornell University)·2023Open Access
An empirical assessment of machine learning approaches for triaging reports of static analysis tools
Empirical Software Engineering·2023· 7 cited
A Toolkit for Automated Testing of Dafny
Lecture notes in computer science·2023· 7 cited
Australia is considering a ban on cyber ransom payments, but it could backfire. Here’s another idea
2022
A Toolkit for Automated Testing of Dafny
Zenodo (CERN European Organization for Nuclear Research)·2022Open Access
Medibank hackers are now releasing stolen data on the dark web. If you’re affected, here’s what you need to know
2022
A Toolkit for Automated Testing of Dafny
2022Open Access
A Toolkit for Automated Testing of Dafny
2022Open Access
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)·2021· 6 cited
SimTyper: sound type inference for Ruby using type equality prediction
Proceedings of the ACM on Programming Languages·2021· 9 citedOpen Access
page 1 of 9Next →

Frequent Co-authors

Michael Hicks(16), Alex Aiken(10), Michael Furr(6), Saurabh Srivastava(5), Sumit Gulwani(5), Polyvios Pratikakis(5), Jong-hoon An(5), Avik Chaudhuri(4), Manuel Fähndrich(4), Jinseong Jeon(4), Kristopher Micinski(4), Tachio Terauchi(3), Kin-Keung Ma(3), Iulian Neamtiu(3), Christopher M. Hayden(3), John Kodumal(3), David Wagner(2), Jeffrey A. Vaughan(2), Nikhilesh Reddy(2), Todd Millstein(2)