Ultraverse: An Efficient What-if Analysis Framework for Software Applications Interacting with Database Systems
Summary: Ultraverse unifies app- and DB-layer what-if analysis via dynamic symbolic execution, translating app code into compact SQL procedures and preserving semantics. Query dependency analysis prunes non-influential transactions and enables parallel replay of independent ones, delivering 7.7x–291x speedups on unmodified DBs and legacy apps. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Ronny Ko (Ohio State University; Osaka University; Sensor Tech)
- 2. Chuan Xiao (Nagoya University; Osaka University)
- 3. Makoto Onizuka (Osaka University)
- 4. Zhiqiang Lin (Ohio State University)
- 5. Yihe Huang (Databricks)
BibTeX Citation
@inproceedings{ko_sigmod25,
title = {{Ultraverse: An Efficient What-if Analysis Framework for Software Applications Interacting with Database Systems}},
author = {Ko, Ronny and Xiao, Chuan and Onizuka, Makoto and Lin, Zhiqiang and Huang, Yihe},
series = {{SIGMOD} '25},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/3709734},
url = {https://dl.acm.org/doi/10.1145/3709734},
year = {2025}
}Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 19 of 19 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 9,694 | The UDFBench Benchmark for General-purpose UDF Queries | 2025 | VLDB |
| 2 | 11,345 | What If: Causal Analysis with Graph Databases | 2025 | VLDB |
| 3 | 14,047 | Bridging the Application and DBMS Divide Using Static Analysis and Dynamic Profiling | 2009 | SIGMOD |
| 4 | 8,822 | Boosting Efficiency of External Pipelines by Blurring Application Boundaries | 2022 | CIDR |
| 5 | 2,993 | Extracting Equivalent SQL from Imperative Code in Database Applications | 2016 | SIGMOD |
| 6 | 2,979 | StatusQuo: Making Familiar Abstractions Perform Using Program Analysis | 2013 | CIDR |
| 7 | 11,044 | Fast Verification of Strong Database Isolation | 2026 | VLDB |
| 8 | 13,655 | UmbraPerf - Profiling Results Tailored for DBMS Developers | 2025 | VLDB |
| 9 | 4,919 | Efficient Answering of Historical What-if Queries | 2022 | SIGMOD |
| 10 | 4,566 | HYPER: Hypothetical Reasoning With What-If and How-To Queries Using a Probabilistic Causal Approach | 2022 | SIGMOD |