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

ICFP 2022	Tufts University in Steering Committee
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
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
SPLASH 2022	Committee Member in Steering Committee
SOAP 2020	Committee Member in Program Committee within the SOAP 2020-track
ICFP 2021	Committee Member in Steering Committee
PLDI 2020	Committee Member in Steering Committee
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
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 2018	Session Chair of Welcome (part of PLDI Invited Speakers) General Chair in Organizing Committee
STOP 2016	Invited Speaker of Types for Ruby within the STOP-track
PLDI 2017	Committee Member in Program Committee
PLDI 2016	Author of Just-in-Time Static Type Checking for Dynamic Languages within the Research Papers-track
SPLASH 2016	ERC member in External Program Committee within the OOPSLA-track
POPL 2016	ERC member in External Reviewing Committee within the Research Papers-track ERC member in External Reviewing Committee
SOAP 2015	Committee Member in Program Committee within the SOAP-track
SPLASH 2015	Author of Incremental Computation with Names within the OOPSLA-track Author of Incremental Computation with Names within the OOPSLA Artifacts-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