Follow
Shubham Ugare
Title
Cited by
Cited by
Year
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
152022
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
132023
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
122022
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
122021
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
112020
Incremental randomized smoothing certification
S Ugare, T Suresh, D Banerjee, G Singh, S Misailovic
ICLR 2024, 2023
72023
Is Watermarking LLM-Generated Code Robust?
T Suresh, S Ugare, G Singh, S Misailovic
ICLR 2024 tiny papers, 2024
22024
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
22021
Approximate query processing over static sets and sliding windows
RB Basat, S Jo, SR Satti, S Ugare
Theoretical Computer Science 885, 1-14, 2021
12021
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
The system can't perform the operation now. Try again later.
Articles 1–14