SynCode: LLM Generation with Grammar Augmentation S Ugare, T Suresh, H Kang, S Misailovic, G Singh arXiv preprint arXiv:2403.01632, 2024 | 34* | 2024 |
Teaal: A declarative framework for modeling sparse tensor accelerators N Nayak, TO Odemuyiwa, S Ugare, C Fletcher, M Pellauer, J Emer Proceedings of the 56th Annual IEEE/ACM International Symposium on …, 2023 | 19* | 2023 |
Proof transfer for fast certification of multiple approximate neural networks S Ugare, G Singh, S Misailovic Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-29, 2022 | 15 | 2022 |
Incremental verification of neural networks S Ugare, D Banerjee, S Misailovic, G Singh Proceedings of the ACM on Programming Languages 7 (PLDI), 1920-1945, 2023 | 13 | 2023 |
A general construction for abstract interpretation of higher-order automatic differentiation J Laurel, R Yang, S Ugare, R Nagel, G Singh, S Misailovic Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1007-1035, 2022 | 12 | 2022 |
Statheros: Compiler for efficient low-precision probabilistic programming J Laurel, R Yang, A Sehgal, S Ugare, S Misailovic 2021 58th ACM/IEEE Design Automation Conference (DAC), 787-792, 2021 | 12 | 2021 |
Secure medical image analysis with cryptflow J Alvarez-Valle, P Bhatu, N Chandran, D Gupta, A Nori, A Rastogi, ... arXiv preprint arXiv:2012.05064, 2020 | 11 | 2020 |
Incremental randomized smoothing certification S Ugare, T Suresh, D Banerjee, G Singh, S Misailovic ICLR 2024, 2023 | 7 | 2023 |
Is Watermarking LLM-Generated Code Robust? T Suresh, S Ugare, G Singh, S Misailovic ICLR 2024 tiny papers, 2024 | 2 | 2024 |
Statheros: Compiler for efficient low-precision probabilistic programming. In 2021 58th ACM/IEEE Design Automation Conference (DAC) J Laurel, R Yang, A Sehgal, S Ugare, S Misailovic IEEE, 2021 | 2 | 2021 |
Approximate query processing over static sets and sliding windows RB Basat, S Jo, SR Satti, S Ugare Theoretical Computer Science 885, 1-14, 2021 | 1 | 2021 |
ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs Y Yang, S Ugare, Y Zhao, G Singh, S Misailovic arXiv preprint arXiv:2410.24214, 2024 | | 2024 |
IterGen: Iterative Structured LLM Generation S Ugare, R Gumaste, T Suresh, G Singh, S Misailovic arXiv preprint arXiv:2410.07295, 2024 | | 2024 |
Toward Continuous Verification of DNNs S Ugare, D Banerjee, T Suresh, S Misailovic, G Singh ICML 2023 workshop, 0 | | |