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
112021
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
82018
Secure software leasing without assumptions
A Broadbent, S Jeffery, S Lord, S Podder, A Sundaram
Theory of Cryptography Conference, 90-120, 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
Gottesman types for quantum programs
R Rand, A Sundaram, K Singhal, B Lackey
arXiv preprint arXiv:2109.02197, 2021
52021
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
52021
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
42022
Static analysis of quantum programs via gottesman types
R Rand, A Sundaram, K Singhal, B Lackey
arXiv preprint arXiv:2101.08939, 2021
42021
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
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
Trial and Error for Graph Properties
A Saraf, T Schneider, A Sundaram
Are quantum speedups for learning expressive classes possible?
AB Grilo, T Gur, A Sundaram
The system can't perform the operation now. Try again later.
Articles 1–18