Secure Medical Image Analysis with CrypTFlow. - Javier Alvarez-Valle; Pratik Bhatu; Nishanth Chandran; Divya Gupta 001; Aditya V. Nori; Aseem Rastogi; Mayank Rathee; Rahul Sharma 001; Shubham Ugare (CoRR, 2020)

Statheros: Compiler for Efficient Low-Precision Probabilistic Programming. - Jacob Laurel; Rem Yang; Atharva Sehgal; Shubham Ugare; Sasa Misailovic (DAC, 2021)

Approximate query processing over static sets and sliding windows. - Ran Ben Basat; Seungbum Jo; Srinivasa Rao Satti; Shubham Ugare (Theor. Comput. Sci., 2021)

A general construction for abstract interpretation of higher-order automatic differentiation. - Jacob Laurel; Rem Yang; Shubham Ugare; Robert Nagel; Gagandeep Singh 001; Sasa Misailovic (Proc. ACM Program. Lang., 2022)

Proof transfer for fast certification of multiple approximate neural networks. - Shubham Ugare; Gagandeep Singh 001; Sasa Misailovic (Proc. ACM Program. Lang., 2022)

TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators. - Nandeeka Nayak; Toluwanimi O. Odemuyiwa; Shubham Ugare; Christopher W. Fletcher; Michael Pellauer; Joel S. Emer (MICRO, 2023)

Incremental Verification of Neural Networks. - Shubham Ugare; Debangshu Banerjee 001; Sasa Misailovic; Gagandeep Singh 001 (Proc. ACM Program. Lang., 2023)

TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators (Abstract). - Nandeeka Nayak; Toluwanimi O. Odemuyiwa; Shubham Ugare; Christopher W. Fletcher; Michael Pellauer; Joel S. Emer (HOPC@SPAA, 2024)

Is Watermarking LLM-Generated Code Robust? - Tarun Suresh; Shubham Ugare; Gagandeep Singh 001; Sasa Misailovic (Tiny Papers @ ICLR, 2024)

Incremental Randomized Smoothing Certification. - Shubham Ugare; Tarun Suresh; Debangshu Banerjee 001; Gagandeep Singh 001; Sasa Misailovic (ICLR, 2024)

Improving LLM Code Generation with Grammar Augmentation. - Shubham Ugare; Tarun Suresh; Hangoo Kang; Sasa Misailovic; Gagandeep Singh 001 (CoRR, 2024)

IterGen: Iterative Structured LLM Generation. - Shubham Ugare; Rohan Gumaste; Tarun Suresh; Gagandeep Singh 001; Sasa Misailovic (CoRR, 2024)

ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs. - Yuchen Yang; Shubham Ugare; Yifan Zhao 004; Gagandeep Singh 001; Sasa Misailovic (CoRR, 2024)

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking. - Shubham Ugare; Rohan Gumaste; Tarun Suresh; Gagandeep Singh 001; Sasa Misailovic (ICLR, 2025)

Safety and Trust in Artificial Intelligence with Abstract Interpretation. - Gagandeep Singh 001; Jacob Laurel; Sasa Misailovic; Debangshu Banerjee 001; Avaljot Singh; Changming Xu; Shubham Ugare; Huan Zhang (Found. Trends Program. Lang., 2025)

SynCode: LLM Generation with Grammar Augmentation. - Shubham Ugare; Tarun Suresh; Hangoo Kang; Sasa Misailovic; Gagandeep Singh 001 (Trans. Mach. Learn. Res., 2025)

CRANE: Reasoning with constrained LLM generation. - Debangshu Banerjee 001; Tarun Suresh; Shubham Ugare; Sasa Misailovic; Gagandeep Singh 001 (CoRR, 2025)

DINGO: Constrained Inference for Diffusion LLMs. - Tarun Suresh; Debangshu Banerjee 001; Shubham Ugare; Sasa Misailovic; Gagandeep Singh 001 (CoRR, 2025)