EDBT 2026 Demo / reviewers in the wild / expert
Michael Le
dblp:23/1639
· DBLP profile ↗
7ranked-venue papers
5as first author
0since 2021 · last 2017
0000-0002-5000-6393ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 2 · 2 first-authorSystems, architecture and hardware · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Hardware reliability and fault tolerance · 56% Cloud and datacenter computing · 44% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Hardware reliability and fault tolerance
fault injection |
0.2 | 1 | 2015 | Fault Injection in Virtualized Systems - Challenges and Applications · IEEE Trans. Dependable Secur. Comput. 2015 |
Cloud and datacenter computing
virtualization |
0.2 | 1 | 2015 | Fault Injection in Virtualized Systems - Challenges and Applications · IEEE Trans. Dependable Secur. Comput. 2015 |
Hardware reliability and fault tolerance
dependability analysis |
0.1 | 1 | 2015 | Fault Injection in Virtualized Systems - Challenges and Applications · IEEE Trans. Dependable Secur. Comput. 2015 |
Methods — techniques the papers use, named apart from their topics
hypervisor-based injection · 0.2fault injection · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2017 | Agile Composition of Compliant Data Analytics PlatformsabstractSensitive data such as health records and financial transactions are increasingly being stored and processed in the cloud. Correspondingly, laws and regulations have been established to protect such data. For a cloud-based analytics service provider, it is of paramount importance to protect the sensitive information contained in customer data, while running analytics on it. While there exist a plethora of technologies to safeguard data, regulatory rules are not always defined in clear technical terms, and different regulations may impose different (or sometimes conflicting) rules on the analytics platform. Therefore, it remains a challenge in developing a platform that can support various security and compliance-enabling mechanisms, in a agile fashion, to reduce maintenance effort as well as improving scalability and performance. To address this challenge, we introduce the design and implementation of a cloud-based middleware platform that supports on-demand composition and configuration of security mechanisms to ease regulatory compliance enablement. We discuss at length our experiences and lessons learned from using our platform to deploy secure analytics systems at IBM and highlight the benefits of our approach by discussing the performance impact and trade-offs of different security mechanisms with respect to regulatory compliance. Michael Le, K. R. Jayaram, Yaron Weinsberg, Daniel J. Dean, Shu Tao |
IC2E | 1 |
| 2016 | Container and Microservice Driven Design for Cloud Infrastructure DevOpsabstractEmerging container technologies, such as Docker, offer unprecedented agility in developing and running applications in cloud environment especially when combined with a microservice-style architecture. However, it is often difficult to use containers to manage the cloud infrastructure, without sacrificing many benefits container offers. This paper identifies the key challenges that impede realizing the full promise of containerizing infrastructure services. Using OpenStack as a case study, we explore solutions to these challenges. Specifically, we redesign OpenStack deployment architecture to enable dynamic service registration and discovery, explore different ways to manage service state in containers, and enable containers to access the host kernel and devices. We quantify the efficiency of the container-based microservice-style DevOps compared to the VM-based approach, and study the scalability of the stateless and stateful containerized components. We also discuss limitations in our current design, and highlight open research problems that, if solved, can lead to wider adoption of containers in cloud infrastructure management. Michael Le, Shu Tao |
IC2E | 2 |
| 2015 | Fault Injection in Virtualized Systems - Challenges and ApplicationsabstractWe analyze the interaction between system virtualization and fault injection: (i) use of virtualization to facilitate fault injection into non-virtualized systems, and (ii) use of fault injection to evaluate the dependability of virtualized systems. We explore the benefits of using virtualization for fault injection and discuss the challenges of implementing fault injection in virtualized systems along with resolutions to those challenges. For experimental evaluation, we use a test platform that consists of the Gigan fault injector, that we have developed, with the Xen virtual machine monitor. We evaluate the degree to which fault injection results obtained from running the target system in a virtual machine are comparable to running the target system on bare hardware. We compare results when injection is done from within the target system versus from the hosting hypervisor. We evaluate the performance benefits of leveraging system virtualization for fault injection. Finally, we demonstrate the capabilities of our injector and highlight the benefits of leveraging system virtualization for fault injection by describing deployments of Gigan to evaluate both non-virtualized and virtualized systems. Michael Le, Yuval Tamir |
IEEE Trans. Dependable Secur. Comput. | 1 |
| 2011 | Resilient Virtual ClustersabstractClusters of computers can provide, in aggregate, reliable services despite the failure of individual computers. System-level virtualization is widely used to consolidate the workload of multiple physical systems as multiple virtual machines (VMs) on a single physical computer. A single physical computer thus forms a \fIvirtual cluster\fP of VMs. A key difficulty with virtualization is that the failure of the virtualization infrastructure (VI) often leads to the failure of multiple VMs. This is likely to overload "cluster computing" resiliency mechanisms, typically designed to tolerate the failure of only a single node at a time. By supporting recovery from failure of key VI components, we have enhanced the resiliency of a VI (Xen), thus enabling the use of existing "cluster computing" techniques to provide resilient virtual clusters. In the overwhelming majority of cases, these enhancements allow recovery from errors in the VI to be accomplished without the failure of more than a single VM. The resulting resiliency of the virtual cluster is demonstrated by running two existing "cluster computing" systems while subjecting the VI to injected faults. Michael Le, Israel Hsu, Yuval Tamir |
PRDC | 1 |
| 2011 | ReHype: enabling VM survival across hypervisor failuresabstractWith existing virtualized systems, hypervisor failures lead to overall system failure and the loss of all the work in progress of virtual machines (VMs) running on the system. We introduce ReHype, a mechanism for recovery from hypervisor failures by booting a new instance of the hypervisor while preserving the state of running VMs. VMs are stalled during the hypervisor reboot and resume normal execution once the new hypervisor instance is running. Hypervisor failures can lead to arbitrary state corruption and inconsistencies throughout the system. ReHype deals with the challenge of protecting the recovered hypervisor instance from such corrupted state and resolving inconsistencies between different parts of hypervisor state as well as between the hypervisor and VMs and between the hypervisor and the hardware. We have implemented ReHype for the Xen hypervisor. The implementation was done incrementally, using results from fault injection experiments to identify the sources of dangerous state corruption and inconsistencies. The implementation of ReHype involved only 880 LOC added or modified in Xen. The memory space overhead of ReHype is only 2.1MB for a pristine copy of the hypervisor code and static data plus a small reserved memory area. The fault injection campaigns used to evaluate the effectiveness of ReHype involved a system with multiple VMs running I/O and hypercall-intensive benchmarks. Our experimental results show that the ReHype prototype can successfully recover from over 90% of detected hypervisor failures. Michael Le, Yuval Tamir |
VEE | 1 |
| 2009 | Maintaining Network QoS Across NIC Device Driver Failures Using VirtualizationabstractDevice driver failures have been shown to be a major cause of system failures. Network services stress NIC device drivers, increasing the probability of NIC driver bugs being manifested as server failures. System virtualization is increasingly used for server consolidation and management. The isolated driver domain (IDD) architecture used by several virtual machine monitors, such as Xen, forms a natural foundation for making systems resilient to NIC driver failures. In order to realize this potential, recovery must be fast enough to maintain QoS for network services across NIC driver failures. We show that the standard Xen configuration, enhanced with simple detection and recovery mechanisms, cannot provide such QoS. However, with NIC drivers isolated in two virtual machines, in a primary/warm-spare configuration, the system can recover from an overwhelming majority of NIC driver failures in under 10 ms. Michael Le, Andrew Gallagher, Yuval Tamir, Yoshio Turner |
NCA | 1 |
| 2008 | LOUVRE: Landmark Overlays for Urban Vehicular Routing EnvironmentsabstractIn this paper, we introduce a routing solution called "landmark overlays for urban vehicular routing environments" (LOUVRE), an approach that efficiently builds a landmark overlay network on top of an urban topology. We define urban junctions as overlay nodes and create an overlay link if and only if the traffic density of the underlying network guarantees the multi-hop vehicular routing between the two overlay nodes. LOUVRE contains a distributed traffic density estimation scheme which is used to evaluate the existence of an overlay link. Then, efficient routing is performed on the overlay network, guaranteeing a correct delivery of each packet. We evaluate LOUVRE against the benchmark routing protocols of GPSR and GPCR and show that LOUVRE performs higher in packet delivery and achieves lower hop count. Kevin C. Lee, Michael Le, Jérôme Härri, Mario Gerla |
VTC Fall | 2 |