Jeffrey S. Foster - Publications, H-index & Citations

Jeffrey S. Foster

tufts university

44H指数

177论文数

7.3K被引数

收录论文 9

发表时间

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs DafnyMPI：用于验证消息传递并发程序的Dafny库

Proceedings of the ACM on Programming Languages-PACMPL

IF2.8

2026-01-01

PREAI

Fedchin, Aleksandr; Mejr, Antero; Sundar, Hari; Foster, Jeffrey S.

RestPi: Path-Sensitive Type Inference for REST APIs RestPi: 路径敏感的类型推断用于REST API

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL

IF2.8

2025-10-01

PREAI

Aldrich, Mark W.; Levin, Kyla H.; Coblenz, Michael; Foster, Jeffrey S.

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

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2023-01-10

PREAI

Yerramreddy, Sai; Mordahl, Austin; Koc, Ugur; Wei, Shiyi; Foster, Jeffrey S.; Carpuat, Marine; Porter, Adam A.

Shedding New Light on an Old Language Debate

COMMUNICATIONS OF THE ACM

IF12.2

2017-09-25

PREAI

Foster, Jeffrey S.

iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2014-03-01

OAAI

Song, Charles; Porter, Adam; Foster, Jeffrey S.

Evaluating Dynamic Software Update Safety Using Systematic Testing

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2012-11-01

OAAI

Hayden, Christopher M.; Smith, Edward K.; Hardisty, Eric A.; Hicks, Michael; Foster, Jeffrey S.

SCORE: Agile Research Group Management

COMMUNICATIONS OF THE ACM

IF12.2

2010-10-01

PREAI

Hicks, Michael; Foster, Jeffrey S.

Modular information hiding and type-safe linking for C

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2008-05-01

PREAI

Srivastava, Saurabh; Hicks, Michael; Foster, Jeffrey S.; Jenkins, Patrick

Parallel detection of violations of color constancy

PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA

IF9.1

2001-07-03

OAAI

Foster, DH; Nascimento, SMC; Amano, K; Arend, L; Linnell, KJ; Nieves, JL; Plet, S; Foster, JS

研究方向