Jeffrey S. Foster
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
53
Venues
21
Active years
1998–2024
Best venue rank
A*
Where they publish
Papers
53 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | Onward | Scimitar: Functional Programs as Optimization Problems. | Nate F. F. Bragg, Jeffrey S. Foster, Philip Zucker |
| 2021 | CAV | Program Sketching by Automatically Generating Mocks from Tests. | Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama |
| 2021 | PLDI | RbSyn: type- and effect-guided program synthesis. | Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn |
| 2020 | DLS | Sound, heuristic type annotation inference for Ruby. | Milod Kazerounian, Brianna M. Ren, Jeffrey S. Foster |
| 2019 | CHI | An Observational Investigation of Reverse Engineers' Process and Mental Models. | Daniel Votipka, Seth M. Rabin, Kristopher K. Micinski, Jeffrey S. Foster, Michelle L. Mazurek |
| 2019 | ICST | 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 |
| 2019 | PLDI | Type-level computations for Ruby libraries. | Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn |
| 2018 | ESOP | Evaluating Design Tradeoffs in Numeric Static Analysis for Java. | Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks |
| 2018 | SOUPS | 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 |
| 2018 | VMCAI | Refinement Types for Ruby. | Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak |
| 2017 | CHI | User Interactions and Permission Use on Android. | Kristopher K. Micinski, Daniel Votipka, Rock Stevens, Nikolaos Kofinas, Michelle L. Mazurek, Jeffrey S. Foster |
| 2017 | PLDI | Learning a classifier for false positive error reports emitted by static code analysis tools. | Ugur Koc, Parsa Saadatpanah, Jeffrey S. Foster, Adam A. Porter |
| 2016 | ICSE | Synthesizing framework models for symbolic execution. | Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama |
| 2016 | PLDI | Just-in-time static type checking for dynamic languages. | Brianna M. Ren, Jeffrey S. Foster |
| 2015 | CAV | Adaptive Concretization for Parallel Program Synthesis. | Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster |
| 2015 | ESORICS | Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. | Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson |
| 2015 | OOPSLA | Incremental computation with names. | Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn |
| 2014 | DLS | Contracts for domain-specific languages in Ruby. | T. Stephen Strickland, Brianna M. Ren, Jeffrey S. Foster |
| 2014 | PLDI | Adapton: composable, demand-driven incremental computation. | Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster |
| 2013 | ICSE | Expositor: scriptable time-travel debugging with first-class traces. | Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks |
| 2013 | SAC | The ruby type checker. | Brianna M. Ren, John Toman, T. Stephen Strickland, Jeffrey S. Foster |
| 2012 | CCS | 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 |
| 2012 | ICSE | iTree: Efficiently discovering high-coverage configurations using interaction trees. | Charles Song, Adam A. Porter, Jeffrey S. Foster |
| 2012 | OOPSLA | Kitsune: efficient, general-purpose dynamic software updating for C. | Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster |
| 2011 | ICDE | State transfer for clear and efficient runtime updates. | Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster |
| 2011 | PLDI | Path-based inductive synthesis for program inversion. | Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster |
| 2011 | POPL | Dynamic inference of static types for ruby. | Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks |
| 2011 | SAS | Directed Symbolic Execution. | Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks |
| 2010 | CCS | Symbolic security analysis of ruby-on-rails web applications. | Avik Chaudhuri, Jeffrey S. Foster |
| 2010 | ICSE | Using symbolic evaluation to understand behavior in configurable software systems. | Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, Adam A. Porter |
| 2010 | PLDI | Mixing type checking and symbolic execution. | Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster |
| 2010 | POPL | From program verification to program synthesis. | Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster |
| 2009 | CAV | VS3: SMT Solvers for Program Verification. | Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster |
| 2009 | DLS | The ruby intermediate language. | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks |
| 2009 | DLS | Directing JavaScript with arrows. | Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, Vibha Sazawal |
| 2009 | ECOOP | 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 |
| 2009 | OOPSLA | Profile-guided static typing for dynamic scripting languages. | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster |
| 2009 | SAC | Static type inference for Ruby. | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks |
| 2008 | POPL | Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. | Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis |
| 2007 | OOPSLA | Type qualifier inference for java. | David Greenfieldboyce, Jeffrey S. Foster |
| 2007 | OOPSLA | Inferring aliasing and encapsulation properties for java. | Kin-Keung Ma, Jeffrey S. Foster |
| 2006 | ESOP | Polymorphic Type Inference for the JNI. | Michael Furr, Jeffrey S. Foster |
| 2006 | PLDI | LOCKSMITH: context-sensitive correlation analysis for race detection. | Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks |
| 2006 | SAS | Existential Label Flow Inference Via CFL Reachability. | Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks |
| 2005 | MSR | Understanding source code evolution using abstract syntax tree matching. | Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks |
| 2005 | PLDI | Checking type safety of foreign function calls. | Michael Furr, Jeffrey S. Foster |
| 2004 | ISSRE | A Comparison of Bug Finding Tools for Java. | Nick Rutar, Christian B. Almazan, Jeffrey S. Foster |
| 2003 | PLDI | Checking and inferring local non-aliasing. | Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi |
| 2002 | PLDI | Flow-Sensitive Type Qualifiers. | Jeffrey S. Foster, Tachio Terauchi, Alex Aiken |
| 2000 | NDSS | A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. | David A. Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken |
| 2000 | SAS | Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. | Jeffrey S. Foster, Manuel Fhndrich, Alexander Aiken |
| 1999 | PLDI | A Theory of Type Qualifiers. | Jeffrey S. Foster, Manuel Fhndrich, Alexander Aiken |
| 1998 | PLDI | Partial Online Cycle Elimination in Inclusion Constraint Graphs. | Manuel Fhndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken |