Jeffrey S. Foster
Tufts University
H-index: 48
North America-United States
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 |