Jeffrey S. Foster

Tufts University

H-index: 48

North America-United States

About Jeffrey S. Foster

Jeffrey S. Foster, With an exceptional h-index of 48 and a recent h-index of 26 (since 2020), a distinguished researcher at Tufts University, specializes in the field of Programming Languages, Software Engineering, Security.

His recent articles reflect a diverse array of research interests and contributions to the field:

An empirical assessment of machine learning approaches for triaging reports of static analysis tools

A Qualitative Study of REST API Design and Specification Practices

Absynthe: Abstract Interpretation-Guided Synthesis

A toolkit for automated testing of Dafny

SATune: a study-driven auto-tuning approach for configurable software verification tools

SimTyper: sound type inference for Ruby using type equality prediction

Program Sketching by Automatically Generating Mocks from Tests

RbSyn: type-and effect-guided program synthesis

Jeffrey S. Foster Information

University	Tufts University
Position	Computer Science
Citations(all)	9870
Citations(since 2020)	2356
Cited By	8438
hIndex(all)	48
hIndex(since 2020)	26
i10Index(all)	85
i10Index(since 2020)	62
Email	Access Email
University Profile Page	Tufts University
Google Scholar	View Google Scholar Profile

Jeffrey S. Foster Skills & Research Interests

Programming Languages

Software Engineering

Security

Top articles of Jeffrey S. Foster

Title	Journal	Author(s)	Publication Date
An empirical assessment of machine learning approaches for triaging reports of static analysis tools	Empirical Software Engineering	Sai Yerramreddy Austin Mordahl Ugur Koc Shiyi Wei Jeffrey S Foster ...	2023/3
A Qualitative Study of REST API Design and Specification Practices		Michael Coblenz Wentao Guo Kamatchi Voozhian Jeffrey S Foster	2023/10/3
Absynthe: Abstract Interpretation-Guided Synthesis	Proceedings of the ACM on Programming Languages	Sankha Narayan Guria Jeffrey S Foster David Van Horn	2023/6/6
A toolkit for automated testing of Dafny		Aleksandr Fedchin Tyler Dean Jeffrey S Foster Eric Mercer Zvonimir Rakamarić ...	2023/5/16
SATune: a study-driven auto-tuning approach for configurable software verification tools		Ugur Koc Austin Mordahl Shiyi Wei Jeffrey S Foster Adam A Porter	2021/11/15
SimTyper: sound type inference for Ruby using type equality prediction	Proceedings of the ACM on Programming Languages	Milod Kazerounian Jeffrey S Foster Bonan Min	2021/10/15
Program Sketching by Automatically Generating Mocks from Tests		Nate FF Bragg Jeffrey S Foster Cody Roux Armando Solar-Lezama	2021/7/15
RbSyn: type-and effect-guided program synthesis		Sankha Narayan Guria Jeffrey S Foster David Van Horn	2021/6/19
We need fairness and explainability in algorithmic hiring	International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)	Candice Schumann Jeffrey Foster Nicholas Mattei John Dickerson	2020/5
{BigMAC}:{Fine-Grained} Policy Analysis of Android Firmware		Grant Hernandez Dave Jing Tian Anurag Swarnim Yadav Byron J Williams Kevin RB Butler	2020
An observational investigation of reverse {Engineers’} processes		Daniel Votipka Seth Rabin Kristopher Micinski Jeffrey S Foster Michelle L Mazurek	2020
Sound, heuristic type annotation inference for ruby		Milod Kazerounian Brianna M Ren Jeffrey S Foster	2020/11/17