Jeffrey S. Foster
Scholar

Jeffrey S. Foster

Google Scholar ID: QWPwfsgAAAAJ
Computer Science, Tufts University
Programming LanguagesSoftware EngineeringSecurity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
10,617
 
H-index
49
 
i10-index
92
 
Publications
20
 
Co-authors
20
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
20 total
Alex Aiken
Alex Aiken
Professor of Computer Science, Stanford University
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Polyvios Pratikakis
Polyvios Pratikakis
Computer Science Department, University of Crete, FORTH
Kristopher Micinski
Kristopher Micinski
Syracuse University
Co-author 7
Co-author 7
Co-author 8
Co-author 8