publications
publications by categories in reversed chronological order. Authors are listed in alphabetical order following the traditions of theoretical computer science, unless stated otherwise.
2025
- Breaking the Sorting Barrier for Directed Single-Source Shortest PathsIn Proceedings of the 57th Annual ACM Symposium on Theory of Computing, STOC 2025, Prague, Czechia, Jun 2025Best Paper Award
2023
- A Randomized Algorithm for Single-Source Shortest Path on Undirected Real-Weighted GraphsIn Proceedings of the 64th IEEE Symposium on Foundations of Computer Science, FOCS 2023, Santa Cruz, CA, USA, Nov 2023
2022
- Optimal vertex connectivity oraclesIn Proceedings of the 54th Annual ACM Symposium on Theory of Computing, STOC 2022, Rome, Italy, Jun 2022
2021
- The Structure of Minimum Vertex CutsIn 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, Glasgow, Scotland (Virtual Conference), Jul 2021
- Non-Mergeable Sketching for Cardinality EstimationIn 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, Glasgow, Scotland (Virtual Conference), Jul 2021