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

SPLASH 2023	Committee Member in Steering Committee
ICFP 2023	SIGPLAN Chair in Steering Committee
SPLASH 2022	Committee Member in Overview Committee within the COVID Time Papers In Person-track Committee Member in Steering Committee
ICFP 2022	Steering Committee Member in Steering Committee
PLDI 2022	Author of (PLDI 2021) RbSyn: type- and effect-guided program synthesis within the SIGPLAN Track-track
ASE 2021	Author of SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools within the Research Papers-track Author of SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools within the Artifact Evaluation-track
SPLASH 2021	Author of SimTyper: Sound Type Inference for Ruby using Type Equality Prediction within the OOPSLA-track Committee Member in Chairs within the SIGPLAN Business-track Committee Member in Steering Committee
ICFP 2021	Committee Member in Steering Committee
PLDI 2021	Author of RbSyn: Type- and Effect-Guided Program Synthesis within the PLDI-track Committee Member in Steering Committee
DLS 2020	Author of Sound, Heuristic Type Annotation Inference for Ruby within the DLS 2020-track
PLDI 2020	Committee Member in Steering Committee
SOAP 2020	Committee Member in Program Committee within the SOAP 2020-track
POPL 2020	Committee Member in Program Committee within the Research Papers-track
SPLASH 2019	Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA Artifacts-track Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track
PLDI 2019	Session Chair of Type Systems II (part of PLDI Research Papers) 2018 General Chair in Steering Committee Author of Type-Level Computations for Ruby Libraries within the PLDI Research Papers-track
HILT 2018	Author of Who decides what is allowed? User Interactions and Permissions Use on Android within the HILT 2018-track
PLDI 2018	Session Chair of Welcome (part of PLDI Invited Speakers) General Chair in Organizing Committee
VMCAI 2018	Session Chair of Verification (part of VMCAI 2018) Author of Refinement Types for Ruby within the VMCAI 2018-track
MAPL 2017	Author of Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools within the MAPL 2017-track
PLDI 2017	Committee Member in Program Committee
SPLASH 2016	ERC member in External Program Committee within the OOPSLA-track
STOP 2016	Invited Speaker of Types for Ruby within the STOP-track
PLDI 2016	Author of Just-in-Time Static Type Checking for Dynamic Languages within the Research Papers-track
POPL 2016	ERC member in External Reviewing Committee within the Research Papers-track ERC member in External Reviewing Committee
SPLASH 2015	Author of Incremental Computation with Names within the OOPSLA-track Author of Incremental Computation with Names within the OOPSLA Artifacts-track
SOAP 2015	Committee Member in Program Committee within the SOAP-track
DLS	Presenter of Contracts for Domain-Specific Languages in Ruby within the DLS-track
SPLASH 2012	Committee Member in Program Committee Committee Member in Program Committee within the OOPSLA Research Papers-track Author of Kitsune: efficient, general-purpose dynamic software updating for C within the OOPSLA Research Papers-track