Tiark Rompf

机构：Purdue University West Lafayette · ORCID：0000-0002-2068-3238

发表论文 157 篇 · 总被引 3337 次 · h-index 32

代表论文

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (2024 · Proceedings of the ACM on Programming Languages · 被引 12)
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies (2023 · Proceedings of the ACM on Programming Languages · 被引 12)
Flan: An Expressive and Efficient Datalog Compiler for Program Analysis (2024 · Proceedings of the ACM on Programming Languages · 被引 9)
Complete the Cycle: Reachability Types with Expressive Cyclic References (2025 · Proceedings of the ACM on Programming Languages · 被引 2)
Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory (2025 · Proceedings of the ACM on Programming Languages · 被引 2)
Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types (2026 · Proceedings of the ACM on Programming Languages · 被引 1)