Jeffrey S. Foster -

Registered user since Tue 24 Nov 2015

Name:Jeffrey S. Foster

Country:United States

Affiliation:Tufts University

Personal website: https://www.cs.tufts.edu/~jfoster/

Contributions

2024

Dafny

Author of Dafny Test Generation within the Dafny 2024-track

2023

SPLASH

Committee Member in Steering Committee

VL/HCC

Author of A Qualitative Study of REST API Design and Specification Practices within the Research Papers-track

ICFP

SIGPLAN Chair in Steering Committee

PLMW

Panelist of Panel: How to excel in graduate school within the PLMW@PLDI 2023-track

PLDI

Author of Absynthe: Abstract Interpretation-Guided Synthesis within the PLDI Research Papers-track

NFM

Author of A Toolkit for Automated Testing of Dafny within the NFM 2023-track

2022

SPLASH

ICFP

Steering Committee Member in Steering Committee

PLDI

Author of (PLDI 2021) RbSyn: type- and effect-guided program synthesis within the SIGPLAN Track-track

2021

ASE

SPLASH

ICFP

Committee Member in Steering Committee

PLDI

2020

DLS

Author of Sound, Heuristic Type Annotation Inference for Ruby within the DLS 2020-track

PLDI

Committee Member in Steering Committee

SOAP

Committee Member in Program Committee within the SOAP 2020-track

POPL

Committee Member in Program Committee within the Research Papers-track

2019

SPLASH

PLDI

2018

HILT

Author of Who decides what is allowed? User Interactions and Permissions Use on Android within the HILT 2018-track

PLDI

VMCAI

2017

MAPS

Author of Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools within the MAPL 2017-track

PLDI

Committee Member in Program Committee

2016

SPLASH

ERC member in External Program Committee within the OOPSLA-track

STOP

Invited Speaker of Types for Ruby within the STOP-track

PLDI

Author of Just-in-Time Static Type Checking for Dynamic Languages within the Research Papers-track

POPL

2015

SPLASH

SOAP

Committee Member in Program Committee within the SOAP-track

2014

DLS

Presenter of Contracts for Domain-Specific Languages in Ruby within the DLS-track

2012

SPLASH