Jeffrey S. Foster

ORCID

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 45

Top Venues

CoRR

PLDI

Proc. ACM Program. Lang.

DLS

Publications

Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn
Absynthe: Abstract Interpretation-Guided Synthesis. CoRR (2023)
Sai S. Yerramreddy, Austin Mordahl, Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter
An empirical assessment of machine learning approaches for triaging reports of static analysis tools. Empir. Softw. Eng. 28 (2) (2023)
Michael Coblenz, Wentao Guo, Kamatchi Voozhian, Jeffrey S. Foster
A Qualitative Study of REST API Design and Specification Practices. VL/HCC (2023)
Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn
Absynthe: Abstract Interpretation-Guided Synthesis. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip
A Toolkit for Automated Testing of Dafny. NFM (2023)
Milod Kazerounian, Jeffrey S. Foster, Bonan Min
SimTyper: sound type inference for Ruby using type equality prediction. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn
RbSyn: Type- and Effect-Guided Program Synthesis. CoRR (2021)
Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn
RbSyn: type- and effect-guided program synthesis. PLDI (2021)
Ugur Koc, Austin Mordahl, Shiyi Wei, Jeffrey S. Foster, Adam A. Porter
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools. ASE (2021)
Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama
Program Sketching by Automatically Generating Mocks from Tests. CAV (1) (2021)
Milod Kazerounian, Brianna M. Ren, Jeffrey S. Foster
Sound, heuristic type annotation inference for Ruby. DLS (2020)
Candice Schumann, Jeffrey S. Foster, Nicholas Mattei, John P. Dickerson
We Need Fairness and Explainability in Algorithmic Hiring. AAMAS (2020)
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Jeffrey S. Foster, Michelle L. Mazurek
An Observational Investigation of Reverse Engineers' Processes. USENIX Security Symposium (2020)
Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter
An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool. ICST (2019)
ThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, Adam A. Porter
iGen: Dynamic Interaction Inference for Configurable Software. CoRR (2019)
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Jeffrey S. Foster, Michelle L. Mazurek
An Observational Investigation of Reverse Engineers' Processes. CoRR (2019)
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn
Type-Level Computations for Ruby Libraries. CoRR (2019)
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn
Type-level computations for Ruby libraries. PLDI (2019)
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
Program synthesis with algebraic library specifications. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Jeffrey S. Foster, Michelle L. Mazurek
An Observational Investigation of Reverse Engineers' Process and Mental Models. CHI Extended Abstracts (2019)
Candice Schumann, Samsara N. Counts, Jeffrey S. Foster, John P. Dickerson
The Diverse Cohort Selection Problem. AAMAS (2019)
Candice Schumann, Zhi Lang, Jeffrey S. Foster, John P. Dickerson
Making the Cut: A Bandit-based Approach to Tiered Interviewing. CoRR (2019)
Candice Schumann, Zhi Lang, Jeffrey S. Foster, John P. Dickerson
Making the Cut: A Bandit-based Approach to Tiered Interviewing. NeurIPS (2019)
Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak
Refinement Types for Ruby. VMCAI (2018)
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
Evaluating Design Tradeoffs in Numeric Static Analysis for Java. ESOP (2018)
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
Evaluating Design Tradeoffs in Numeric Static Analysis for Java. CoRR (2018)
Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Thomas Gilray, Michelle L. Mazurek, Jeffrey S. Foster
User Comfort with Android Background Resource Accesses in Different Contexts. SOUPS @ USENIX Security Symposium (2018)
Ugur Koc, Parsa Saadatpanah, Jeffrey S. Foster, Adam A. Porter
Learning a classifier for false positive error reports emitted by static code analysis tools. MAPL@PLDI (2017)
Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak
Refinement Types for Ruby. CoRR (2017)
Kristopher K. Micinski, Daniel Votipka, Rock Stevens, Nikolaos Kofinas, Michelle L. Mazurek, Jeffrey S. Foster
User Interactions and Permission Use on Android. CHI (2017)
Candice Schumann, Samsara N. Counts, Jeffrey S. Foster, John P. Dickerson
The Diverse Cohort Selection Problem: Multi-Armed Bandits with Varied Pulls. CoRR (2017)
Jeffrey S. Foster
Technical Perspective: Shedding new light on an old language debate. Commun. ACM 60 (10) (2017)
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster
An empirical study of adaptive concretization for parallel program synthesis. Formal Methods Syst. Des. 50 (1) (2017)
Brianna M. Ren, Jeffrey S. Foster
Just-in-Time Static Type Checking for Dynamic Languages. CoRR (2016)
ThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, Adam A. Porter
iGen: dynamic interaction inference for configurable software. SIGSOFT FSE (2016)
Brianna M. Ren, Jeffrey S. Foster
Just-in-time static type checking for dynamic languages. PLDI (2016)
Karla Saur, Michael W. Hicks, Jeffrey S. Foster
C-strider: type-aware heap traversal for C. Softw. Pract. Exp. 46 (6) (2016)
Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama
Synthesizing framework models for symbolic execution. ICSE (2016)
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn
Incremental computation with names. OOPSLA (2015)
Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. CoRR (2015)
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, David Van Horn
Incremental Computation with Names. CoRR (2015)
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster
Adaptive Concretization for Parallel Program Synthesis. CAV (2) (2015)
Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
JSKETCH: Sketching for Java. CoRR (2015)
Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. ESORICS (2) (2015)
Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
JSketch: sketching for Java. ESEC/SIGSOFT FSE (2015)
Christopher M. Hayden, Karla Saur, Edward K. Smith, Michael W. Hicks, Jeffrey S. Foster
Kitsune: Efficient, General-Purpose Dynamic Software Updating for C. ACM Trans. Program. Lang. Syst. 36 (4) (2014)
Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster
Adapton: composable, demand-driven incremental computation. PLDI (2014)
T. Stephen Strickland, Brianna M. Ren, Jeffrey S. Foster
Contracts for domain-specific languages in Ruby. DLS (2014)
Charles Song, Adam A. Porter, Jeffrey S. Foster
iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees. IEEE Trans. Software Eng. 40 (3) (2014)
Brianna M. Ren, John Toman, T. Stephen Strickland, Jeffrey S. Foster
The ruby type checker. SAC (2013)
Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks
Expositor: scriptable time-travel debugging with first-class traces. ICSE (2013)
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
Template-based program verification and program synthesis. Int. J. Softw. Tools Technol. Transf. 15 (5-6) (2013)
Charles Song, Adam A. Porter, Jeffrey S. Foster
iTree: Efficiently discovering high-coverage configurations using interaction trees. ICSE (2012)
Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster
Specifying and Verifying the Correctness of Dynamic Software Updates. VSTTE (2012)
Christopher M. Hayden, Karla Saur, Michael Hicks, Jeffrey S. Foster
A study of dynamic software update quiescence for multithreaded programs. HotSWUp (2012)
Edward K. Smith, Michael Hicks, Jeffrey S. Foster
Towards standardized benchmarks for Dynamic Software Updating systems. HotSWUp (2012)
Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster
Kitsune: efficient, general-purpose dynamic software updating for C. OOPSLA (2012)
Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster
Evaluating Dynamic Software Update Safety Using Systematic Testing. IEEE Trans. Software Eng. 38 (6) (2012)
Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, Todd D. Millstein
Dr. Android and Mr. Hide: fine-grained permissions in android applications. SPSM@CCS (2012)
Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks
Directed Symbolic Execution. SAS (2011)
Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
Path-based inductive synthesis for program inversion. PLDI (2011)
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst. 33 (1) (2011)
Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster
State transfer for clear and efficient runtime updates. ICDE Workshops (2011)
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks
Dynamic inference of static types for ruby. POPL (2011)
Avik Chaudhuri, Jeffrey S. Foster
Symbolic security analysis of ruby-on-rails web applications. CCS (2010)
Jeffrey A. Meister, Jeffrey S. Foster, Michael Hicks
Serializing C intermediate representations for efficient and portable parsing. Softw. Pract. Exp. 40 (3) (2010)
Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, Adam A. Porter
Using symbolic evaluation to understand behavior in configurable software systems. ICSE (1) (2010)
Michael W. Hicks, Jeffrey S. Foster
SCORE: agile research group management. Commun. ACM 53 (10) (2010)
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster
Mixing type checking and symbolic execution. PLDI (2010)
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
From program verification to program synthesis. POPL (2010)
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
VS3: SMT Solvers for Program Verification. CAV (2009)
Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeffrey S. Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic
An overview of the Oregon programming languages summer school. ACM SIGPLAN Notices 44 (11) (2009)
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster
Static Typing for Ruby on Rails. ASE (2009)
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster
Profile-guided static typing for dynamic scripting languages. OOPSLA (2009)
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks
Static type inference for Ruby. SAC (2009)
Christopher M. Hayden, Eric A. Hardisty, Michael W. Hicks, Jeffrey S. Foster
Efficient Systematic Testing for Dynamically Updatable Software. HotSWUp (2009)
Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, Vibha Sazawal
Directing JavaScript with arrows. DLS (2009)
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks
The ruby intermediate language. DLS (2009)
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks
Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution. STOP@ECOOP (2009)
Michael Furr, Jeffrey S. Foster
Checking type safety of foreign function calls. ACM Trans. Program. Lang. Syst. 30 (4) (2008)
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu
Formalizing Soundness of Contextual Effects. TPHOLs (2008)
Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal
Path projection for user-centered static analysis tools. PASTE (2008)
Octavian Udrea, Cristian Lumezanu, Jeffrey S. Foster
Rule-based static analysis of network protocol implementations. Inf. Comput. 206 (2-4) (2008)
Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins
Modular Information Hiding and Type-Safe Linking for C. IEEE Trans. Software Eng. 34 (3) (2008)
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis
Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. POPL (2008)
Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster
Modular information hiding and type-safe linking for C. TLDI (2007)
Jeffrey S. Foster, Michael W. Hicks, William Pugh
Improving software quality with static analysis. PASTE (2007)
Kin-Keung Ma, Jeffrey S. Foster
Inferring aliasing and encapsulation properties for java. OOPSLA (2007)
David Greenfieldboyce, Jeffrey S. Foster
Type qualifier inference for java. OOPSLA (2007)
Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks
LOCKSMITH: context-sensitive correlation analysis for race detection. PLDI (2006)
Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken
Flow-insensitive type qualifiers. ACM Trans. Program. Lang. Syst. 28 (6) (2006)
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
Existential Label Flow Inference Via CFL Reachability. SAS (2006)
Michael Furr, Jeffrey S. Foster
Polymorphic Type Inference for the JNI. ESOP (2006)
Iulian Neamtiu, Jeffrey S. Foster, Michael Hicks
Understanding source code evolution using abstract syntax tree matching. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks
Understanding source code evolution using abstract syntax tree matching. MSR (2005)
Michael Furr, Jeffrey S. Foster
Checking type safety of foreign function calls. PLDI (2005)
Nick Rutar, Christian B. Almazan, Jeffrey S. Foster
A Comparison of Bug Finding Tools for Java. ISSRE (2004)
David Greenfieldboyce, Jeffrey S. Foster
Visualizing type qualifier inference with Eclipse. eTX (2004)
Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi
Checking and inferring local non-aliasing. PLDI (2003)
Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken
Flow-Sensitive Type Qualifiers. PLDI (2002)

Jeffrey S. Foster.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jeffrey S. Foster