|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 96 occurrences of 68 keywords
|
|
|
|
|
Results
Found 46 publication records. Showing 46 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster |
Specifying and Verifying the Correctness of Dynamic Software Updates.  |
VSTTE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks |
LOCKSMITH: Practical static race detection for C. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster |
Path-based inductive synthesis for program inversion. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster |
State transfer for clear and efficient runtime updates. |
ICDE Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks |
Dynamic inference of static types for ruby. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks |
Directed Symbolic Execution. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey A. Meister, Jeffrey S. Foster, Michael Hicks |
Serializing C intermediate representations for efficient and portable parsing. |
Softw., Pract. Exper. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Hicks, Jeffrey S. Foster |
SCORE: agile research group management. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster |
Mixing type checking and symbolic execution. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
mix rules, mixed off-the-shelf analysis, symbolic execution, precision, type checking, mix, false alarms |
| 1 | Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster |
From program verification to program synthesis. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
proof-theoretic program synthesis, verification |
| 1 | Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, Adam Porter |
Using symbolic evaluation to understand behavior in configurable software systems. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
software testing and analysis, empirical software engineering, software configurations |
| 1 | Avik Chaudhuri, Jeffrey S. Foster |
Symbolic security analysis of ruby-on-rails web applications. |
ACM Conference on Computer and Communications Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks |
The ruby intermediate language. |
DLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, Vibha Sazawal |
Directing JavaScript with arrows. |
DLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster |
Static Typing for Ruby on Rails. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
type systems, scripting languages, Ruby, Ruby on Rails, web frameworks |
| 1 | Christopher M. Hayden, Eric A. Hardisty, Michael W. Hicks, Jeffrey S. Foster |
Efficient Systematic Testing for Dynamically Updatable Software. |
HotSWUp |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks |
Static type inference for Ruby. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
contracts, type inference, Ruby, dynamic typing |
| 1 | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster |
Profile-guided static typing for dynamic scripting languages. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
RIL, profile guided anlaysis, scripting languages, ruby |
| 1 | Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster |
VS3: SMT Solvers for Program Verification. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins |
Modular Information Hiding and Type-Safe Linking for C. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
Reliability, Information hiding, Modules, packages, Code design, Coding Tools and Techniques |
| 1 | Octavian Udrea, Cristian Lumezanu, Jeffrey S. Foster |
Rule-based static analysis of network protocol implementations. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Furr, Jeffrey S. Foster |
Checking type safety of foreign function calls. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface |
| 1 | Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis |
Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
contextual effects, version consistency, type and effect systems, dynamic software updating, computation effects, data race detection |
| 1 | Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal |
Path projection for user-centered static analysis tools. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu |
Formalizing Soundness of Contextual Effects. |
TPHOLs |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster |
Modular information hiding and type-safe linking for C. |
TLDI |
2007 |
DBLP DOI BibTeX RDF |
C, information hiding, type-safety, module systems |
| 1 | Jeffrey S. Foster, Michael W. Hicks, William Pugh |
Improving software quality with static analysis. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
FFIs, Java, software quality, C, modularity, network protocols, data races, bugs, bug patterns |
| 1 | Kin-Keung Ma, Jeffrey S. Foster |
Inferring aliasing and encapsulation properties for java. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
lending, ownership inference, uniqueness inference, uno, java, aliasing, encapsulation, ownership, uniqueness |
| 1 | David Greenfieldboyce, Jeffrey S. Foster |
Type qualifier inference for java. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
JQual, field-sensitivity, opaque, java, tracked, transparent, context-sensitivity, type qualifiers, readonly, mutable, context-free language reachability |
| 1 | Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken |
Flow-insensitive type qualifiers. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
const, taint, security, static analysis, constraints, types, Type qualifiers |
| 1 | Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks |
LOCKSMITH: context-sensitive correlation analysis for race detection. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
locksmith, correlation, type inference, context-sensitivity, race detection, multi-threaded programming |
| 1 | Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks |
Existential Label Flow Inference Via CFL Reachability. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Furr, Jeffrey S. Foster |
Polymorphic Type Inference for the JNI. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Iulian Neamtiu, Jeffrey S. Foster, Michael Hicks |
Understanding source code evolution using abstract syntax tree matching. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
software evolution, source code analysis, abstract syntax trees |
| 1 | Michael Furr, Jeffrey S. Foster |
Checking type safety of foreign function calls. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface |
| 1 | Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks |
Understanding source code evolution using abstract syntax tree matching. |
MSR |
2005 |
DBLP DOI BibTeX RDF |
software evolution, source code analysis, abstract syntax trees |
| 1 | David Greenfieldboyce, Jeffrey S. Foster |
Visualizing type qualifier inference with Eclipse. |
ETX |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Rutar, Christian B. Almazan, Jeffrey S. Foster |
A Comparison of Bug Finding Tools for Java. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi |
Checking and inferring local non-aliasing. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
effect inference, constraints, types, locking, alias analysis, Linux kernel, type qualifiers, restrict, confine, flow-sensitivity |
| 1 | Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken |
Flow-Sensitive Type Qualifiers. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
effect inference, constraints, types, locking, alias analysis, linux kernel, type qualifiers, restrict, flow-sensitivity |
| 1 | Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner |
Detecting Format String Vulnerabilities with Type Qualifiers. |
USENIX Security Symposium |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken |
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. |
SAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken |
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. |
NDSS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken |
A Theory of Type Qualifiers. |
PLDI |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken |
Partial Online Cycle Elimination in Inclusion Constraint Graphs. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su |
A Toolkit for Constructing Type- and Constraint-Based Program Analyses. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #46 of 46 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")