Jeffrey S. Foster

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