Jeffrey S. Foster

According to our database, Jeffrey S. Foster authored at least 91 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., March, 2023

Absynthe: Abstract Interpretation-Guided Synthesis.

Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn

Proc. ACM Program. Lang., 2023

A Qualitative Study of REST API Design and Specification Practices.

Michael Coblenz, Wentao Guo, Kamatchi Voozhian, Jeffrey S. Foster

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

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 Wagner, Cassidy Waldrip

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2021

SimTyper: sound type inference for Ruby using type equality prediction.

Milod Kazerounian, Jeffrey S. Foster, Bonan Min

Proc. ACM Program. Lang., 2021

RbSyn: type- and effect-guided program synthesis.

Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 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

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Program Sketching by Automatically Generating Mocks from Tests.

Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

An Observational Investigation of Reverse Engineers' Processes.

Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Jeffrey S. Foster, Michelle L. Mazurek

Proceedings of the 29th USENIX Security Symposium, 2020

Sound, heuristic type annotation inference for Ruby.

Milod Kazerounian, Brianna M. Ren, Jeffrey S. Foster

Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020

We Need Fairness and Explainability in Algorithmic Hiring.

Candice Schumann, Jeffrey S. Foster, Nicholas Mattei, John P. Dickerson

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

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

Type-level computations for Ruby libraries.

Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Making the Cut: A Bandit-based Approach to Tiered Interviewing.

Candice Schumann, Zhi Lang, Jeffrey S. Foster, John P. Dickerson

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 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

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 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

Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

The Diverse Cohort Selection Problem.

Candice Schumann, Samsara N. Counts, Jeffrey S. Foster, John P. Dickerson

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Refinement Types for Ruby.

Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 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

Proceedings of the Fourteenth Symposium on Usable Privacy and Security, 2018

Evaluating Design Tradeoffs in Numeric Static Analysis for Java.

Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks

Proceedings of the Programming Languages and Systems, 2018

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

The Diverse Cohort Selection Problem: Multi-Armed Bandits with Varied Pulls.

Candice Schumann, Samsara N. Counts, Jeffrey S. Foster, John P. Dickerson

CoRR, 2017

Technical Perspective: Shedding new light on an old language debate.

Jeffrey S. Foster

Commun. ACM, 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

Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

User Interactions and Permission Use on Android.

Kristopher K. Micinski, Daniel Votipka, Rock Stevens, Nikolaos Kofinas, Michelle L. Mazurek, Jeffrey S. Foster

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2016

C-strider: type-aware heap traversal for C.

Karla Saur, Michael W. Hicks, Jeffrey S. Foster

Softw. Pract. Exp., 2016

iGen: dynamic interaction inference for configurable software.

ThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, Adam A. Porter

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Just-in-time static type checking for dynamic languages.

Brianna M. Ren, Jeffrey S. Foster

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Synthesizing framework models for symbolic execution.

Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

JSketch: sketching for Java.

Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Incremental computation with names.

Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 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

Proceedings of the Computer Security - ESORICS 2015, 2015

Adaptive Concretization for Parallel Program Synthesis.

Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees.

Charles Song, Adam A. Porter, Jeffrey S. Foster

IEEE Trans. Software Eng., 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

Adapton: composable, demand-driven incremental computation.

Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Contracts for domain-specific languages in Ruby.

T. Stephen Strickland, Brianna M. Ren, Jeffrey S. Foster

Proceedings of the DLS'14, 2014

2013

Template-based program verification and program synthesis.

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster

Int. J. Softw. Tools Technol. Transf., 2013

The ruby type checker.

Brianna M. Ren, John Toman, T. Stephen Strickland, Jeffrey S. Foster

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Expositor: scriptable time-travel debugging with first-class traces.

Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Evaluating Dynamic Software Update Safety Using Systematic Testing.

Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster

IEEE Trans. Software Eng., 2012

Specifying and Verifying the Correctness of Dynamic Software Updates.

Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Kitsune: efficient, general-purpose dynamic software updating for C.

Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Towards standardized benchmarks for Dynamic Software Updating systems.

Edward K. Smith, Michael Hicks, Jeffrey S. Foster

Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

A study of dynamic software update quiescence for multithreaded programs.

Christopher M. Hayden, Karla Saur, Michael Hicks, Jeffrey S. Foster

Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

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

Proceedings of the SPSM'12, 2012

2011

LOCKSMITH: Practical static race detection for C.

Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks

ACM Trans. Program. Lang. Syst., 2011

Directed Symbolic Execution.

Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks

Proceedings of the Static Analysis - 18th International Symposium, 2011

Dynamic inference of static types for ruby.

Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Path-based inductive synthesis for program inversion.

Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

State transfer for clear and efficient runtime updates.

Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

2010

Serializing C intermediate representations for efficient and portable parsing.

Jeffrey A. Meister, Jeffrey S. Foster, Michael Hicks

Softw. Pract. Exp., 2010

SCORE: agile research group management.

Michael W. Hicks, Jeffrey S. Foster

Commun. ACM, 2010

From program verification to program synthesis.

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Mixing type checking and symbolic execution.

Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Using symbolic evaluation to understand behavior in configurable software systems.

Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, Adam A. Porter

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Symbolic security analysis of ruby-on-rails web applications.

Avik Chaudhuri, Jeffrey S. Foster

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

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, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic

ACM SIGPLAN Notices, 2009

Static type inference for Ruby.

Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Profile-guided static typing for dynamic scripting languages.

Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Static Typing for Ruby on Rails.

Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster

Proceedings of the ASE 2009, 2009

Efficient Systematic Testing for Dynamically Updatable Software.

Christopher M. Hayden, Eric A. Hardisty, Michael W. Hicks, Jeffrey S. Foster

Proceedings of the 2nd ACM Workshop on Hot Topics in Software Upgrades, 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

Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

Directing JavaScript with arrows.

Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, Vibha Sazawal

Proceedings of the 5th Symposium on Dynamic Languages, 2009

The ruby intermediate language.

Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks

Proceedings of the 5th Symposium on Dynamic Languages, 2009

VS3: SMT Solvers for Program Verification.

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Modular Information Hiding and Type-Safe Linking for C.

Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins

IEEE Trans. Software Eng., 2008

Checking type safety of foreign function calls.

Michael Furr, Jeffrey S. Foster

ACM Trans. Program. Lang. Syst., 2008

Rule-based static analysis of network protocol implementations.

Octavian Udrea, Cristian Lumezanu, Jeffrey S. Foster

Inf. Comput., 2008

Formalizing Soundness of Contextual Effects.

Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming.

Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Path projection for user-centered static analysis tools.

Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

2007

Modular information hiding and type-safe linking for C.

Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster

Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

Improving software quality with static analysis.

Jeffrey S. Foster, Michael W. Hicks, William W. Pugh

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Inferring aliasing and encapsulation properties for java.

Kin-Keung Ma, Jeffrey S. Foster

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Type qualifier inference for java.

David Greenfieldboyce, Jeffrey S. Foster

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

Flow-insensitive type qualifiers.

Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken

ACM Trans. Program. Lang. Syst., 2006

Existential Label Flow Inference Via CFL Reachability.

Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks

Proceedings of the Static Analysis, 13th International Symposium, 2006

LOCKSMITH: context-sensitive correlation analysis for race detection.

Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Polymorphic Type Inference for the JNI.

Michael Furr, Jeffrey S. Foster

Proceedings of the Programming Languages and Systems, 2006

2005

Understanding source code evolution using abstract syntax tree matching.

Iulian Neamtiu, Jeffrey S. Foster, Michael Hicks

ACM SIGSOFT Softw. Eng. Notes, 2005

2004

A Comparison of Bug Finding Tools for Java.

Nick Rutar, Christian B. Almazan, Jeffrey S. Foster

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Visualizing type qualifier inference with Eclipse.

David Greenfieldboyce, Jeffrey S. Foster

Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, 2004

2003

Checking and inferring local non-aliasing.

Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

2002

Flow-Sensitive Type Qualifiers.

Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2001

Detecting Format String Vulnerabilities with Type Qualifiers.

Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David A. Wagner

Proceedings of the 10th USENIX Security Symposium, 2001

2000

Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C.

Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken

Proceedings of the Static Analysis, 7th International Symposium, 2000

A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.

David A. Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken

Proceedings of the Network and Distributed System Security Symposium, 2000

1999

A Theory of Type Qualifiers.

Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

1998

A Toolkit for Constructing Type- and Constraint-Based Program Analyses.

Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su

Proceedings of the Types in Compilation, Second International Workshop, 1998

Partial Online Cycle Elimination in Inclusion Constraint Graphs.

Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998