Jeffrey S. Foster

Identifiers

No identifiers captured yet.

Papers (8)

1. Type-Level Computations for Ruby Libraries cs.PL · 2019 · author #4
2. iGen: Dynamic Interaction Inference for Configurable Software cs.SE · 2019 · author #4
3. Evaluating Design Tradeoffs in Numeric Static Analysis for Java cs.PL · 2018 · author #4
4. Refinement Types for Ruby cs.PL · 2017 · author #4
5. The Diverse Cohort Selection Problem cs.LG · 2017 · author #3
6. Just-in-Time Static Type Checking for Dynamic Languages cs.PL · 2016 · author #2
7. JSKETCH: Sketching for Java cs.PL · 2015 · author #3
8. Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution cs.CR · 2015 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Jinseong Jeon 2 shared papers
• Milod Kazerounian 2 shared papers
• Niki Vazou 2 shared papers
• Adam A. Porter 1 shared papers
• Andrew Ruef 1 shared papers
• Armando Solar-Lezama 1 shared papers
• Austin Bourgerie 1 shared papers
• Brianna M. Ren 1 shared papers
• Candice Schumann 1 shared papers
• David Van Horn 1 shared papers
• Emina Torlak 1 shared papers
• Javran Cheng 1 shared papers
• John P. Dickerson 1 shared papers
• Jonathan Fetter-Degges 1 shared papers
• Kristopher Micinski 1 shared papers
• Michael Hicks 1 shared papers
• Michael R. Clarkson 1 shared papers
• Piotr Mardziel 1 shared papers
• Samsara N. Counts 1 shared papers
• Sankha Narayan Guria 1 shared papers