| A general construction for abstract interpretation of higher-order automatic differentiation J Laurel, R Yang, S Ugare, R Nagel, G Singh, S Misailovic Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1007-1035, 2022 | 10 | 2022 |
| Secure medical image analysis with cryptflow J Alvarez-Valle, P Bhatu, N Chandran, D Gupta, A Nori, A Rastogi, ... arXiv preprint arXiv:2012.05064, 2020 | 10 | 2020 |
| Proof transfer for fast certification of multiple approximate neural networks S Ugare, G Singh, S Misailovic Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-29, 2022 | 8 | 2022 |
| Incremental verification of neural networks S Ugare, D Banerjee, S Misailovic, G Singh Proceedings of the ACM on Programming Languages 7 (PLDI), 1920-1945, 2023 | 6 | 2023 |
| Statheros: Compiler for efficient low-precision probabilistic programming J Laurel, R Yang, A Sehgal, S Ugare, S Misailovic 2021 58th ACM/IEEE Design Automation Conference (DAC), 787-792, 2021 | 6 | 2021 |
| TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators N Nayak, TO Odemuyiwa, S Ugare, C Fletcher, M Pellauer, J Emer Proceedings of the 56th Annual IEEE/ACM International Symposium on …, 2023 | 4 | 2023 |
| Improving LLM Code Generation with Grammar Augmentation S Ugare, T Suresh, H Kang, S Misailovic, G Singh arXiv preprint arXiv:2403.01632, 2024 | 2 | 2024 |
| Incremental randomized smoothing certification S Ugare, T Suresh, D Banerjee, G Singh, S Misailovic arXiv preprint arXiv:2305.19521, 2023 | 2 | 2023 |
| Statheros: Compiler for efficient low-precision probabilistic programming. In 2021 58th ACM/IEEE Design Automation Conference (DAC) J Laurel, R Yang, A Sehgal, S Ugare, S Misailovic IEEE, 2021 | 2 | 2021 |
| Approximate query processing over static sets and sliding windows RB Basat, S Jo, SR Satti, S Ugare Theoretical Computer Science 885, 1-14, 2021 | 1 | 2021 |
| Is Watermarking LLM-Generated Code Robust? T Suresh, S Ugare, G Singh, S Misailovic arXiv preprint arXiv:2403.17983, 2024 | | 2024 |
| Toward Continuous Verification of DNNs S Ugare, D Banerjee, T Suresh, S Misailovic, G Singh | | |
| Approximate rank and select queries on bit-strings and multisets S Jo, SR Satti, S Ugare | | |
Sasa MisailovicUniversity of Illinois at Urbana–ChampaignGeverifieerd e-mailadres voor illinois.edu
