Jeffrey S. Foster

Registered user since Tue 24 Nov 2015

Name:Jeffrey S. Foster
Country:United States
Affiliation:Tufts University

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