MDE recursively deduplicates data representations in pointer analysis to eliminate over 90% redundant set-union operations, yielding up to 18x lower peak memory and 8x faster runtime on SPEC benchmarks with gains increasing for larger programs.
SPEC CPU2006 benchmark descriptions
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2representative citing papers
PoisonCap uses a new poison capability format to deliver strict use-after-free and initialization safety for CHERI systems with no fundamental overhead over Cornucopia baselines.
citing papers explorer
-
Points-to Analysis Using MDE: A Multi-level Deduplication Engine for Repetitive Data and Operations
MDE recursively deduplicates data representations in pointer analysis to eliminate over 90% redundant set-union operations, yielding up to 18x lower peak memory and 8x faster runtime on SPEC benchmarks with gains increasing for larger programs.
-
PoisonCap: Efficient Hierarchical Temporal Safety for CHERI
PoisonCap uses a new poison capability format to deliver strict use-after-free and initialization safety for CHERI systems with no fundamental overhead over Cornucopia baselines.