John Regehr, Alastair Reid  Home/Search
Context
Related
| utah.edu/flux/pape...istasplos04.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: utah.edu/flux/p...tasplos04base (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysis can help meet all of these goals. People developing analyzers for embedded object code face a difficult problem: writing an abstract version of each instruction in the target architecture(s). This is currently done by hand, resulting in abstract operations that are both buggy and imprecise. We have developed Hoist: a... (Update)
Similar documents based on text: More All
0.3: Lock Inference for Systems Software - Regehr, Reid (2003) (Correct)
0.2: Using Hierarchical Scheduling to Support Soft Real-Time.. - Regehr (2001) (Correct)
0.2: Real-Time for the Real World - Regehr, Reid, Webb, Parker, Lepreau (2002) (Correct)
BibTeX entry: (Update)
@misc{ regehr-hoist,
author = "John Regehr and Alastair Reid",
title = "HOIST: A System for Automatically Deriving Static Analyzers for Embedded
Systems",
url = "citeseer.ist.psu.edu/regehr04hoist.html" }
Citations (may not include all citations):339 Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993
330 System architecture directions for networked sensors - Hill, Szewczyk et al. - 2000
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978
135 Graph-based algorithms for Boolean function manipulation - Bryant - 1986
109 A high-performance microarchitecture with hardware-programma.. - Razdan, Smith - 1994
70 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
60 Postpass code optimization of pipeline constraints (context) - Hennessy, Gross - 1983
44 Bitwidth analysis with application to silicon compilation - Stephenson, Babb et al. - 2000
40 Implicit and incremental computation of primes and essential.. - Coudert, Madre - 1992
33 Automatic generation and management of interprocedural progr.. - Yi, Harrison - 1993
33 Alias analysis of executable code - Debray, Muth et al. - 1998
31 Safety checking of machine code - Xu, Miller et al. - 2000
27 Superoptimizer: A look at the smallest program (context) - Massalin - 1987
21 An integrated path and timing analysis method based on cycle.. (context) - Lundqvist, om - 1999
18 Symbolically computing most-precise abstract operations for .. (context) - Yorsh, Reps et al. - 2004
[Article contains additional citations not shown here]
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