Shubham Ugare

According to our database, Shubham Ugare authored at least 10 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Is Watermarking LLM-Generated Code Robust?

Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic

CoRR, 2024

Improving LLM Code Generation with Grammar Augmentation.

Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh

CoRR, 2024

2023

Incremental Verification of Neural Networks.

Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh

Proc. ACM Program. Lang., 2023

Incremental Randomized Smoothing Certification.

Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic

CoRR, 2023

TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators.

Nandeeka Nayak, Toluwanimi O. Odemuyiwa, Shubham Ugare, Christopher W. Fletcher, Michael Pellauer, Joel S. Emer

Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, 2023

2022

Proof transfer for fast certification of multiple approximate neural networks.

Shubham Ugare, Gagandeep Singh, Sasa Misailovic

Proc. ACM Program. Lang., 2022

A general construction for abstract interpretation of higher-order automatic differentiation.

Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic

Proc. ACM Program. Lang., 2022

2021

Approximate query processing over static sets and sliding windows.

Ran Ben Basat, Seungbum Jo, Srinivasa Rao Satti, Shubham Ugare

Theor. Comput. Sci., 2021

Statheros: Compiler for Efficient Low-Precision Probabilistic Programming.

Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Secure Medical Image Analysis with CrypTFlow.

Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya V. Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare

CoRR, 2020