Follow
Aarthi Sundaram
Title
Cited by
Cited by
Year
Linear time algorithm for quantum 2SAT
I Arad, M Santha, A Sundaram, S Zhang
Theory of Computing 14 (1), 1 -- 27, 2018
182018
Quantum hardness of learning shallow classical circuits
S Arunachalam, AB Grilo, A Sundaram
SIAM Journal on Computing 50 (3), 972-1013, 2021
122021
Secure software leasing without assumptions
A Broadbent, S Jeffery, S Lord, S Podder, A Sundaram
Theory of Cryptography: 19th International Conference, TCC 2021, Raleigh, NC …, 2021
112021
Quantum algorithms for reinforcement learning with a generative model
D Wang, A Sundaram, R Kothari, A Kapoor, M Roetteler
International Conference on Machine Learning, 10916-10926, 2021
102021
Quantum generalizations of the polynomial hierarchy with applications to QMA (2)
S Gharibian, M Santha, J Sikora, A Sundaram, J Yirka
arXiv preprint arXiv:1805.11139, 2018
102018
Quantum learning algorithms imply circuit lower bounds
S Arunachalam, AB Grilo, T Gur, IC Oliveira, A Sundaram
2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS …, 2022
72022
Gottesman types for quantum programs
R Rand, A Sundaram, K Singhal, B Lackey
arXiv preprint arXiv:2109.02197, 2021
62021
On the complexity of trial and error for constraint satisfaction problems
G Ivanyos, R Kulkarni, Y Qiao, M Santha, A Sundaram
Journal of Computer and System Sciences 92, 48-64, 2018
62018
Static analysis of quantum programs via gottesman types
R Rand, A Sundaram, K Singhal, B Lackey
arXiv preprint arXiv:2101.08939, 2021
42021
Assessing requirements to scale to practical quantum advantage
ME Beverland, P Murali, M Troyer, KM Svore, T Hoeffler, V Kliuchnikov, ...
arXiv preprint arXiv:2211.07629, 2022
22022
Extending Gottesman Types Beyond the Clifford Group
R Rand, A Sundaram, K Singhal, B Lackey
Workshop on Programming Languages for Quantum Computing, 2021
12021
A Type System for Quantum Resources
R Rand, A Sundaram, K Singhal, B Lackey
Draft. URL: https://ks. cs. uchicago. edu/publication/quantum-resourcetypes …, 2019
12019
On classical and quantum constraint satisfaction problems in the trial and error model
A Sundaram
PQDT-Global, 2017
12017
On the complexity of probabilistic trials for hidden satisfiability problems
I Arad, A Bouland, D Grier, M Santha, A Sundaram, S Zhang
arXiv preprint arXiv:1606.03585, 2016
12016
Quantum divide and conquer
AM Childs, R Kothari, M Kovacs-Deak, A Sundaram, D Wang
arXiv preprint arXiv:2210.06419, 2022
2022
Reinforcement learning with quantum oracle
W Daochen, AM SUNDARAM, RA Kothari, MH Roetteler, A Kapoor
US Patent App. 17/160,309, 2022
2022
Are Quantum Speedups for Learning Expressive Classes Possible?
S Arunachalam, AB Grilo, T Gur, IC Oliveira, A Sundaram
EasyChair, 2022
2022
A Rich Type System for Quantum Programs
A Sundaram, R Rand, K Singhal, B Lackey
arXiv preprint arXiv:2101.08939, 2021
2021
Mathematical methods for resource-based type theories
A Sundaram, B Lackey
arXiv preprint arXiv:1812.08726, 2018
2018
Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
A Sundaram, R Rand, K Singhal, B Lackey
The system can't perform the operation now. Try again later.
Articles 1–20