Browse by Fellow

Dinur, Irit ; Filmus, Yuval ; Harsha, Prahladh (2025) Agreement tests on graphs and hypergraphs SIAM Journal on Computing, 54 (2). pp. 279-320. ISSN 0097-5397

Bitansky, Nir ; Harsha, Prahladh ; Ishai, Yuval ; Rothblum, Ron D. ; Wu, David J. (2024) Dot-product proofs and their applications In: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 27-30 October 2024, Chicago, IL, USA.

Goyal, Rohan ; Harsha, Prahladh ; Kumar, Mrinal ; Shankar, Ashutosh (2024) Fast list decoding of univariate multiplicity and folded reed-solomon codes In: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 27-30 October 2024, Chicago, IL, USA.

Harsha, Prahladh ; Kumar, Mrinal ; Saptharishi, Ramprasad ; Sudan, Madhu (2024) An improved line-point low-degree test* In: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 27-30 October 2024, Chicago, IL, USA.

Bhangale, Amey ; Harsha, Prahladh ; Paradise, Orr ; Tal, Avishay (2024) Rigid matrices from rectangular PCPs SIAM Journal on Computing, 53 (2). pp. 480-523. ISSN 0097-5397

Ghosh, Sumanta ; Harsha, Prahladh ; Herdade, Simao ; Kumar, Mrinal ; Saptharishi, Ramprasad (2023) Fast numerical multivariate multipoint evaluation In: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), 06-09 November 2023, Santa Cruz, CA, USA.

Agrawal, Shubhada ; Bhandari, Siddharth ; Bhattacharjee, Anirban ; Deo, Anand ; Dixit, Narendra M. ; Harsha, Prahladh ; Juneja, Sandeep ; Kesarwani, Poonam ; Swamy, Aditya Krishna ; Patil, Preetam ; Rathod, Nihesh ; Saptharishi, Ramprasad ; Shriram, Sharad ; Srivastava, Piyush ; Sundaresan, Rajesh ; Vaidhiyan, Nidhin Koshy ; Yasodharan, Sarath (2020) City-scale agent-based simulators for the study of non-pharmaceutical interventions in the context of the COVID-19 epidemic Journal of the Indian Institute of Science, 100 (4). pp. 809-847. ISSN 0970-4140

Harsha, Prahladh ; Srinivasan, Srikanth (2019) Robust multiplication-based tests for reed–muller codes IEEE Transactions on Information Theory, 65 (1). pp. 184-197. ISSN 0018-9448

Harsha, Prahladh ; Klivans, Adam ; Meka, Raghu (2013) An invariance principle for polytopes Journal of the ACM, 59 (6). pp. 1-25. ISSN 0004-5411

Dinur, Irit ; Harsha, Prahladh (2013) Composition of low-error 2-query PCPs using decodable PCPs SIAM Journal on Computing, 42 (6). pp. 2452-2486. ISSN 0097-5397

Dinur, Irit ; Harsha, Prahladh (2013) Composition of low-error 2-query PCPs using decodable PCPs SIAM Journal on Computing, 42 (6). pp. 2452-2486. ISSN 0097-5397

Ben-Sasson, Eli ; Harsha, Prahladh (2010) Lower bounds for bounded depth Frege proofs via Pudlak-Buss games ACM Transactions on Computational Logic, 11 (3). pp. 1-17. ISSN 1529-3785

Ben-Sasson, Eli ; Harsha, Prahladh ; Lachish, Oded ; Matsliah, Arie (2009) Sound 3-query PCPPs are long ACM Transactions on Computation Theory, 1 (2). pp. 1-49. ISSN 1942-3454

Harsha, Prahladh ; Ishai, Yuval ; Kilian, Joe ; Nissim, Kobbi ; Venkatesh, S. (2007) Communication vs. Computation computational complexity, 16 (1). pp. 1-33. ISSN 1016-3328

Harsha, Prahladh ; Sudan, M. (2000) Small PCPs with low query complexity computational complexity, 9 (3). pp. 157-201. ISSN 1016-3328

KRITHIVASAN, KAMALA ; BALAN, N. SAKTHI ; HARSHA, PRAHLADH (1999) Distributed processing in automata International Journal of Foundations of Computer Science, 10 (04). pp. 443-463. ISSN 0129-0541