Scholar
Jeffrey S. Foster
Google Scholar ID: QWPwfsgAAAAJ
Computer Science, Tufts University
Programming Languages
Software Engineering
Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
10,617
H-index
49
i10-index
92
Publications
20
Co-authors
20
list available
Publications
2 items
Mason: Type- and Name-Guided Program Synthesis
2026
Cited
0
DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
2025
Cited
0
Co-authors
10 total
Alex Aiken
Professor of Computer Science, Stanford University
Polyvios Pratikakis
Computer Science Department, University of Crete, FORTH
Kristopher Micinski
Syracuse University
David Wagner
Professor of Computer Science, UC Berkeley
Tachio Terauchi
Professor of Computer Science and Engineering, Waseda University
Zhendong Su
Professor of Computer Science, ETH Zurich
Iulian Neamtiu
Professor of Computer Science, New Jersey Institute of Technology
Todd Millstein
Professor of Computer Science, UCLA
