Tiark Rompf
Purdue University
H-index: 36
North America-United States
Top articles of Tiark Rompf
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Rhyme: A data-centric expressive query language for nested data structures | Supun Abeysinghe Tiark Rompf | 2024/1/10 | |
Check for updates Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures | Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings | Supun Abeysinghe Tiark Rompf | 2024/1/9 |
Flan: An expressive and efficient datalog compiler for program analysis | Proceedings of the ACM on Programming Languages | Supun Abeysinghe Anxhelo Xhebraj Tiark Rompf | 2024/1/5 |
Polymorphic reachability types: Tracking freshness, aliasing, and separation in higher-order generic programs | Proceedings of the ACM on Programming Languages | Guannan Wei Oliver Bračevac Songlin Jia Yuyan Bao Tiark Rompf | 2024/1/5 |
Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking | arXiv preprint arXiv:2404.08217 | Songlin Jia Guannan Wei Siyuan He Yueyang Tang Yuyan Bao | 2024/4/12 |
Graph IRS for impure higher-order languages: making aggressive optimizations affordable with precise effect dependencies | Proceedings of the ACM on Programming Languages | Oliver Bračevac Guannan Wei Songlin Jia Supun Abeysinghe Yuxuan Jiang | 2023/10/16 |
Graph IRS for impure higher-order languages (technical report) | arXiv preprint arXiv:2309.08118 | Oliver Bračevac Guannan Wei Songlin Jia Supun Abeysinghe Yuxuan Jiang | 2023/9/15 |
Compiling parallel symbolic execution with continuations | Guannan Wei Songlin Jia Ruiqi Gao Haotian Deng Shangyin Tan | 2023/5/14 | |
Architecting intermediate layers for efficient composition of data management and machine learning systems | arXiv preprint arXiv:2311.02781 | Supun Abeysinghe Fei Wang Gregory Essertel Tiark Rompf | 2023/11/5 |
What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact) | Anxhelo Xhebraj Oliver Bračevac Guannan Wei Tiark Rompf | 2022 | |
OCTAL: Graph Representation Learning for LTL Model Checking | Prasita Mukherjee Haoteng Yin Susheel Suresh Tiark Rompf | 2022/7/24 | |
Efficient incrementialization of correlated nested aggregate queries using relative partial aggregate indexes (RPAI) | Supun Abeysinghe Qiyang He Tiark Rompf | 2022/6/10 | |
A GNN Based Approach to LTL Model Checking | arXiv preprint arXiv:2110.14824 | Prasita Mukherjee Tiark Rompf | 2021/10/28 |
HACCLE: metaprogramming for secure multi-party computation | Yuyan Bao Kirshanthan Sundararajah Raghav Malik Qianchuan Ye Christopher Wagner | 2021/10/17 | |
Reachability types: tracking aliasing and separation in higher-order functional programs | Proceedings of the ACM on Programming Languages | Yuyan Bao Guannan Wei Oliver Bračevac Yuxuan Jiang Qiyang He | 2021/10/15 |
LLSC: A parallel symbolic execution compiler for LLVM IR | Guannan Wei Shangyin Tan Oliver Bračevac Tiark Rompf | 2021/8/23 | |
Prolog-Style Meta-Programming miniKanren | Relational Programming Workshop | NADA AMIN WILLIAM E BYRD TIARK ROMPF | 2021 |
Compiling symbolic execution with staging and algebraic effects | Proceedings of the ACM on Programming Languages | Guannan Wei Oliver Bračevac Shangyin Tan Tiark Rompf | 2020/11/13 |
Architecting a query compiler for spatial workloads | Ruby Y Tahboub Tiark Rompf | 2020/6/11 | |
HACCLE: An Ecosystem for Building Secure Multi-Party Computations | arXiv preprint arXiv:2009.01489 | Yuyan Bao Kirshanthan Sundararajah Raghav Malik Qianchuan Ye Christopher Wagner | 2020 |