Demo Data from VLDB 2026 / reviewers in the wild / expert
Chris Xiong
dblp:380/9534
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2025
0009-0007-3071-074XORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 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
1 paper |
Programming languages and type systems · 100% | |
| Network and information security
1 paper |
Systems and software security · 100% |
Topics — the 4 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Systems and software security
information flow control |
0.9 | 1 | 2025 | Carapace: Static-Dynamic Information Flow Control in Rust · Proc. ACM Program. Lang. 2025 |
Programming languages and type systems
information flow control |
0.9 | 1 | 2025 | Carapace: Static-Dynamic Information Flow Control in Rust · Proc. ACM Program. Lang. 2025 |
Programming languages and type systems
language-based security |
0.9 | 1 | 2025 | Carapace: Static-Dynamic Information Flow Control in Rust · Proc. ACM Program. Lang. 2025 |
Systems and software security › data security
confidentiality and integrity |
0.3 | 1 | 2025 | Carapace: Static-Dynamic Information Flow Control in Rust · Proc. ACM Program. Lang. 2025 |
Methods — techniques the papers use, named apart from their topics
type system · 1.7static analysis · 1.7dynamic analysis · 1.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Carapace: Static-Dynamic Information Flow Control in RustabstractFine-grained information flow control (IFC) ensures confidentiality and integrity at the programming language level by ensuring that high-secrecy values do not affect low-secrecy values and that low-integrity values do not affect high-integrity values. However, prior support for fine-grained IFC is impractical: It either analyzes programs using whole-program static analysis, detecting false IFC violations; or it extends the language and compiler, thwarting adoption. Recent work called Cocoon demonstrates how to provide fine-grained IFC for Rust programs without modifying the language or compiler, but it is limited to static secrecy labels, and its case studies are limited. This paper introduces an approach called Carapace that employs Cocoon’s core approach and supports both static and dynamic IFC and supports both secrecy and integrity. We demonstrate Carapace using three case studies involving real applications and comprehensive security policies. An evaluation shows that applications can be retrofitted to use Carapace with relatively few changes, while incurring negligible run-time overhead in most cases. Carapace advances the state of the art by being the first hybrid static—dynamic IFC that works with an off-the-shelf language—Rust—and its unmodified compiler. Vincent Beardsley, Chris Xiong, Ada Lamba, Michael D. Bond |
Proc. ACM Program. Lang. | 2 |