Demo Data from EDBT 2026 / reviewers in the wild / expert
Hsuan-Chi Kuo
dblp:200/7957
· DBLP profile ↗
3ranked-venue papers
2as first author
2since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 2 · 2 first-author · 1 since 2021Security and privacy · 1 · 1 since 2021
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.
| Software engineering, system software, and programming languages
2 papers |
Operating systems · 89% Program verification · 11% | |
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Cloud and datacenter computing · 100% | |
| Network and information security
1 paper |
Systems and software security · 100% |
Topics — the 6 heaviest of 9, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Systems and software security
operating system security |
0.6 | 1 | 2022 | Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud · CCS 2022 |
Operating systems › extensible operating systems › kernel extensibility
kernel extensions |
0.6 | 1 | 2022 | Verified programs can party: optimizing kernel extensions via post-verification merging · EuroSys 2022 |
Cloud and datacenter computing › cloud security
confidential computing |
0.6 | 1 | 2022 | Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud · CCS 2022 |
Cloud and datacenter computing › cloud security
trusted execution environment |
0.6 | 1 | 2022 | Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud · CCS 2022 |
Operating systems › operating system design
unikernel |
0.4 | 1 | 2020 | A Linux in unikernel clothing · EuroSys 2020 |
Cloud and datacenter computing
workload isolation |
0.1 | 1 | 2020 | A Linux in unikernel clothing · EuroSys 2020 |
Methods — techniques the papers use, named apart from their topics
AMD SEV-SNP · 1.1kernel configuration specialization · 0.9program verification · 0.6BPF · 0.6
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted CloudabstractDespite the recent exponential growth in cloud adoption, businesses that handle sensitive data (e.g., health and financial sectors) are hesitant to migrate their on-premises IT infrastructure to the public cloud due to the lack of trust on the cloud provider. Confidential computing aims to move the cloud provider out of the trusted computing base. New hardware features such as AMD's SEV-SNP can run a full virtual machine (VM) with confidentiality and integrity protection against the cloud. However, there exist challenges in supporting legacy operating systems and enforcing security policies (e.g., firewalls) in confidential VMs. Xinyang Ge, Hsuan-Chi Kuo, Weidong Cui |
CCS | 2 |
| 2022 | Verified programs can party: optimizing kernel extensions via post-verification mergingabstractOperating system (OS) extensions are more popular than ever. For example, Linux BPF is marketed as a "superpower" that allows user programs to be downloaded into the kernel, verified to be safe and executed at kernel hook points. So, BPF extensions have high performance and are often placed at performance-critical paths for tracing and filtering. Hsuan-Chi Kuo, Kai-Hsun Chen, Yicheng Lu, Dan Williams 0001, Sibin Mohan, Tianyin Xu |
EuroSys | 1 |
| 2020 | A Linux in unikernel clothingabstractUnikernels leverage library OS architectures to run isolated workloads on the cloud. They have garnered attention in part due to their promised performance characteristics such as small image size, fast boot time, low memory footprint and application performance. However, those that aimed at generality fall short of the application compatibility, robustness and, more importantly, community that is available for Linux. In this paper, we describe and evaluate Lupine Linux, a standard Linux system that---through kernel configuration specialization and system call overhead elimination---achieves unikernel-like performance, in fact outperforming at least one reference unikernel in all of the above dimensions. At the same time, Lupine can run any application (since it is Linux) when faced with more general workloads, whereas many unikernels simply crash. We demonstrate a graceful degradation of unikernel-like performance properties. Hsuan-Chi Kuo, Dan Williams 0001, Ricardo Koller, Sibin Mohan |
EuroSys | 1 |