Partial Online Cycle Elimination in Inclusion Constraint Graphs. - Manuel Fähndrich; Jeffrey S. Foster; Zhendong Su 001; Alexander Aiken (PLDI, 1998)

A Toolkit for Constructing Type- and Constraint-Based Program Analyses. - Alexander Aiken; Manuel Fähndrich; Jeffrey S. Foster; Zhendong Su 001 (Types in Compilation, 1998)

A Theory of Type Qualifiers. - Jeffrey S. Foster; Manuel Fähndrich; Alexander Aiken (PLDI, 1999)

A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. - David A. Wagner 001; Jeffrey S. Foster; Eric A. Brewer; Alexander Aiken (NDSS, 2000)

Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. - Jeffrey S. Foster; Manuel Fähndrich; Alexander Aiken (SAS, 2000)

Detecting Format String Vulnerabilities with Type Qualifiers. - Umesh Shankar; Kunal Talwar; Jeffrey S. Foster; David A. Wagner 001 (USENIX Security Symposium, 2001)

Flow-Sensitive Type Qualifiers. - Jeffrey S. Foster; Tachio Terauchi; Alex Aiken (PLDI, 2002)

Checking and inferring local non-aliasing. - Alex Aiken; Jeffrey S. Foster; John Kodumal; Tachio Terauchi (PLDI, 2003)

Visualizing type qualifier inference with Eclipse. - David Greenfieldboyce; Jeffrey S. Foster (eTX, 2004)

A Comparison of Bug Finding Tools for Java. - Nick Rutar; Christian B. Almazan; Jeffrey S. Foster (ISSRE, 2004)

Understanding source code evolution using abstract syntax tree matching. - Iulian Neamtiu; Jeffrey S. Foster; Michael Hicks 001 (ACM SIGSOFT Softw. Eng. Notes, 2005)

Polymorphic Type Inference for the JNI. - Michael Furr; Jeffrey S. Foster (ESOP, 2006)

LOCKSMITH: context-sensitive correlation analysis for race detection. - Polyvios Pratikakis; Jeffrey S. Foster; Michael W. Hicks (PLDI, 2006)

Existential Label Flow Inference Via CFL Reachability. - Polyvios Pratikakis; Jeffrey S. Foster; Michael Hicks 001 (SAS, 2006)

Flow-insensitive type qualifiers. - Jeffrey S. Foster; Robert Johnson; John Kodumal; Alex Aiken (ACM Trans. Program. Lang. Syst., 2006)

Type qualifier inference for java. - David Greenfieldboyce; Jeffrey S. Foster (OOPSLA, 2007)

Inferring aliasing and encapsulation properties for java. - Kin-Keung Ma; Jeffrey S. Foster (OOPSLA, 2007)

Improving software quality with static analysis. - Jeffrey S. Foster; Michael W. Hicks; William W. Pugh (PASTE, 2007)

Modular information hiding and type-safe linking for C. - Saurabh Srivastava 001; Michael Hicks 001; Jeffrey S. Foster (TLDI, 2007)

Path projection for user-centered static analysis tools. - Yit Phang Khoo; Jeffrey S. Foster; Michael Hicks 001; Vibha Sazawal (PASTE, 2008)

Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. - Iulian Neamtiu; Michael Hicks 001; Jeffrey S. Foster; Polyvios Pratikakis (POPL, 2008)

Formalizing Soundness of Contextual Effects. - Polyvios Pratikakis; Jeffrey S. Foster; Michael Hicks 001; Iulian Neamtiu (TPHOLs, 2008)

Rule-based static analysis of network protocol implementations. - Octavian Udrea; Cristian Lumezanu; Jeffrey S. Foster (Inf. Comput., 2008)

Checking type safety of foreign function calls. - Michael Furr; Jeffrey S. Foster (ACM Trans. Program. Lang. Syst., 2008)

Modular Information Hiding and Type-Safe Linking for C. - Saurabh Srivastava 001; Michael Hicks 001; Jeffrey S. Foster; Patrick Jenkins (IEEE Trans. Software Eng., 2008)

VS3: SMT Solvers for Program Verification. - Saurabh Srivastava 001; Sumit Gulwani; Jeffrey S. Foster (CAV, 2009)

The ruby intermediate language. - Michael Furr; Jong-hoon (David) An; Jeffrey S. Foster; Michael Hicks 001 (DLS, 2009)

Directing JavaScript with arrows. - Yit Phang Khoo; Michael Hicks 001; Jeffrey S. Foster; Vibha Sazawal (DLS, 2009)

Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution. - Michael Furr; Jong-hoon (David) An; Jeffrey S. Foster; Michael Hicks 001 (STOP@ECOOP, 2009)

Efficient Systematic Testing for Dynamically Updatable Software. - Christopher M. Hayden; Eric A. Hardisty; Michael W. Hicks; Jeffrey S. Foster (HotSWUp, 2009)

Static Typing for Ruby on Rails. - Jong-hoon (David) An; Avik Chaudhuri; Jeffrey S. Foster (ASE, 2009)

Profile-guided static typing for dynamic scripting languages. - Michael Furr; Jong-hoon (David) An; Jeffrey S. Foster (OOPSLA, 2009)

Static type inference for Ruby. - Michael Furr; Jong-hoon (David) An; Jeffrey S. Foster; Michael W. Hicks (SAC, 2009)

An overview of the Oregon programming languages summer school. - Jim Allen; Zena M. Ariola; Pierre-Louis Curien; Matthew Fluet; Jeffrey S. Foster; Dan Grossman; Robert Harper 001; Hugo Herbelin; Yannis Smaragdakis; David Walker 001; Steve Zdancewic (ACM SIGPLAN Notices, 2009)

Symbolic security analysis of ruby-on-rails web applications. - Avik Chaudhuri; Jeffrey S. Foster (CCS, 2010)

Using symbolic evaluation to understand behavior in configurable software systems. - Elnatan Reisner; Charles Song; Kin-Keung Ma; Jeffrey S. Foster; Adam A. Porter (ICSE (1), 2010)

Mixing type checking and symbolic execution. - Yit Phang Khoo; Bor-Yuh Evan Chang; Jeffrey S. Foster (PLDI, 2010)

From program verification to program synthesis. - Saurabh Srivastava 001; Sumit Gulwani; Jeffrey S. Foster (POPL, 2010)

SCORE: agile research group management. - Michael W. Hicks; Jeffrey S. Foster (Commun. ACM, 2010)

Serializing C intermediate representations for efficient and portable parsing. - Jeffrey A. Meister; Jeffrey S. Foster; Michael Hicks 001 (Softw. Pract. Exp., 2010)

State transfer for clear and efficient runtime updates. - Christopher M. Hayden; Edward K. Smith; Michael Hicks 001; Jeffrey S. Foster (ICDE Workshops, 2011)

Path-based inductive synthesis for program inversion. - Saurabh Srivastava 001; Sumit Gulwani; Swarat Chaudhuri; Jeffrey S. Foster (PLDI, 2011)

Dynamic inference of static types for ruby. - Jong-hoon (David) An; Avik Chaudhuri; Jeffrey S. Foster; Michael Hicks 001 (POPL, 2011)

Directed Symbolic Execution. - Kin-Keung Ma; Yit Phang Khoo; Jeffrey S. Foster; Michael Hicks 001 (SAS, 2011)

LOCKSMITH: Practical static race detection for C. - Polyvios Pratikakis; Jeffrey S. Foster; Michael Hicks 001 (ACM Trans. Program. Lang. Syst., 2011)

Dr. Android and Mr. Hide: fine-grained permissions in android applications. - Jinseong Jeon; Kristopher K. Micinski; Jeffrey A. Vaughan; Ari Fogel; Nikhilesh Reddy; Jeffrey S. Foster; Todd D. Millstein (SPSM@CCS, 2012)

A study of dynamic software update quiescence for multithreaded programs. - Christopher M. Hayden; Karla Saur; Michael Hicks 001; Jeffrey S. Foster (HotSWUp, 2012)

Towards standardized benchmarks for Dynamic Software Updating systems. - Edward K. Smith; Michael Hicks 001; Jeffrey S. Foster (HotSWUp, 2012)

Kitsune: efficient, general-purpose dynamic software updating for C. - Christopher M. Hayden; Edward K. Smith; Michail Denchev; Michael Hicks 001; Jeffrey S. Foster (OOPSLA, 2012)

Specifying and Verifying the Correctness of Dynamic Software Updates. - Christopher M. Hayden; Stephen Magill; Michael Hicks 001; Nate Foster; Jeffrey S. Foster (VSTTE, 2012)

Evaluating Dynamic Software Update Safety Using Systematic Testing. - Christopher M. Hayden; Edward K. Smith; Eric A. Hardisty; Michael Hicks 001; Jeffrey S. Foster (IEEE Trans. Software Eng., 2012)

Expositor: scriptable time-travel debugging with first-class traces. - Yit Phang Khoo; Jeffrey S. Foster; Michael Hicks 001 (ICSE, 2013)

The ruby type checker. - Brianna M. Ren; John Toman; T. Stephen Strickland; Jeffrey S. Foster (SAC, 2013)

Template-based program verification and program synthesis. - Saurabh Srivastava 001; Sumit Gulwani; Jeffrey S. Foster (Int. J. Softw. Tools Technol. Transf., 2013)

Contracts for domain-specific languages in Ruby. - T. Stephen Strickland; Brianna M. Ren; Jeffrey S. Foster (DLS, 2014)

Adapton: composable, demand-driven incremental computation. - Matthew A. Hammer; Yit Phang Khoo; Michael Hicks 001; Jeffrey S. Foster (PLDI, 2014)

Kitsune: Efficient, General-Purpose Dynamic Software Updating for C. - Christopher M. Hayden; Karla Saur; Edward K. Smith; Michael W. Hicks; Jeffrey S. Foster (ACM Trans. Program. Lang. Syst., 2014)

iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees. - Charles Song; Adam A. Porter; Jeffrey S. Foster (IEEE Trans. Software Eng., 2014)

Adaptive Concretization for Parallel Program Synthesis. - Jinseong Jeon; Xiaokang Qiu; Armando Solar-Lezama; Jeffrey S. Foster (CAV (2), 2015)

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. - Kristopher K. Micinski; Jonathan Fetter-Degges; Jinseong Jeon; Jeffrey S. Foster; Michael R. Clarkson (ESORICS (2), 2015)

Incremental computation with names. - Matthew A. Hammer; Jana Dunfield; Kyle Headley; Nicholas Labich; Jeffrey S. Foster; Michael W. Hicks; David Van Horn (OOPSLA, 2015)

JSketch: sketching for Java. - Jinseong Jeon; Xiaokang Qiu; Jeffrey S. Foster; Armando Solar-Lezama (ESEC/SIGSOFT FSE, 2015)

Synthesizing framework models for symbolic execution. - Jinseong Jeon; Xiaokang Qiu; Jonathan Fetter-Degges; Jeffrey S. Foster; Armando Solar-Lezama (ICSE, 2016)

Just-in-time static type checking for dynamic languages. - Brianna M. Ren; Jeffrey S. Foster (PLDI, 2016)

iGen: dynamic interaction inference for configurable software. - ThanhVu Nguyen; Ugur Koc; Javran Cheng; Jeffrey S. Foster; Adam A. Porter (SIGSOFT FSE, 2016)

C-strider: type-aware heap traversal for C. - Karla Saur; Michael W. Hicks; Jeffrey S. Foster (Softw. Pract. Exp., 2016)

User Interactions and Permission Use on Android. - Kristopher K. Micinski; Daniel Votipka; Rock Stevens; Nikolaos Kofinas; Michelle L. Mazurek; Jeffrey S. Foster (CHI, 2017)

Learning a classifier for false positive error reports emitted by static code analysis tools. - Ugur Koc; Parsa Saadatpanah; Jeffrey S. Foster; Adam A. Porter (MAPL@PLDI, 2017)

Technical Perspective: Shedding new light on an old language debate. - Jeffrey S. Foster (Commun. ACM, 2017)

The Diverse Cohort Selection Problem: Multi-Armed Bandits with Varied Pulls. - Candice Schumann; Samsara N. Counts; Jeffrey S. Foster; John P. Dickerson (CoRR, 2017)

An empirical study of adaptive concretization for parallel program synthesis. - Jinseong Jeon; Xiaokang Qiu; Armando Solar-Lezama; Jeffrey S. Foster (Formal Methods Syst. Des., 2017)

Evaluating Design Tradeoffs in Numeric Static Analysis for Java. - Shiyi Wei; Piotr Mardziel; Andrew Ruef; Jeffrey S. Foster; Michael Hicks 001 (ESOP, 2018)

User Comfort with Android Background Resource Accesses in Different Contexts. - Daniel Votipka; Seth M. Rabin; Kristopher K. Micinski; Thomas Gilray; Michelle L. Mazurek; Jeffrey S. Foster (SOUPS @ USENIX Security Symposium, 2018)

Refinement Types for Ruby. - Milod Kazerounian; Niki Vazou; Austin Bourgerie; Jeffrey S. Foster; Emina Torlak (VMCAI, 2018)

The Diverse Cohort Selection Problem. - Candice Schumann; Samsara N. Counts; Jeffrey S. Foster; John P. Dickerson (AAMAS, 2019)

An Observational Investigation of Reverse Engineers' Process and Mental Models. - Daniel Votipka; Seth M. Rabin; Kristopher K. Micinski; Jeffrey S. Foster; Michelle L. Mazurek (CHI Extended Abstracts, 2019)

An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool. - Ugur Koc; Shiyi Wei; Jeffrey S. Foster; Marine Carpuat; Adam A. Porter (ICST, 2019)

Making the Cut: A Bandit-based Approach to Tiered Interviewing. - Candice Schumann; Zhi Lang; Jeffrey S. Foster; John P. Dickerson (NeurIPS, 2019)

Type-level computations for Ruby libraries. - Milod Kazerounian; Sankha Narayan Guria; Niki Vazou; Jeffrey S. Foster; David Van Horn (PLDI, 2019)

Program synthesis with algebraic library specifications. - Benjamin Mariano; Josh Reese; Siyuan Xu; ThanhVu Nguyen; Xiaokang Qiu; Jeffrey S. Foster; Armando Solar-Lezama (Proc. ACM Program. Lang., 2019)

We Need Fairness and Explainability in Algorithmic Hiring. - Candice Schumann; Jeffrey S. Foster; Nicholas Mattei; John P. Dickerson (AAMAS, 2020)

Sound, heuristic type annotation inference for Ruby. - Milod Kazerounian; Brianna M. Ren; Jeffrey S. Foster (DLS, 2020)

An Observational Investigation of Reverse Engineers' Processes. - Daniel Votipka; Seth M. Rabin; Kristopher K. Micinski; Jeffrey S. Foster; Michelle L. Mazurek (USENIX Security Symposium, 2020)

Program Sketching by Automatically Generating Mocks from Tests. - Nate F. F. Bragg; Jeffrey S. Foster; Cody Roux; Armando Solar-Lezama (CAV (1), 2021)

SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools. - Ugur Koc; Austin Mordahl; Shiyi Wei; Jeffrey S. Foster; Adam A. Porter (ASE, 2021)

RbSyn: type- and effect-guided program synthesis. - Sankha Narayan Guria; Jeffrey S. Foster; David Van Horn (PLDI, 2021)

SimTyper: sound type inference for Ruby using type equality prediction. - Milod Kazerounian; Jeffrey S. Foster; Bonan Min (Proc. ACM Program. Lang., 2021)

A Toolkit for Automated Testing of Dafny. - Aleksandr Fedchin; Tyler Dean; Jeffrey S. Foster; Eric Mercer; Zvonimir Rakamaric; Giles Reger; Neha Rungta; Robin Salkeld; Lucas G. Wagner; Cassidy Waldrip (NFM, 2023)

A Qualitative Study of REST API Design and Specification Practices. - Michael Coblenz; Wentao Guo; Kamatchi Voozhian; Jeffrey S. Foster (VL/HCC, 2023)

Absynthe: Abstract Interpretation-Guided Synthesis. - Sankha Narayan Guria; Jeffrey S. Foster; David Van Horn (Proc. ACM Program. Lang., 2023)

An empirical assessment of machine learning approaches for triaging reports of static analysis tools. - Sai S. Yerramreddy; Austin Mordahl; Ugur Koc; Shiyi Wei; Jeffrey S. Foster; Marine Carpuat; Adam A. Porter (Empir. Softw. Eng., 2023)

Scimitar: Functional Programs as Optimization Problems. - Nate F. F. Bragg; Jeffrey S. Foster; Philip Zucker (Onward!, 2024)

Metamorph: Synthesizing Large Objects from Dafny Specifications. - Aleksandr Fedchin; Alexander Y. Bai; Jeffrey S. Foster (Proc. ACM Program. Lang., 2025)