Algorithms, Experimentation (2009)
Chao Liu, Anitha Kannan, Tom Minka, Michael Taylor, Yi-min Wang, Christos Faloutsos, ...
Given a terabyte click log, can we build an efficient and effective click model? It is commonly believed that web search click logs are a gold mine for search business, because they reflect users ’...
Lorenzo Alvisi, Yi-min Wang, David B. Johnson
This survey covers rollback-recovery techniques that do not require special language constructs. In the first part of the survey we classify rollback-recovery protocols into checkpoint-based and...
Unclassified 2a. SECURITY CLASSIFICATION AUTHORITY (2008)
Yi-min Wang, W. Kent Fuchs, Uncl_\ss Fi, B. Declasslficationidowngraoing Sch'edule
G3/32 lsi2oy / p, TJ N93-13375 Uncl _s
H.4.m [Information Systems Applications]: Miscellaneous; (2008)
Chad Verbowski, Emre K, Brad Daniels, Shan Lu, Roussi Roussev, Yi-min Wang, ...
A primary challenge to building reliable and secure computer systems is managing the persistent state (PS) of the system: all the executable files, configuration settings and other data that govern...
Yi-min Wang, Pi-yu Chung, W. Kent Fuchs, Yi-min Wang, Pi-yu Chung, W. Kent Fuchs
Periodic application of time-redundant error checking provides the trade-off between error detection latency and performance degradation. The goal is to achieve high error coverage while satisfying...
Fast User-Mode Rootkit Scanner for the Enterprise (2008)
User-mode resource hiding through API interception and filtering is a well-known technique used by malware programs to achieve stealth. Although it is not as powerful as kernel-mode techniques, it is...
Alessandro Forin, Galen Hunt, Li Li, Yi-min Wang
reproduction of the work for educational or research purposes. This copyright notice must be included in the reproduced paper.
Local Cluster First Load Sharing Policy for Heterogeneous Clusters * (2008)
This paper studies the load sharing problem among heterogeneous cluster systems. The heterogeneous clusters we consider are time-sharing, and the computers in these clusters have different CPU powers...
Jichiang Tsai, Sy-yen Kuo, Yi-min Wang
Rollback-Dependency Trackability (RDT) is a property stating that all rollback dependencies between local checkpoints are on-line trackable using a transitive dependency vector. In this paper, we...
A Cone-Based Distributed Topology-Control Algorithm for Wireless Multi-Hop Networks (2008)
Paramvir Bahl, Yi-min Wang, Roger Wattenhofer
Abstract — The topology of a wireless multi-hop network can be controlled by varying the transmission power at each node. In this paper, we give a detailed analysis of a cone-based distributed...
Lorenzo Alvisi, Yi-min Wang, David B. Johnson
This survey covers rollback-recovery techniques that do not require special language constructs. In the first part of the survey we classify rollback-recovery protocols into checkpoint-based and...
Mootaz Elnozahy, Lorenzo Alvisi, Yi-min Wang, David B. Johnson
This survey covers rollback-recovery techniques that do not require special language constructs. In the first part of the survey we classify rollback-recovery protocols into checkpoint-based and...
Xuxian Jiang, Dongyan Xu, Yi-min Wang
{ jiangx,
REFERENCES 2 References (2008)
Markus Strasser, Kurt Pothernel, Dag Johansen, Keith Marzullo, Fred B. Schneider, ...
Abstract Mobile agent system has been proposed for various kind of application domains such as E-commerce and mobile computing. These domains are fault-sensitive areas. Before deploying agents...
Om P. Damani, Chandra Kintala, P. Emerald Chung, Yi-min Wang, Yennun Huang
With the explosive growth of the World Wide Web, some popular Web sites are getting thousands of hits per second. As a result, clients (browsers) experience slow response times and sometimes may not...
Reliability and Availability Issues In Distributed Component Object Model (DCOM) (2008)
Yi-min Wang, Om P. Damani, Woei-jyh Lee
Distributed Component Object Model (DCOM) is one of the emerging standards for distributed objects. Before DCOM can be used to build mission-critical applications, the reliability and availability...
Provenance-Aware Tracing of Worm Break-in and Contaminations: A Process Coloring Approach (2008)
Xuxian Jiang, Aaron Walters, Florian Buchholz, Dongyan Xu, Yi-min Wang, Eugene H. Spafford
To investigate the exploitation and contamination by self-propagating Internet worms, a provenanceaware tracing mechanism is highly desirable. Provenance unawareness causes difficulties in fast and...
Lorenzo Alvisi, Yi-min Wang, David B. Johnson
This survey covers rollback-recovery techniques that do not require special language constructs. In the first part of the survey we classify rollback-recovery protocols into checkpoint-based and...
Roger Wattenhofer, Li Li, Paramvir Bahl, Yi-min Wang
Abstract--- The topology of wireless multihop ad hoc networks can be controlled by varying the transmission power of each node. We propose a simple distributed algorithm where each node makes local...
Model-based design of dependability in (2007)
Anish Arora, Rajesh Jagannathan, Yi-min Wang
distributed systems
DCOM and CORBA Side by Side, Step by Step, and Layer by Layer (2007)
P. Emerald, Chung Yennun, Huang Shalini Yajnik, Deron Liang, Joanne C. Shih, Chung-yih Wang, ...
DCOM (Distributed Component Object Model) and CORBA (Common Object Request Broker Architecture) are two popular distributed object models. In this paper, we make architectural comparison of DCOM and...
DCOM and CORBA Side by Side, Step by Step, and Layer by Layer (2007)
P. Emerald, Chung Yennun, Huang Shalini Yajnik, Deron Liang, Joanne C. Shih, Chung-yih Wang, ...
DCOM (Distributed Component Object Model) and CORBA (Common Object Request Broker Architecture) are two popular distributed object models. In this paper, we make architectural comparison of DCOM and...
[Software]: Miscellaneous General Terms (2007)
Helen J. Wang, John Platt, Yu Chen, Ruyun Zhang, Yi-min Wang
Technical support contributes 17 % of the total cost of ownership of today’s desktop PCs [3]. An important element of technical support is troubleshooting misconfigured applications....
Roger Wattenhofer, Li Li, Paramvir Bahl, Yi-min Wang
Abstract--- The topology of wireless multihop ad hoc networks can be controlled by varying the transmission power of each node. We propose a simple distributed algorithm where each node makes local...
A Quantitative Study of Forum Spamming Using Contextbased Analysis (2007)
Yuan Niu, Yi-min Wang, Hao Chen, Ming Ma, Francis Hsu
Forum spamming has become a major means of search engine spamming. To evaluate the impact of forum spamming on search quality, we have conducted a comprehensive study from three perspectives: that of...
A systematic approach to uncover security flaws in gui logic (2007)
Shuo Chen, José Meseguer, Ralf Sasse, Helen J. Wang, Yi-min Wang
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws are a category of...
Spam double-funnel: connecting web spammers with advertisers (2007)
Yi-min Wang, Ming Ma, Yuan Niu, Hao Chen
Spammers use questionable search engine optimization (SEO) techniques to promote their spam links into top search results. In this paper, we focus on one prevalent type of spam – redirection spam...
RandSys: Thwarting Code Injection Attacks with System Service Interface Randomization (2007)
Xuxian Jiang, Helen J. Wang, Dongyan Xu, Yi-min Wang
Code injection attacks are a top threat to today’s Internet. With zero-day attacks on the rise, randomization techniques have been introduced to diversify software and operation systems of...
Spam double-funnel: connecting web spammers with advertisers (2007)
Yi-min Wang, Ming Ma, Yuan Niu, Hao Chen
Spammers use questionable search engine optimization (SEO) techniques to promote their spam links into top search results. In this paper, we focus on one prevalent type of spam – redirection spam...
Optimal Message Log Reclamation for Uncoordinated Checkpointing (2006)
Uncoordinated checkpointing for message-passing systems allows maximum process autonomy and general nondeterministic execution, but suffers from potential domino effect and the large space overhead...
Checkpoint Space Reclamation for Uncoordinated Checkpointing in Message- Passing Systems (2006)
Wang, Yi-Min, Chung, Pi-Yu, Lin, In-Jen, Fuchs, W. K.
Uncoordinated check pointing allows process autonomy and general nondeterministic execution, but suffers from potential domino effects and the associated space overhead. Previous to this research,...
Progressive Retry for Software Failure Recovery in Message-Passing Applications (2006)
Wang, Yi-Min, Huang, Yennun, Fuchs, W. K., Kintala, Chandra
In this paper, we describe a method of execution retry for bypassing software faults in message-passing applications. Based on the techniques of checkpointing and message logging, we demonstrate the...
Yi-min Wang, Yi-min Wang, Doug Beck, Doug Beck, Xuxian Jiang, Xuxian Jiang, ...
Internet attacks that use Web servers to exploit browser vulnerabilities to install malware programs are on the rise [D04,R04,B04,S05]. Several recent reports suggested that some companies may...
Yi-min Wang, Doug Beck, Jeffrey Wang, Chad Verbowski, Brad Daniels
Typo-squatting refers to the practice of registering domain names that are typo variations of popular websites. We propose a new approach, called Strider Typo-Patrol, to discover large-scale,...
Automated Known Problem Diagnosis with Event Traces (2006)
Chun Yuan, Ni Lao, Ji-rong Wen, Jiwei Li, Zheng Zhang, Yi-min Wang, ...
Computer problem diagnosis remains a serious challenge to users and support professionals. Traditional troubleshooting methods relying heavily on human intervention make the process inefficient and...
Flight Data Recorder: Monitoring persistent-state interactions to improve systems management (2006)
Chad Verbowski, Emre Kıcıman, Arunvijay Kumar, Brad Daniels, Shan Lu, Juhan Lee, ...
Mismanagement of the persistent state of a system—all the executable files, configuration settings and other data that govern how a system functions—causes reliability problems, security...
Yi-min Wang, Doug Beck, Xuxian Jiang, Roussi Roussev, Chad Verbowski, Shuo Chen, ...
Internet attacks that use malicious web sites to install malware programs by exploiting browser vulnerabilities are a serious emerging threat. In response, we have developed an automated web patrol...
Automated Known Problem Diagnosis with Event Traces (2006)
Chun Yuan, Ni Lao, Ji-rong Wen, Jiwei Li, Zheng Zhang, Yi-min Wang, ...
Computer problem diagnosis remains a serious challenge to users and support professionals. Traditional troubleshooting methods relying heavily on human intervention make the process inefficient and...
Flight Data Recorder: Monitoring persistent-state interactions to improve systems management (2006)
Chad Verbowski, Emre Kıcıman, Arunvijay Kumar, Brad Daniels, Shan Lu, Juhan Lee, ...
Mismanagement of the persistent state of a system—all the executable files, configuration settings and other data that govern how a system functions—causes reliability problems, security...
Subvirt: Implementing malware with virtual machines (2006)
Samuel T. King, Peter M. Chen, Yi-min Wang, Chad Verbowski, Helen J. Wang, Jacob R. Lorch
Attackers and defenders of computer systems both strive to gain complete control over the system. To maximize their control, both attackers and defenders have migrated to low-level, operating system...
A Systematic Approach to Uncover GUI Logic Flaws for Web Security (2006)
Shuo Chen, Jose Meseguer, Ralf Sasse, Helen Wang, Yi-min Wang, Shuo Chen, ...
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws are a category of...
Xuxian Jiang, Dongyan Xu, Yi-min Wang, Xuxian Jiang, Dongyan Xu, Yi-min Wang
{ jiangx,
Connecting Web Spammers with Advertisers (2006)
Yi-min Wang, Ming Ma, Yuan Niu, Hao Chen, Spam Double-funnel, Yi-min Wang, ...
Spammers use questionable search engine optimization (SEO) techniques to promote their spam links into top search results. In this paper, we focus on one prevalent type of spam – redirection spam...
Yi-min Wang, Doug Beck, Jeffrey Wang, Chad Verbowski, Brad Daniels
Typo-squatting refers to the practice of registering domain names that are typo variations of popular websites. We propose a new approach, called Strider Typo-Patrol, to discover large-scale,...
A cone-based distributed topology-control algorithm for wireless multi-hop networks (2005)
Li (erran Li, Joseph Y. Halpern, Paramvir Bahl, Senior Member, Senior Member, Yi-min Wang, ...
Abstract—The topology of a wireless multi-hop network can be controlled by varying the transmission power at each node. In this paper, we give a detailed analysis of a cone-based distributed...
Detecting stealth software with Strider GhostBuster (2005)
Yi-min Wang, Doug Beck, Binh Vo, Roussi Roussev, Chad Verbowski
Stealth malware programs that silently infect enterprise and consumer machines are becoming a major threat to the future of the Internet [XZ04]. Resource hiding is a powerful stealth technique...
A black-box tracing technique to identify causes of least-privilege incompatibilities (2005)
Shuo Chen, John Dunagan, Chad Verbowski, Yi-min Wang
Abstract: Most Windows users run all the time with Administrator privileges, equivalent to root privileges on a UNIX system. The possession of Administrator privileges by every user significantly...
Provenance-Aware Tracing of Worm Break-in and Contaminations: A Process Coloring Approach (2005)
Xuxian Jiang, Aaron Walters, Florian Buchholz, Dongyan Xu, Yi-min Wang
To investigate the exploitation and contamination by self-propagating Internet worms, a provenance-aware tracing mechanism is highly desirable. Provenance unawareness causes difficulties in fast,...
Summary-based Routing for Content-based Event Distribution Networks (2004)
Yi-min Wang, Lili Qiu, Chad Verbowski, Dimitris Achlioptas, Gautam Das, Paul Larson
Abstract — Providing scalable distributed Web-based eventing services has been an important research topic. It is desirable to have an effective mechanism for the servers to summarize their filters...
Strider GhostBuster: Why it’s a bad idea for stealth software to hide files (2004)
Yi-min Wang, Binh Vo, Roussi Roussev, Chad Verbowski, Aaron Johnson
File-hiding through lying APIs [HTB03, NTI04] is an advanced stealth technique used by many popular system-monitoring software such as RootKits, Trojans, and keyloggers (collectively called...
Automatic Misconfiguration Troubleshooting with PeerPressure (2004)
Helen J. Wang, John C. Platt, Yu Chen, Ruyun Zhang, Yi-min Wang
Technical support contributes 17 % of the total cost of ownership of today’s desktop PCs [25]. An important element of technical support is troubleshooting misconfigured applications....
Why PCs Are Fragile and What We Can Do About It: A Study of Windows Registry Problems (2004)
Archana Ganapathi, Yi-min Wang, Ni Lao, Ji-rong Wen
Software configuration problems are a major source of failures in computer systems. In this paper, we present a new framework for categorizing configuration problems. We apply this categorization to...
Towards a self-managing software patching process using black-box persistent-state manifests (2004)
John Dunagan, Roussi Roussev, Brad Daniels, Aaron Johnson, Chad Verbowski, Yi-min Wang
We describe a new approach to self-managing software patching. We identify visibility into patch impact as the key missing component in automating the current patching process, and we present a suite...
Friends Troubleshooting Network: Towards (2004)
Helen J. Wang, Yih-chun Hu, Chun Yuan, Zheng Zhang, Yi-min Wang, ...
Content sharing is a popular usage of peerto -peer systems for its inherent scalability and low cost of maintenance. In this paper, we leverage this nature of peer-to-peer systems to tackle a new...
Automatic Misconfiguration Troubleshooting with PeerPressure (2004)
Helen J. Wang, John C. Platt, Yu Chen, Ruyun Zhang, Yi-min Wang
Abstract — Technical support contributes 17 % of the total cost of ownership of today’s desktop PCs [25]. An important element of technical support is troubleshooting misconfigured applications....
Discovering Correctness Constraints for Self-Management of System Configuration (2004)
2004 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale...
Automatic Misconfiguration Troubleshooting with PeerPressure (2004)
Helen J. Wang, John C. Platt, Yu Chen, Ruyun Zhang, Yi-min Wang
Technical support contributes 17 % of the total cost of ownership of today’s desktop PCs [25]. An important element of technical support is troubleshooting misconfigured applications....
Gatekeeper: Monitoring auto-start extensibility points (ASEPs) for spyware management (2004)
Yi-min Wang, Roussi Roussev, Chad Verbowski, Aaron Johnson, Ming-wei Wu, Yennun Huang, ...
Spyware is a rapidly spreading problem for PC users causing significant impact on system stability and privacy concerns. It attaches to extensibility points in the system to ensure the spyware will...
Persistent-State Manifests (2004)
John Dunagan, Roussi Roussev, Brad Daniels, Aaron Johnson, Chad Verbowski, Yi-min Wang, ...
© 2004 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for...
Persistent-state checkpoint comparison for troubleshooting configuration failures (2003)
Yi-min Wang, Chad Verbowski, Daniel R. Simon, Yi-min Wang, Chad Verbowski, Daniel R. Simon
© 2003 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for...
STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support (2003)
Yi-min Wang, Chad Verbowski, John Dunagan, Yu Chen, Helen J. Wang, Chun Yuan
Permission is granted for noncommercial reproduction of the work for educational or research purposes.
PeerPressure: A Statistical Method for Automatic Misconfiguration Troubleshooting (2003)
Helen J. Wang, Helen J. Wang, John Platt, John Platt, Yu Chen, Yu Chen, ...
Technical support contributes 17% of the total cost of ownership of today's desktop PCs [20]. An important element of technical support is troubleshooting misconfigured applications....
STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support (2003)
Yi-min Wang, Chad Verbowski, John Dunagan, Yu Chen, Helen J. Wang, Chun Yuan
We describe a new approach, called Strider, to Change and Configuration Management and Support (CCMS). Strider is a black-box approach: without relying on specifications, it uses state differencing...
Li, Erran L., Halpern, Joseph Y., Bahl, Paramvir, Wang, Yi-Min, Wattenhofer, Roger
The topology of a wireless multi-hop network can be controlled by varying the transmission power at each node. In this paper, we give a detailed analysis of a cone-based distributed topology control...
PAWNs: Satisfying the Need for Ubiquitous Secure Connectivity and Location Services (2002)
Paramvir Bahl, Allen Miu, Wilf Russell, Geoffrey M. Voelker, Yi-min Wang
The dawning of the 21st century has seen unprecedented growth in the number of wireless users, applications, and network access technologies. This trend is enabling the vision of pervasive,...
Statistical identification of encrypted web browsing traffic (2002)
Qixiang Sun, Daniel R. Simon, Yi-Min Wang, Wilf Russell, Venkata N. Padmanabhan, Lili Qiu
Encryption is often proposed as a tool for protecting the privacy of World Wide Web browsing. However, encryption-particularly as typically implemented in, or in concert with popular Web...
A Cone-Based Distributed Topology-Control Algorithm for Wireless Multi-Hop Networks (2002)
Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-min Wang, Roger Wattenhofer
The topology of a wireless multi-hop network can be controlled by varying the transmission power at each node. In this paper, we give a detailed analysis of a cone-based distributed topology control...
Knowledge has been considered as the important resource to the competitive advantage of an organization. Knowledge sharing is critical because intellectual assets, unlike physical assets, increase in...
Knowledge has been considered as the important resource to the competitive advantage of an organization. Knowledge sharing is critical because intellectual assets, unlike physical assets, increase in...
Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-min Wang, Roger Wattenhofer
bahl~microsoft, corn ymwang~microsoft, corn rogerwa~microsoft, corn The topology of a wireless multi-hop network can be con-trolled by varying the transmission power at each node. In this paper, we...
Roger Wattenhofer, Li Li, Paramvir Bahl, Yi-min Wang
Abstract — The topology of wireless multihop ad hoc networks can be controlled by varying the transmission power of each node. We propose a simple distributed algorithm where each node makes local...
Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-min Wang, Roger Wattenhofer
The topology of a wireless multi-hop network can be controlled by varying the transmission power at each node. In this paper, we give a detailed analysis of a cone-based distributed topology control...
Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer
The topology of a wireless multi-hop network can be controlled by varying the transmission power at each node. In this paper, we give a detailed analysis of a cone-based distributed topology control...
Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-min Wang, Roger Wattenhofer
The topology of a wireless multi-hop network can be controlled by varying the transmission power at each node. In this paper, we give a detailed analysis of a cone-based distributed topology control...
Roger Wattenhofer, Li Li, Paramvir Bahl, Yi-min Wang
Abstract — The topology of wireless multihop ad hoc networks can be controlled by varying the transmission power of each node. We propose a simple distributed algorithm where each node makes local...
Roger Wattenhofer, Li Li, Paramvir Bahl, Yi-min Wang
Abstract--- The topology of wireless multihop ad hoc networks can be controlled by varying the transmission power of each node. We propose a simple distributed algorithm where each node makes local...
A Survey of Rollback-Recovery Protocols (2001)
Mootaz Elnozahy, Lorenzo Alvisi, Yi-min Wang, David B. Johnson
This survey covers rollback-recovery techniques that do not require special language constructs. In the first part of the survey we classify rollback-recovery protocols into checkpoint-based and...
Roger Wattenhofer, Li Li, Paramvir Bahl, Yi-min Wang
Abstract — The topology of wireless multihop ad hoc networks can be controlled by varying the transmission power of each node. We propose a simple distributed algorithm where each node makes local...
Tight Upper Bound on Useful Distributed System Checkpoints (2001)
Yi-min Wang, Pi-yu Chung, W. Kent Fuchs
In this paper, we give an alternative proof of the necessary and sufficient condition for achieving optimal checkpoint garbage collection in distributed systems [9]. We show that, by formulating the...
Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-min Wang, Roger Wattenhofer
The topology of a wireless multi-hop network can be controlled by varying the transmission power at each node. In this paper, we give a detailed analysis of a cone-based distributed topology control...
A Toolkit for Building Dependable and Extensible Home Networking Applications (2000)
Wilf Russell, Anish Arora, Yi-min Wang, Wilf Russell, Anish Arora
original publication of this paper was granted to USENIX. Copyright to this work is retained by the authors. Permission is granted for the noncommercial reproduction of the complete work for...
A Toolkit for Building Dependable and Extensible Home Networking Applications (2000)
Yi-min Wang, Wilf Russell, Anish Arora
Dependability and extensibility are two of the key requirements to successful home networking. In this paper, we describe the design and implementation of a software development toolkit for building...
Towards dependable home networking: An experience report (2000)
Yi-min Wang, Wilf Russell, Anish Arora, Jun Xu, Rajesh K. Jagannathan
As the success of the Web increasingly brings us towards a fully connected world, home networking systems that connect and manage home appliances become the natural next step to complete the...
Evaluations on domino-free communication-induced checkpointing protocols (1999)
Jichiang Tsai, Yi-min Wang, Sy-yen Kuo
Abstract- We give a detailed evaluation on communication-induced checkpointing protocols which are domino-effect free. We investigate the validity of a common intuition in the literature, and...
High-Performance Distributed Objects over System Area Networks (1999)
Alessandro Forin, Galen Hunt, Li Li, Yi-min Wang
In this paper, we describe an approach to build highperformance, commercial distributed object systems over system area networks (SANs) with user-level networking. The specific platforms we use in...
Scheduling Message Processing for Reducing Rollback Propagation, (1998)
Traditional checkpointing and rollback recovery techniques for parallel systems have typically assumed the communication pattern is specified by program behavior. In this paper we exploit the...
Checkpoint Space Reclamation for Independent Checkpointing in Message-Passing Systems, (1998)
Wang, Yi-Min, Chung, Pi-Yu, Lin, In-Jen, Fuchs, W. K.
The main disadvantages of independent checkpointing in message-passing systems are the possible domino effect and the associated storage space overhead for maintaining multiple checkpoints. In most...
Optimistic Message Logging for Independent Checkpointing in Message-Passing Systems, (1998)
Message-passing systems with communications protocol transparent to the applications require message logging to ensure the consistency between checkpoints. This paper describes a periodic independent...
Lazy Checkpoint Coordination for Bounding Rollback Propagation, (1998)
Independent checkpointing allows maximum process autonomy but suffers from potential domino effects. Coordinated checkpointing eliminates the domino effect by sacrificing a certain degree of process...
Progressive Retry for Software Error Recovery in Distributed Systems, (1998)
Wang, Yi-Min, Huang, Yennun, Fuchs, W. K.
In this paper, we describe a method of execution retry for bypassing software errors based on checkpointing, rollback, message reordering and replaying. We demonstrate how rollback techniques,...
Progressive Retry for Software Error Recovery in Distributed Systems, (1998)
Wang, Yi-Min, Huang, Yennum, Fuchs, W. K.
In this paper, we describe a method of execution retry for bypassing software faults based on checkpointing, rollback, message reordering and replaying. We demonstrate how rollback techniques,...
A Survey of Rollback-Recovery Protocols in Message-Passing Systems (1998)
Elnozahy, Mootaz, Alvisi, Lorenzo, Wang, Yi-Min, Johnson, David B.
This survey covers rollback-recovery techniques that do not require special language constructs. In the first part of the survey we classify rollback-recovery protocols into checkpoint-based and...
COMERA: COM Extensible Remoting Architecture (1998)
COMERA: COM Extensible Remoting Architecture In a distributed object system, remoting architecture refers to the infrastructure that allows client programs to invoke methods on remote server objects...
Jichiang Tsai, Sy-Yen Kuo and Yi-Min Wang (1998)
Rollback-dependency Trackability, Jichiang Tsai, Sy-yen Kuo, Yi-min Wang
Rollback-Dependency Trackability (RDT) is a property that states that all rollback dependencies between local checkpoints are on-line trackable by using a transitive dependency vector. In this paper,...
Rollback-dependency Trackability, Jichiang Tsai, Sy-yen Kuo, Yi-min Wang
Rollback-Dependency Trackability (RDT) is a property that states that all rollback dependencies between local checkpoints are on-line trackable by using a transitive dependency vector. In this paper,...
Jichiang Tsai, Yi-min Wang, Sy-Yen Kuo
In this paper, we give a theoretical analysis for communication-induced checkpointing protocols that ensure Rollback-Dependency Trackability (RDT). RDT is a property such that all dependencies...
COM on a Multicast Transport (1998)
Yi-min Wang, P. Emerald Chung, P. Emerald Chung, Yennun Huang, Yennun Huang
Due to the wide availability of the Internet and intranets, the use of multicast applications, such as document sharing, collaborative groupware and multimedia delivery, has grown quickly. Another...
Lazy Checkpoint Coordination for Bounding Rollback Propagation, (1997)
In this paper, we propose the technique of lazy checkpoint coordination which preserves process autonomy while employing communication-induced checkpoint coordination for bounding rollback...
Optimistic distributed simulation based on transitive dependency tracking (1997)
Om P. Damani, Yi-min Wang, Vijay K. Garg
In traditional optimistic distributed simulation protocols, a logical process(LP) receiving a straggler rolls back and sends out anti-messages. Receiver of an anti-message may also roll back and send...
Distributed recovery with K-optimistic logging (1997)
Yi-min Wang, Om P. Damani, Vijay K. Garg
Fault-tolerance techniques based on checkpointing and message logging have been increasingly used in real-world applications to reduce service downtime. Most industrial applications have chosen...
Optimistic Distributed Simulation Based on Transitive Dependency Tracking (1997)
Om P. Damani, Yi-min Wang, Vijay K. Garg
In traditional optimistic distributed simulation protocols, a logical process(LP) receiving a straggler rolls back and sends out anti-messages. Receiver of an anti-message may also roll back and send...
Distributed Recovery with (1997)
Optimistic Logging, Yi-min Wang, Om P. Damani, Vijay K. Garg
Fault-tolerance techniques based on checkpointing and message logging have been increasingly used in real-world applications to reduce service downtime. Most industrial applications have chosen...
Xept: A Software Instrumentation Method for Exception Handling (1997)
Kiem-phong Vo, Yi-min Wang, P. Emerald Chung, Yennun Huang
Modern software systems are often built from existing library components. A common problem is how to fix bugs when source code is not available. Xept is an instrumentation language and tool that can...
Distributed Recovery with (1997)
Optimistic Logging, Yi-min Wang, Om P. Damani, Vijay K. Garg
Fault-tolerance techniques based on checkpointing and message logging have been increasingly used in real-world applications to reduce service downtime. Most industrial applications have chosen...
Optimistic distributed simulation based on transitive dependency tracking (1997)
Om P. Damani, Yi-min Wang, Vijay I<. Garg
In traditional optimistic distributed simulation pro-tocols, a logical process(LP) receiving a straggler rolls back and sends out anti-messages. Receiver of an anti-message may also roll back and...
Distributed recovery with K-optimistic logging (1997)
Fault-tolerance techniques based on checkpointing and message logging have been increasingly used in real-world applications to reduce service down-time. Most industrial applications have chosen...
A survey of rollback-recovery protocols in message-passing systems (1996)
Mootaz Elnozahy, Lorenzo Alvisi, Yi-min Wang, David B. Johnson
This survey covers rollback-recovery techniques that do not require special language constructs. In the first part of the survey we classify rollback-recovery protocols into checkpoint-based and...
A Survey of Rollback-Recovery Protocols in Message-Passing Systems (1996)
Mootaz Elnozahy, Lorenzo Alvisi, Yi-min Wang, David B. Johnson
This survey covers rollback-recovery techniques that do not require special language constructs. In the first part of the survey we classify rollback-recovery protocols into checkpoint-based and...
A survey of rollback-recovery protocols in message-passing systems (1996)
Mootaz Elnozahy, Yi-min Wang, Lorenzo Alvisi, David B. Johnson
This survey covers rollback-recovery techniques that do not require special language constructs. In the first part of the survey we classify rollback-recovery protocols into checkpoint-based and...
Guaranteed deadlock recovery: Deadlock resolution with rollback propagation (1995)
Yi-min Wang, Michael Merritt, Alexander B. Romanovsky
Traditionally, deadlock resolution is performed by simply aborting any process or the lowest-priority process (called the victim) involved in a deadlock cycle. In message-passing applications where...
When Piecewise Determinism Is (1995)
Almost Edith, Edith Cohen, Yi-min Wang, Gaurav Suri
Most existing log-based recovery techniques assume perfect piecewise determinism. In practice, however, the behavior of certain events is determined by the execution environment, and is not...
Checkpointing and Its Applications (1995)
Yi-min Wang, Yennun Huang, Kiem-phong Vo, Pi-yu Chung, Ra Kintala
This paper describes our experience with the implementation and applications of the Unix checkpointing library libckp, and identifies two concepts that have proven to be the key to making...
Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation (1995)
Yi-min Wang, Michael Merritt, Alexander B. Romanovsky
Traditionally, deadlock resolution is performed by simply aborting any process or the lowest-priority process (called the victim) involved in a deadlock cycle. In message-passing systems where...
Tight Upper Bound on Useful Distributed System Checkpoints (1995)
Yi-min Wang, Pi-yu Chung, W. Kent Fuchs
In this paper, we give an alternative proof of the necessary and sufficient condition for achieving optimal checkpoint garbage collection in distributed systems [9]. We show that, by formulating the...
Why Optimistic Message Logging Has Not Been Used In Telecommunications Systems (1995)
Much of the literature on message logging and checkpointing in the past decade has been based on a so-called optimistic approach [1] that places more emphasis on failure-free overhead than recovery...
When Piecewise Determinism Is (1995)
Almost Edith, Edith Cohen, Yi-min Wang, Gaurav Suri
Most existing log-based recovery techniques assume perfect piecewise determinism. In practice, however, the behavior of certain events is determined by the execution environment, and is not...
Maximum and Minimum Consistent Global Checkpoints and Their Applications (1995)
This paper considers the problem of constructing the maximum and the minimum consistent global checkpoints that contain a target set of checkpoints, and identify it as a generic issue in...
Checkpointing and its applications (1995)
Yi-min Wang, Yennun Huang, Kiem-phong Vo, Pi-yu Chung, Ra Kintala
This paper describes our experience with the implementation and applications of the Unix checkpointing library libckp, and identifies two concepts that have proven to be the key to making...
Logic Design Error Diagnosis and Correction (1994)
Pi-Yu Chung, Yi-min Wang, Ibrahim N. Hajj
She's the neighbor dog who's courting my dog.
Lazy Checkpoint Coordination for Bounding Rollback Propagation (1993)
In this paper, we propose the technique of lazy checkpoint coordination which preserves process autonomy while employing communication-induced checkpoint coordination for bounding rollback...
Optimistic Message Logging for Independent Checkpointing in Message-Passing Systems (1992)
Message-passing systems with communication protocol transparent to the applications typically require message logging to ensure consistency between checkpoints. This paper describes a periodic...
Optimistic Message Logging for Independent Checkpointing in Message-Passing Systems (1992)
Message-passing systems with communication protocol transparent to the applications typically require message logging to ensure consistency between checkpoints. This paper describes a periodic...