and the committee on graduate studies of stanford university in partial...  Home/Search
Context
Related
| stanford.edu/paper...plingerthesis.pdf 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: stanford.edu/research/analysis (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: As high-end microprocessors continue to provide more and more computing power, non-performance metrics such as security, availability, reliability, and usability have become much more important. Errors and vulnerabilities in software programs have caused significant losses of data and productivity throughout the world. Software tools are available to help identify and prevent these problems, but they are often not used in practice because of large runtime overheads and limited applicability. ... (Update)
Similar documents (at the sentence level):
23.4%: Enhancing Software Reliability with Speculative Threads - Oplinger, Lam (2002) (Correct)
Active bibliography (related documents): More All
0.8: Compiler Optimization of Value Communication for Thread-Level.. - Zhai (2005) (Correct)
0.7: Transactional Execution of Java Programs - Brian Carlstrom Jaewoong (2005) (Correct)
0.6: Improving Cache Locality for Thread-Level Speculation Systems - Fung (2005) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ committee-enhancing,
author = "And The Committee",
title = "Enhancing Software Reliability With Speculative Threads",
url = "citeseer.ist.psu.edu/754324.html" }
Citations (may not include all citations):756 Aspect-oriented programming - Kiczales, Lamping et al. - 1997 ACM DBLP
386 Atom: A system for building customized program analysis tool.. (context) - Srivastava, Eustace - 1994
269 Multiscalar processors - Sohi, Breach et al. - 1995 ACM DBLP
251 Simultaneous multithreading: Maximizing on-chip parallelism - Tullsen, Eggers et al. - 1995 DBLP
234 Multilisp: A language for concurrent symbolic computation (context) - Halstead - 1985
230 Limits of instruction-level parallelism - Wall - 1991 ACM DBLP
190 Value locality and load value prediction - Lipasti, Wilkerson et al. - 1996
186 Exploiting choice: Instruction fetch and issue on an impleme.. - Tullsen, Eggers et al. - 1996 DBLP
180 A survey of rollbackrecovery protocols in message passing sy.. - Elnozahy, Alvisi et al. - 1996
177 Evaluating future microprocessors: The SimpleScalar tool set - Burger, Austin et al. - 1996
171 EEL: Machine-independent executable editing (context) - Larus, Schnarr - 1995 DBLP
157 Limits of control flow on parallelism - Lam, Wilson - 1992
141 StackGuard: Automatic adaptive detection and prevention of b.. - Cowan, Pu et al. - 1998
125 Trace processors - Rotenberg, Jacobson et al. - 1997 ACM DBLP
102 Dynamic speculation and synchronization of data dependences - Moshovos, Breach et al. - 1997
98 Purify: Fast detection of memory leaks and access errors (context) - Hastings, Joyce - 1992
76 Doacross: Beyond vectorization for multiprocessors (context) - Cytron - 1986
74 Speculative versioning cache - Gopal, Vijaykumar et al. - 1998 ACM DBLP
74 Transactional memory: Architectural support for lock-free da.. - Herlihy, Moss - 1993 DBLP
72 Data speculation support for a chip multiprocessor (context) - Hammond, Willey et al. - 1998 ACM DBLP
72 A dynamic multithreading processor - Akkary, Driscoll - 1998
70 The expandable split window paradigm for exploiting fine-gra.. - Franklin, Sohi - 1992
61 Software transactional memory - Shavit, Touitou - 1995 ACM DBLP
60 Software and hardware for exploiting speculative parallelism.. - Oplinger, Heine et al. - 1997 ACM
58 Tracking down software bugs using automatic anomaly detectio.. - Hangal, Lam - 2002 ACM DBLP
42 Sun Microsystems Inc (context) - architecture, report - 1999
38 Architectural support for scalable speculative parallelizati.. - Cintra, Martnez et al. - 2000 ACM DBLP
34 Backwards-compatible bounds checking for arrays and pointers.. - Jones, Kelly - 1997 DBLP
34 Free transactions with Rio Vista (context) - Lowell, Chen - 1997
26 Speculative multithreaded processors - Marcuello, Gonzalez et al. - 1998 ACM DBLP
26 An architecture for mostly functional languages (context) - Knight - 1986 ACM DBLP
26 Hardware and software support for speculative execution of s.. - Krishnan, Torrellas - 1998 ACM DBLP
21 Task selection for a multiscalar processor - Vijaykumar, Sohi - 1998 ACM DBLP
20 Byte code engineering with the BCEL API - Dahm - 2001
19 Speculative lock elision: Enabling highly concurrent multith.. - Rajwar, Goodman - 2001 DBLP
16 The use of multithreading for exception handling (context) - Zilles, Emer et al. - 1999 ACM DBLP
16 Undo for operators: Building an undoable e-mail store - Brown, Patterson - 2003 DBLP
15 Improving the performance of speculatively parallel applicat.. - Olukotun, Hammond et al. - 1999 ACM DBLP
15 Control speculation in multithreaded processors through dyna.. - Tubella, Gonzalez - 1998 ACM DBLP
13 The potential for using thread-level data speculation to fac.. (context) - Ste, Mowry - 1998 ACM DBLP
13 On dynamic speculative thread partitioning and the MEM-slici.. - Codrescu, Wills - 1999
10 Architecture of the Atlas chipmultiprocessor: Dynamically pa.. - Codrescu, Wills et al. - 2001
10 Compiler optimization of scalar value communication between .. - Zhai, Colohan et al. - 2002 ACM DBLP
7 A quantitative assessment of thread-level speculation techni.. - Marcuello, Gonzalez - 2000
7 Hardware support for extracting coarse-grain speculative par.. - Figueiredo, Fortes - 2001 ACM
6 Thread-spawning schemes for speculative multithreading - Marcuello, Gonzalez - 2002 ACM DBLP
6 Speculative locks for concurrent execution of critical secti.. (context) - Martnez, Torrellas - 2001 ACM
5 cient run-time monitoring using shadow processing (context) - Patil, Fischer - 1995
5 Fast checkpoint /recovery to support kilo-instruction specul.. - Sorin, Martin et al. - 2000
5 Using thread-level speculation to simplify manual paralleliz.. - Prabhu, Olukotun - 2003 ACM DBLP
4 A scalable approach to thread-level speculation (context) - Ste, Colohan et al. - 2000 ACM DBLP
3 The Jrpm system for dynamically parallelizing java programs - Chen, Olukotun - 2003
3 A transactional memory service in an extensible operating sy.. - Saito, Bershad - 1998
3 Improving value communication for thread-level speculation (context) - Ste, Colohan et al. - 2002 ACM DBLP
2 Increasing cache port e#ciency for dynamic superscalar micro.. (context) - Wilson, Olukotun et al. - 1996
2 uDAPL: User direct access programming library (context) - Collaborative - 2003
2 Department of Computer Science and Engineering (context) - Sherwood, Calder et al. - 1999
2 Detection of format string vulnerability exploits (context) - Tsai, Singh - 2001
1 Software bug contributed to blackout (context) - Poulsen - 2004
1 Implicitly-multithreaded processors - Park, Falsafi et al. - 2003 ACM
Documents on the same site (http://suif.stanford.edu/research/analysis.html): More
Finding Security Vulnerabilities in Java Applications - With Static Analysis (Correct)
Context-Sensitive Program Analysis as Database Queries - Monica Lam John (2005) (Correct)
DynaMine: Finding Common Error Patterns by Mining Software .. - Livshits, Zimmermann (2005) (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