|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 38 occurrences of 26 keywords
|
|
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Erik A. Altman, Matthew Arnold, Stephen Fink, Nick Mitchell |
Performance analysis of idle programs.  |
OOPSLA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman |
TAJ: effective taint analysis of web applications. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
security, java, static analysis, web application, program analysis, slicing, taint analysis |
| 1 | Satish Chandra, Stephen J. Fink, Manu Sridharan |
Snugglebug: a powerful approach to weakest preconditions. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
interprocedural analysis, weakest preconditions, symbolic analysis |
| 1 | Manu Sridharan, Stephen J. Fink |
The Complexity of Andersen's Analysis in Practice. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda |
Verifying dereference safety via expanding-scope analysis. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, specification inference |
| 1 | Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia |
Static Specification Mining Using Automata-Based Abstractions. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
Effective typestate verification in the presence of aliasing. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
program verification, Alias analysis, typestate |
| 1 | Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia |
Static specification mining using automata-based abstractions. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, typestate, specification mining |
| 1 | Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby |
Declarative Object Identity Using Relation Types. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav |
A survey of static analysis methods for identifying security vulnerabilities in software systems. |
IBM Systems Journal |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Sridharan, Stephen J. Fink, Rastislav Bodík |
Thin slicing. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
debugging, program understanding, slicing |
| 1 | Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav |
When Role Models Have Flaws: Static Validation of Enterprise Security Policies. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia |
Role-Based access control consistency validation. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
security, Java, static analysis, RBAC, role-based access control, J2EE, Java EE |
| 1 | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
Effective typestate verification in the presence of aliasing. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
program verification, alias analysis, typestate |
| 1 | Emmanuel Geay, Eran Yahav, Stephen J. Fink |
Continuous code-quality assurance with SAFE. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bowen Alpern, Steve Augart, Stephen M. Blackburn, Maria A. Butrico, Anthony Cocchi, Perry Cheng, Julian Dolby, Stephen J. Fink, David Grove, Michael Hind, Kathryn S. McKinley, Mark F. Mergen, J. Eliot B. Moss, Ton Anh Ngo, Vivek Sarkar, Martin Trapp |
The Jikes Research Virtual Machine project: Building an open-source research community. |
IBM Systems Journal |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stephen J. Fink, Feng Qian |
Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement. |
CGO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bowen Alpern, Maria A. Butrico, Anthony Cocchi, Julian Dolby, Stephen J. Fink, David Grove, Ton Ngo |
Experiences Porting the Jikes RVM to Linux/IA32. |
Java Virtual Machine Research and Technology Symposium |
2002 |
DBLP BibTeX RDF |
|
| 1 | David F. Bacon, Stephen J. Fink, David Grove |
Space- and Time-Efficient Implementation of the Java Object Model. |
ECOOP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Vivek Sarkar, Stephen J. Fink |
Efficient Dependence Analysis for Java Arrays. |
Euro-Par |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber |
Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. |
OOPSLA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott B. Baden, Stephen J. Fink |
A Programming Methodology for Dual-Tier Multicomputers. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Dual-tier parallel computers, KeLP, block-structured scientific applications, scientific application requirements, C++ framework, SMP clusters, hierarchical parallelism |
| 1 | Bowen Alpern, C. Richard Attanasio, John J. Barton, Michael G. Burke, Perry Cheng, Jong-Deok Choi, Anthony Cocchi, Stephen J. Fink, David Grove, Michael Hind, Susan Flynn Hummel, Derek Lieber, Vassily Litvinov, Mark F. Mergen, Ton Ngo, James R. Russell, Vivek Sarkar, Mauricio J. Serrano, Janice C. Shepherd, Stephen E. Smith, Vugranam C. Sreedhar, Harini Srinivasan, John Whaley |
The Jalapeño virtual machine. |
IBM Systems Journal |
2000 |
DBLP BibTeX RDF |
|
| 1 | Sandra Johnson Baylor, Murthy V. Devarakonda, Stephen J. Fink, Eugene Gluzberg, Michael H. Kalantar, Prakash Muttineni, Eric Barsness, Rajiv Arora, Robert T. Dimpsey, Steven J. Munroe |
Java server benchmarks. |
IBM Systems Journal |
2000 |
DBLP BibTeX RDF |
|
| 1 | Matthew Arnold, Stephen J. Fink, Vivek Sarkar, Peter F. Sweeney |
A comparative study of static and profile-based heuristics for inlining. |
Dynamo |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney |
Adaptive optimization in the Jalapeño JVM. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Stephen J. Fink, Kathleen Knobe, Vivek Sarkar |
Unified Analysis of Array and Object References in Strongly Typed Languages. |
SAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John H. Merlin, Scott B. Baden, Stephen Fink, Barbara M. Chapman |
Multiple data parallelism with HPF and KeLP. |
Future Generation Comp. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott B. Baden, Stephen J. Fink |
The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion. |
LCPC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Burke, Jong-Deok Choi, Stephen J. Fink, David Grove, Michael Hind, Vivek Sarkar, Mauricio J. Serrano, Vugranam C. Sreedhar, Harini Srinivasan, John Whaley |
The Jalapeño Dynamic Optimizing Compiler for Java. |
Java Grande |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Fink, Scott B. Baden, Scott R. Kohn |
Efficient Run-Time Support for Irregular Block-Structured Applications. |
J. Parallel Distrib. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John H. Merlin, Scott B. Baden, Stephen J. Fink, Barbara M. Chapman |
Multiple Data Parallelism with HPF and KeLP. |
HPCN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Fink, Craig Huston, Scott B. Baden, Karl Jansen |
Parallel Cluster Identification for Multidimensional Lattices. |
IEEE Trans. Parallel Distrib. Syst. |
1997 |
DBLP DOI BibTeX RDF |
Cluster identification, Swendson-Wang dynamics, parallel algorithm, Ising model, connected component labeling |
| 1 | Stephen J. Fink, Scott B. Baden |
Run-Time Support for Multi-tier Programming of Block-Structured Applications on SMP Clusters. |
ISCOPE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott B. Baden, Robert S. Schreiber, Kang Su Gatlin, Stephen J. Fink |
A Preliminary Evaluation of HPF. |
PPSC |
1997 |
DBLP BibTeX RDF |
|
| 1 | William G. Griswold, Richard Wolski, Scott B. Baden, Stephen J. Fink, Scott R. Kohn |
Programming Language Requirements for the Next Millennium. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Fink, Scott B. Baden, Scott R. Kohn |
Flexible Communication Mechanisms for Dynamic Structured Applications. |
IRREGULAR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Fink, Scott B. Baden |
Run-time Data Distribution for Block-Structured Applications on Distributed Memory Computers. |
PPSC |
1995 |
DBLP BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")