Get started
Author

Shubham Ugare

Observed name: Ugare, Shubham
ORCID: 0000-0002-9088-887X
Observed ORCID: 0000-0002-9088-887X
OpenAlex ID: A5007030439
SynCode: LLM Generation with Grammar Augmentation
2024 · Ugare, Shubham, Suresh, Tarun, et al. · arXiv (Cornell University) · 124
PDF
Enforcing Temporal Constraints for LLM Agents
2025 · Kamath, Adharsh, Zhang, Sishen, et al. · arXiv (Cornell University) · 44
PDF
Incremental Verification of Neural Networks
2023 · Shubham Ugare, Debangshu Banerjee, et al. · Proceedings of the ACM on Programming Languages · 33
PDF
CRANE: Reasoning with constrained LLM generation
2025 · Banerjee, Debangshu, Suresh, Tarun, et al. · arXiv (Cornell University) · 32
PDF
TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators
2023 · Nandeeka Nayak, Toluwanimi O. Odemuyiwa, et al. · IEEE/ACM International Symposium on Microarchitecture (MICRO) · 31
PDF
IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
2024 · Ugare, Shubham, Gumaste, Rohan, et al. · arXiv (Cornell University) · 19
PDF
Proof transfer for fast certification of multiple approximate neural networks
2022 · Shubham Ugare, Gagandeep Singh, et al. · Proceedings of the ACM on Programming Languages · 19
PDF
DINGO: Constrained Inference for Diffusion LLMs
2025 · Tarun Suresh, Debangshu Banerjee, et al. · neural information processing systems · 15
PDF
A general construction for abstract interpretation of higher-order automatic differentiation
2022 · Jacob Laurel, Rem Yang, et al. · Proceedings of the ACM on Programming Languages · 12
PDF
Is The Watermarking Of LLM-Generated Code Robust?
2024 · Suresh, Tarun, Ugare, Shubham, et al. · arXiv (Cornell University) · 11
PDF
REAP: Automatic Curation of Coding Agent Benchmarks from Interactive Production Usage
2026 · Smriti Jha, Matteo Paltenghi, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 10
PDF
Statheros: Compiler for Efficient Low-Precision Probabilistic Programming
2021 · Jacob Laurel, Rem Yang, et al. · ACM/IEEE Design Automation Conference (DAC) · 10
Secure Medical Image Analysis with CrypTFlow
2020 · Alvarez-Valle, Javier, Bhatu, Pratik, et al. · arXiv (Cornell University) · 10
PDF
Safety and Trust in Artificial Intelligence with Abstract Interpretation
2025 · Gagandeep Singh, Jacob Laurel, et al. · Foundations and Trends® in Programming Languages · 9
Agentic Code Reasoning
2026 · Ugare, Shubham, Chandra, Satish · arXiv (Cornell University) · 6
PDF
ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs
2026 · Yuchen Yang, Yifan Zhao, et al. · Proceedings of the ACM on software engineering. · 4
RefineStat: Efficient Exploration for Probabilistic Program Synthesis
2025 · Kanda, Madhav, Ugare, Shubham, et al. · arXiv (Cornell University) · 4
PDF
Incremental Randomized Smoothing Certification
2023 · Ugare, Shubham, Suresh, Tarun, et al. · arXiv (Cornell University) · 4
PDF
Fun2spec: Code Contract Synthesis At Scale
2026 · Shubham Ugare, Tarun Suresh, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 3
Approximate query processing over static sets and sliding windows
2021 · Ran Ben Basat, Seungbum Jo, et al. · Theoretical Computer Science · 3
UTF-8 Plumbing: Byte-level Tokenizers Unavoidably Enable LLMs to Generate Ill-formed UTF-8
2025 · Firestone, Preston, Ugare, Shubham, et al. · arXiv (Cornell University) · 1
PDF
Reproduction Package for the article: A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
2022 · Jacob Laurel, Rem Yang, et al. · Artifact Digital Object Group · 1
Approximate Query Processing over Static Sets and Sliding Windows
2018 · Ben Basat, Ran, Jo, Seungbum, et al. · arXiv (Cornell University) · 1
PDF
Uncovering the Limits of Proof Sharing for Neural Networks
2026 · Kanak Das, Shubham Ugare, et al. · Lecture notes in computer science
PDF
Artifact for "Uncovering the Limits of Proof Sharing for Neural Networks"
2026 · Das, Kanak, Ugare, Shubham, et al. · Zenodo (CERN European Organization for Nuclear Research)
Works count: 27
Citation count: 406
H-index: 10
I10-index: 13
Year
Topic
Type