Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar  Home/Search
Context Related
| ibm.com/jalapeno/pub/paste99.ps ibm.com/people/d/dgrove/pa...paste99.ps ucsb.edu/~ckrintz/paper...paste99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: newpaltz.edu/~hind/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Factored Control Flow Graph, FCFG, is a novel representation of a program's intraprocedural control flow, which is designed to efficiently support the analysis of programs written in languages, such as Java, that have frequently occurring operations whose execution may result in exceptional control flow. The FCFG is more compact than traditional CFG representations for exceptional control flow, yet there is no loss of precision in using the FCFG. In this paper, we introduce the FCFG... (Update)
Cited by: More
Robustness Testing of Java Server Applications - Fu, Milanova, Ryder, Wonnacott (2005) (Correct)
Testing of Java Web Services for Robustness - Fu, Ryder, Milanova, Wonnacott (2004) (Correct)
Joeq: A virtual machine and compiler infrastructure - Whaley (2005) (Correct)
Active bibliography (related documents): More All
0.5: Which Pointer Analysis Should I Use? - Hind, Pioli (2000) (Correct)
0.3: An Empirical Study of Selective Optimization - Arnold, Hind, Ryder (2000) (Correct)
0.2: An Evaluation of Java System Services with Microbenchmarks - Gluzberg, Fink (2000) (Correct)
Similar documents based on text: More All
0.2: Asymptotic Laplace transforms and evolution equations - Lumer, Neubrander (1998) (Correct)
0.1: Adaptive Optimization in the Jalapeño JVM.. - Arnold, Fink.. (Correct)
0.1: Adaptive Optimization in the Jalapeño JVM - Arnold, Fink, Grove, Hind.. (2000) (Correct)
Related documents from co-citation: More All
9: Optimization of object-oriented programs using static class hierarchy analysis - DEAN, GROVE et al. - 1995
7: Fast static analysis of C++ virtual function calls (context) - Bacon, Sweeney - 1996
6: ano, V. C. Sreedhar, Harini Srinivasan, and John Whaley. The Jalape~no dynamic o.. (context) - Burke, Choi et al. - 1999
BibTeX entry: (Update)
Jong-Deok Choi, David Grove, Michael Hind, and Vivek Sarkar. Efficient and precise modeling of exceptions for the analysis of Java programs. In ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, September 1999. http://citeseer.ist.psu.edu/choi99efficient.html More
@inproceedings{ choi99efficient,
author = "Jong-Deok Choi and David Grove and Michael Hind and Vivek Sarkar",
title = "Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs",
booktitle = "Workshop on Program Analysis For Software Tools and Engineering",
pages = "21-31",
year = "1999",
url = "citeseer.ist.psu.edu/choi99efficient.html" }
Citations (may not include all citations):415 Efficiently computing static single assignment form and the .. - Cytron, Ferrante et al. - 1991
407 Trace scheduling: A technique for global microcode compactio.. (context) - Fisher - 1981
380 The Java Language Specification (context) - Gosling, Joy et al. - 1996
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992
144 Two approaches to interprocedural data flow analysis (context) - Sharir, Pnueli - 1981
90 Vortex: An optimizing compiler for object-oriented languages - Dean, DeFouw et al. - 1996
89 Systems Programming with Modula (context) - Nelson - 1991
86 A precise inter-procedural data flow algorithm (context) - Myers - 1981
76 The program summary graph and flowsensitive interprocedural .. (context) - Callahan - 1988
47 Marmot: An optimizing compiler for Java - Fitzgerald, Knoblock et al. - 1999
30 ano, V. C. Sreedhar, Harini Srinivasan, and John Whaley. The.. (context) - Burke, Choi et al. - 1999
12 Analyzing exception flow in Java programs - Robillard, Murphy - 1999
12 Efficient computation of interprocedural definition -- use c.. (context) - Harrold, Soffa - 1994
10 Complexity of concrete type-inference in the presence of exc.. - Chatterjee, Ryder et al. - 1998
9 no --- a compiler-supported Java virtual machine for servers (context) - Alpern, Cocchi et al. - 1999
4 and Ton Ngo (context) - Alpern, Attanasio et al. - 1999
2 Advanced Compiler Design and Imlementation (context) - Muchnick - 1997
1 Analysis of programs with exception-handling constructs - Mary - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.mcs.newpaltz.edu/~hind/papers): More
The Jalapeño Dynamic Optimizing Compiler for Java - Burke, Choi, Fink.. (1999) (Correct)
Assessing the Effects of Flow-Sensitivity on Pointer Alias.. - Hind, Pioli (1998) (Correct)
An Empirical Comparison of Interprocedural Pointer Alias Analyses - Hind, Pioli (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC