Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shubham Ugare
conf.researchr.org general profile
FSE 2026 profile
PLDI 2023 profile
PLDI 2026 profile
POPL 2026 profile
SPLASH 2022 profile
SPLASH/ISSTA 2026 profile
Registered user since Thu 5 May 2022
Name:
Shubham Ugare
Country:
United States
Affiliation:
Meta
Personal website:
https://shubhamugare.github.io/
Contributions
2026
ISSTA
Author of ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs within the Research papers-track
ESEC/FSE
Author of Fun2spec: Code Contract Synthesis At Scale within the Industry Papers-track
PAgE
Author of Agentic Code Reasoning within the PAgE 2026-track
POPL
Presenter of Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation within the Tutorials-track
LAFI
Author of Grammar-Constrained LLM Generation for Reliable and Efficient Probabilistic Program Synthesis within the LAFI 2026-track
2023
DRAGSTERS
Author of TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators within the DRAGSTERS 2023-track
PLDI
Author of Incremental Verification of Neural Networks within the PLDI Research Papers-track
Author of A general construction for abstract interpretation of higher-order automatic differentiation within the PLDI Research Papers-track
2022
SPLASH
Author of A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation within the OOPSLA-track
Author of Proof transfer for fast certification of multiple approximate neural networks within the OOPSLA-track
Share
x
Fri 17 Jul 13:06