Shubham Ugare

29 papers A* 5B 1Journal 21Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Agentic Code Reasoning.
CoRR
Shubham Ugare, Satish Chandra
2025 A* conf
CRANE: Reasoning with constrained LLM generation.
ICML
Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh
2025 J jnl
CRANE: Reasoning with constrained LLM generation.
CoRR
Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh
2025 J jnl
DINGO: Constrained Inference for Diffusion LLMs.
CoRR
Tarun Suresh, Debangshu Banerjee, Shubham Ugare, Sasa Misailovic, Gagandeep Singh
2025 J jnl
Enforcing Temporal Constraints for LLM Agents.
CoRR
Adharsh Kamath, Sishen Zhang, Calvin Xu, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
2025 A* conf
IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking.
ICLR
Shubham Ugare, Rohan Gumaste, Tarun Suresh, Gagandeep Singh, Sasa Misailovic
2025 J jnl
REFINESTAT: Efficient Exploration for Probabilistic Program Synthesis.
CoRR
Madhav Kanda, Shubham Ugare, Sasa Misailovic
2025 J jnl
Safety and Trust in Artificial Intelligence with Abstract Interpretation.
Found. Trends Program. Lang.
Gagandeep Singh, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee, Avaljot Singh, Changming Xu, Shubham Ugare, Huan Zhang
2025 J jnl
SynCode: LLM Generation with Grammar Augmentation.
Trans. Mach. Learn. Res.
Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh
2025 J jnl
UTF-8 Plumbing: Byte-level Tokenizers Unavoidably Enable LLMs to Generate Ill-formed UTF-8.
CoRR
Preston Firestone, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
2024 J jnl
ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs.
CoRR
Yuchen Yang, Shubham Ugare, Yifan Zhao, Gagandeep Singh, Sasa Misailovic
2024 J jnl
Improving LLM Code Generation with Grammar Augmentation.
CoRR
Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh
2024 A* conf
Incremental Randomized Smoothing Certification.
ICLR
Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic
2024 — conf
Is Watermarking LLM-Generated Code Robust?
Tiny Papers @ ICLR
Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
2024 J jnl
Is Watermarking LLM-Generated Code Robust?
CoRR
Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
2024 J jnl
IterGen: Iterative Structured LLM Generation.
CoRR
Shubham Ugare, Rohan Gumaste, Tarun Suresh, Gagandeep Singh, Sasa Misailovic
2024 — conf
TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators (Abstract).
HOPC@SPAA
Nandeeka Nayak, Toluwanimi O. Odemuyiwa, Shubham Ugare, Christopher W. Fletcher, Michael Pellauer, Joel S. Emer
2023 J jnl
Incremental Randomized Smoothing Certification.
CoRR
Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic
2023 J jnl
Incremental Verification of Neural Networks.
CoRR
Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh
2023 J jnl
Incremental Verification of Neural Networks.
Proc. ACM Program. Lang.
Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh
2023 A* conf
TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators.
MICRO
Nandeeka Nayak, Toluwanimi O. Odemuyiwa, Shubham Ugare, Christopher W. Fletcher, Michael Pellauer, Joel S. Emer
2023 J jnl
TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators.
CoRR
Nandeeka Nayak, Toluwanimi O. Odemuyiwa, Shubham Ugare, Christopher W. Fletcher, Michael Pellauer, Joel S. Emer
2022 J jnl
A general construction for abstract interpretation of higher-order automatic differentiation.
Proc. ACM Program. Lang.
Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic
2022 J jnl
Proof transfer for fast certification of multiple approximate neural networks.
Proc. ACM Program. Lang.
Shubham Ugare, Gagandeep Singh, Sasa Misailovic
2021 J jnl
Approximate query processing over static sets and sliding windows.
Theor. Comput. Sci.
Ran Ben Basat, Seungbum Jo, Srinivasa Rao Satti, Shubham Ugare
2021 A* conf
Statheros: Compiler for Efficient Low-Precision Probabilistic Programming.
DAC
Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic
2020 J jnl
Secure Medical Image Analysis with CrypTFlow.
CoRR
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya V. Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
2018 B conf
Approximate Query Processing over Static Sets and Sliding Windows.
ISAAC
Ran Ben-Basat, Seungbum Jo, Srinivasa Rao Satti, Shubham Ugare
2018 J jnl
Approximate Query Processing over Static Sets and Sliding Windows.
CoRR
Ran Ben-Basat, Seungbum Jo, Srinivasa Rao Satti, Shubham Ugare