Shubham Ugare

Orcid: 0000-0002-9088-887X

According to our database1, Shubham Ugare authored at least 11 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Improving LLM Code Generation with Grammar Augmentation.
CoRR, 2024

Incremental Randomized Smoothing Certification.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

Is Watermarking LLM-Generated Code Robust?
Proceedings of the Second Tiny Papers Track at ICLR 2024, 2024

TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators (Abstract).
Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing, 2024

2023
Incremental Verification of Neural Networks.
Proc. ACM Program. Lang., 2023

TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators.
Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, 2023

2022
Proof transfer for fast certification of multiple approximate neural networks.
Proc. ACM Program. Lang., 2022

A general construction for abstract interpretation of higher-order automatic differentiation.
Proc. ACM Program. Lang., 2022

2021
Approximate query processing over static sets and sliding windows.
Theor. Comput. Sci., 2021

Statheros: Compiler for Efficient Low-Precision Probabilistic Programming.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020
Secure Medical Image Analysis with CrypTFlow.
CoRR, 2020


  Loading...