The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jeffrey S. Foster: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Furr, Jeffrey S. Foster
    Polymorphic Type Inference for the JNI. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:309-324 [Conf]
  2. Nick Rutar, Christian B. Almazan, Jeffrey S. Foster
    A Comparison of Bug Finding Tools for Java. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2004, pp:245-256 [Conf]
  3. Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks
    Understanding source code evolution using abstract syntax tree matching. [Citation Graph (0, 0)][DBLP]
    MSR, 2005, pp:- [Conf]
  4. David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken
    A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. [Citation Graph (0, 0)][DBLP]
    NDSS, 2000, pp:- [Conf]
  5. Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi
    Checking and inferring local non-aliasing. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:129-140 [Conf]
  6. Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken
    Partial Online Cycle Elimination in Inclusion Constraint Graphs. [Citation Graph (0, 0)][DBLP]
    PLDI, 1998, pp:85-96 [Conf]
  7. Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
    A Theory of Type Qualifiers. [Citation Graph (0, 0)][DBLP]
    PLDI, 1999, pp:192-203 [Conf]
  8. Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken
    Flow-Sensitive Type Qualifiers. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:1-12 [Conf]
  9. Michael Furr, Jeffrey S. Foster
    Checking type safety of foreign function calls. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:62-72 [Conf]
  10. Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks
    LOCKSMITH: context-sensitive correlation analysis for race detection. [Citation Graph (0, 0)][DBLP]
    PLDI, 2006, pp:320-331 [Conf]
  11. Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
    Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:175-198 [Conf]
  12. Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
    Existential Label Flow Inference Via CFL Reachability. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:88-106 [Conf]
  13. Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
    A Toolkit for Constructing Type- and Constraint-Based Program Analyses. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:78-96 [Conf]
  14. Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster
    Modular information hiding and type-safe linking for C. [Citation Graph (0, 0)][DBLP]
    TLDI, 2007, pp:3-14 [Conf]
  15. Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken
    Flow-insensitive type qualifiers. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2006, v:28, n:6, pp:1035-1087 [Journal]
  16. Kin-Keung Ma, Jeffrey S. Foster
    Inferring aliasing and encapsulation properties for java. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:423-440 [Conf]
  17. David Greenfieldboyce, Jeffrey S. Foster
    Type qualifier inference for java. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:321-336 [Conf]
  18. Jeffrey S. Foster, Michael W. Hicks, William Pugh
    Improving software quality with static analysis. [Citation Graph (0, 0)][DBLP]
    PASTE, 2007, pp:83-84 [Conf]

  19. VS3: SMT Solvers for Program Verification. [Citation Graph (, )][DBLP]


  20. Using symbolic evaluation to understand behavior in configurable software systems. [Citation Graph (, )][DBLP]


  21. Static Typing for Ruby on Rails. [Citation Graph (, )][DBLP]


  22. Profile-guided static typing for dynamic scripting languages. [Citation Graph (, )][DBLP]


  23. Path projection for user-centered static analysis tools. [Citation Graph (, )][DBLP]


  24. Mixing type checking and symbolic execution. [Citation Graph (, )][DBLP]


  25. Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. [Citation Graph (, )][DBLP]


  26. From program verification to program synthesis. [Citation Graph (, )][DBLP]


  27. Static type inference for Ruby. [Citation Graph (, )][DBLP]


  28. Formalizing Soundness of Contextual Effects. [Citation Graph (, )][DBLP]


  29. Visualizing type qualifier inference with Eclipse. [Citation Graph (, )][DBLP]


  30. Efficient Systematic Testing for Dynamically Updatable Software. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002