Shubham Ugare

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 17

Top Topics

Walsh Hadamard Transform

Medical Image Analysis

Approximate Query Processing

Incremental Version

Top Venues

Proc. ACM Program. Lang.

Publications

Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic
Incremental Randomized Smoothing Certification. ICLR (2024)
Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
Is Watermarking LLM-Generated Code Robust? CoRR (2024)
Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh
Improving LLM Code Generation with Grammar Augmentation. CoRR (2024)
Nandeeka Nayak, Toluwanimi O. Odemuyiwa, Shubham Ugare, Christopher W. Fletcher, Michael Pellauer, Joel S. Emer
TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators (Abstract). HOPC@SPAA (2024)
Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
Is Watermarking LLM-Generated Code Robust? Tiny Papers @ ICLR (2024)
Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh
Incremental Verification of Neural Networks. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Nandeeka Nayak, Toluwanimi O. Odemuyiwa, Shubham Ugare, Christopher W. Fletcher, Michael Pellauer, Joel S. Emer
TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators. CoRR (2023)
Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic
Incremental Randomized Smoothing Certification. CoRR (2023)
Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh
Incremental Verification of Neural Networks. CoRR (2023)
Nandeeka Nayak, Toluwanimi O. Odemuyiwa, Shubham Ugare, Christopher W. Fletcher, Michael Pellauer, Joel S. Emer
TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators. MICRO (2023)
Shubham Ugare, Gagandeep Singh, Sasa Misailovic
Proof transfer for fast certification of multiple approximate neural networks. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic
A general construction for abstract interpretation of higher-order automatic differentiation. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Ran Ben Basat, Seungbum Jo, Srinivasa Rao Satti, Shubham Ugare
Approximate query processing over static sets and sliding windows. Theor. Comput. Sci. 885 (2021)
Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic
Statheros: Compiler for Efficient Low-Precision Probabilistic Programming. DAC (2021)
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya V. Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
Secure Medical Image Analysis with CrypTFlow. CoRR (2020)
Ran Ben-Basat, Seungbum Jo, Srinivasa Rao Satti, Shubham Ugare
Approximate Query Processing over Static Sets and Sliding Windows. ISAAC (2018)
Ran Ben-Basat, Seungbum Jo, Srinivasa Rao Satti, Shubham Ugare
Approximate Query Processing over Static Sets and Sliding Windows. CoRR (2018)