Zhichen Xu  Home/Search
Context Related
| wisc.edu/paradyn/technic...xu_thesis.ps 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: paradyn.org/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Storage Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3.3 The Inputs to the Safety-Checking Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3.4 The Phases of the Safety-Checking Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3.4.1 Preparation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3.4.2 Typestate... (Update)
Cited by: More
An Overview of the Jahob Analysis System - Project Goals and.. - Kuncak, Rinard (Correct)
BI as an Assertion Language for Mutable Data Structures - Samin Ishtiaq Peter (2000) (Correct)
Deadline Analysis of Interrupt-driven Software - Dennis Brylow Jens (2003) (Correct)
Similar documents (at the sentence level):
10.9%: Typestate Checking of Machine Code - Xu, Reps, Miller (2000) (Correct)
6.4%: Safety Checking of Machine Code - Xu, Miller, Reps (2000) (Correct)
Active bibliography (related documents): More All
6.6: Safety-Checking of Machine Code - Xu (2000) (Correct)
0.3: Fine-Grained Dynamic Instrumentation Of Commodity Operating.. - Tamches (2001) (Correct)
0.2: Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
Similar documents based on text: More All
0.1: Unknown - (Correct)
0.1: MDL: A Language and Compiler for Dynamic Program.. - Hollingsworth, al. (Correct)
0.1: Dejan S. Milojicic, Vana Kalogeraki, Rajan Lukose, - Kiran Nagaraja Jim (2002) (Correct)
Related documents from co-citation: More All
14: Implementation of array bound checker (context) - Suzuki, Ishihata - 1977
14: The design and implementation of a certifying compiler - Necula, Lee - 1998
11: Symbolic Bounds Analysis of Pointers (context) - Rugina, Rinard - 2000
BibTeX entry: (Update)
Z. Xu, B. P. Miller, and T. W. Reps. Safety Checking of Machine Code. SIGPLAN Conference on Programming Language Design and Implementation. Vancouver B.C., Canada. (June 2000). http://citeseer.ist.psu.edu/xu01safetychecking.html More
@article{ xu00safety,
author = "Zhichen Xu and Barton P. Miller and Thomas Reps",
title = "Safety checking of machine code",
journal = "ACM SIG{\-}PLAN Notices",
volume = "35",
number = "5",
pages = "70--82",
year = "2000",
url = "citeseer.ist.psu.edu/xu01safetychecking.html" }
Citations (may not include all citations):809 A Theory of Type Polymorphism in Programming (context) - Milner - 1978
650 An Axiomatic Basis for Computer Programming (context) - Hoare - 1969
339 Efficient SoftwareBased Fault Isolation - Wahbe, Lucco et al. - 1993
299 The BSD Packet Filter: A New Architecture for User-Level Pac.. - McCanne, Jacobson - 1993
292 Advanced Compiler Design and Implementation (context) - Muchnick - 1997
245 The Omega Test: A Fast and Practical Integer Programming Alg.. - Pugh - 1991
223 Assigning meanings to programs (context) - Floyd - 1967
212 Towards an Active Network Architecture - Tennenhouse, Wetherall - 1996
199 The Paradyn Parallel Performance Measurement Tools - Miller, Callaghan et al. - 1995
175 Dealing With Disaster: Surviving Misbehaved Kernel Extension.. - Seltzer, Endo et al. - 1996
161 The Packet Filter: An Efficient Mechanism for User-Level Net.. - Mogul, Rashid et al. - 1987
137 The Design and Implementation of a Certifying Compiler - Necula, Lee - 1998
111 Optimistic Incremental Specialization: Streamlining a Commer.. - Pu, Audrey et al. - 1995
97 Stack-Based Typed Assembly Language - Morrisett, Crary et al. - 1998
93 TALx86: A Realistic Typed Assembly Language - Morrisett, Crary et al. - 1999
66 Eliminating False Data Dependences Using the Omega Test (context) - Pugh, Wonnacott - 1992
65 Typestate: A Programming Language Concept for Enhancing Soft.. (context) - Strom, Yemini - 1986
64 Inclusion of New Types in Relational Data Base Systems - Stonebraker - 1994
62 Pilot: An Operating System for a Personal Computer - Redell, Dalal et al. - 1980
61 Comparison of OS Extension Technologies - Small, Seltzer - 1996
59 Compiler Analysis of the Value Ranges for Variables (context) - Harrison - 1977
54 SLIC: An Extensibility System for Commodity Operating System.. - Ghormley, Petrou et al. - 1998
51 Prentice Hall (context) - Harbison - 1992
50 Elimination of Redundant Array Subscript Range Checks - Kolte, Wolfe - 1995
50 A Fresh Look at Optimizing Array Bound Checking (context) - Gupta - 1990
43 Towards Fault-Tolerant and Secure Agentry - Schneider - 1997
41 Catching Bugs in the Web of Program Invariants - Flanagan, Flatt et al. - 1996
39 Fine-Grained Dynamic Instrumentation of Commodity Operating .. - Tamches, Miller - 1999
33 Extending Typestate Checking Using Conditional Liveness Anal.. (context) - Strom, Yellin - 1993
33 Virtual Machine Specification (context) - Lindholm - 1999
33 Symbolic Bounds Analysis of Pointers (context) - Rugina, Rinard - 2000
31 Safety Checking of Machine Code - Xu, Miller et al. - 2000
27 Verifying Concurrent Processes Using Temporal Logic (context) - Hailpern - 1982
23 Compiling with Proofs - Necula - 1998
19 Automating Proofs of the Absence of common runtime errors (context) - German - 1978
19 Stack Smashing Vulnerabilities in the UNIX Operating System (context) - Smith - 2000
18 Java Language Reference (context) - Grand - 1997
17 Coping with type casts in C - Siff, Chandra et al. - 1999
17 The Synthesis of Loop Predicates (context) - Wegbreit - 1974
17 TILML Compiler Performance and Safety Through Type - Cheng, Harper et al. - 1996
16 Generalized Constant Propagation A Study in C - Verbrugge, Co et al. - 1996
14 Xerox Palo Alto Research Center (context) - Mitchell, Maybury et al. - 1979
13 A Heuristic Approach to Program Verification (context) - Katz, Manna - 1973
11 Typestate Checking of Machine Code - Xu, Reps et al. - 2000
10 Experience with Constraint-Based Array Dependence Analysis - Pugh, Wonnacott - 1994
7 MIT Laboratory for Computer Science and RSA Data Security (context) - Rivest, Message-Digest et al. - 1992
6 Mathematical Foundations of Computer Science (context) - Wadler, of et al. - 1993
6 Information Flow Control in Object-Oriented Systems (context) - Samarati, Bertino et al. - 1997
5 Interface Guide (context) - Kelly, Maslov et al. - 1996
4 th ACM Symposium on Principles of Programming Languages (context) - Susuki, Ishihata et al. - 1977
4 th Annual ACM Symposium on Principles of Programming Languag.. (context) - Morrisett, Walker et al. - 1998
3 European Symposium on Programming (context) - Smith, Walker et al. - 2000
3 Illustra DataBlade Developer's Kit Architecture Manual (context) - Technologies - 1994
3 th ACM SIGPLAN-SIGACT Symposium on Principles of Programming.. (context) - Leroy, Rouaix et al. - 1998
3 A First Step Towards Automated Detection of Buffer Overrun V.. (context) - Wegner, Foster et al. - 2000
3 or Program Reconstruction via Type Reconstruction (context) - Mycroft - 1999
3 th Annual ACM Symposium on Principles of Programming Languag.. (context) - Necula - 1997
2 IEEE Transactions on Software Engineering SE (context) - Tamir, Automatic et al. - 1980
2 Secure Flow Typing - Volpano, Irvine - 1997
2 Plug-in Overview (context) - Microsystems, Java - 1999
2 Theoretical Foundations of Programming Methodology (context) - Morris, Axiom et al. - 1982
1 SIGPLAN Symposium on Compiler Construction (context) - Markstein, Cocke et al. - 1982
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.paradyn.org/papers/): More
Dynamic Kernel I-Cache Optimization - Tamches, Miller (2001) (Correct)
A Callgraph-Based Search Strategy for Automated Performance.. - Cain, al. (2000) (Correct)
Deep Start: A Hybrid Strategy for Automated Performance.. - Roth, Miller (2002) (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