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

PLDI 2020Author in Steering Committee
POPL 2020Committee Member in Program Committee within the Research Papers-track
SPLASH 2019Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track
PLDI 2019Session 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 2018Author of Who decides what is allowed? User Interactions and Permissions Use on Android within the HILT 2018-track
VMCAI 2018Session Chair of Verification (part of VMCAI 2018)
Author of Refinement Types for Ruby within the VMCAI 2018-track
MAPL 2017Author of Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools within the MAPL 2017-track
PLDI 2018Session Chair of Welcome (part of PLDI Invited Speakers)
General Chair in Organizing Committee
STOP 2016Invited speaker of Types for Ruby within the STOP-track
PLDI 2017Committee Member in Program Committee
PLDI 2016Author of Just-in-Time Static Type Checking for Dynamic Languages within the Research Papers-track
SPLASH 2016ERC member in External Program Committee within the OOPSLA-track
POPL 2016ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
SOAP 2015Committee Member in Program Committee within the SOAP-track
SPLASH 2015Author of Incremental Computation with Names within the OOPSLA-track
Author of Incremental Computation with Names within the OOPSLA Artifacts-track
DLSPresenter of Contracts for Domain-Specific Languages in Ruby within the DLS-track
SPLASH 2012Committee 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