publication venue for
- Matrix Multiplication via Matrix Groups 2023
- Dali: A Periodically Persistent Hash Map 2017
- Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering 2025
- Finite Matrix Multiplication Algorithms from Infinite Groups 2025
- Sparsification of Phylogenetic Covariance Matrices of k-Regular Trees 2024
- On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras 2023
- On the Algebraic Proof Complexity of Tensor Isomorphism 2023
- On p-Group Isomorphism: Search-To-Decision, Counting-To-Decision, and Nilpotency Class Reductions via Tensors 2021
- Average-Case Algorithms for Testing Isomorphism of Polynomials, Algebras, and Multilinear Forms 2021
- On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials I: Tensor Isomorphism-Completeness 2021
- Model-Free Reinforcement Learning for Stochastic Parity Games 2020
- Weighted Transducers for Robustness Verification 2020
- Hidden Independence in Unstructured Probabilistic Models 2020
- Lifestate: Event-Driven Protocols and Callback Control Flow 2019
- Computational Topology and the Unique Games Conjecture 2018
- An Axiomatic Study of Scoring Rule Markets 2018
- Minimum Circuit Size, Graph Isomorphism, and Related Problems 2018
- FO-Definable Transformations of Infinite Strings 2016
- Mean-Payoff Games on Timed Automata 2016
- Quantified Constraint Satisfaction on Monoids 2016
- Boundaries of VP and VNP 2016