Pushing the Limit: Verified Performance-Optimal Causally-Consistent
Database TransactionsInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2024 |
Efficient Black-box Checking of Snapshot Isolation in DatabasesProceedings of the VLDB Endowment (PVLDB), 2023 |
TranAD: Deep Transformer Networks for Anomaly Detection in Multivariate
Time Series DataProceedings of the VLDB Endowment (PVLDB), 2022 |