Proof transfer for fast certification of multiple approximate neural networks von Ugare, Shubham, Singh, Gagandeep, Misailovic, Sasa

Volltext

Incremental Verification of Neural Networks von Ugare, Shubham, Banerjee, Debangshu, Misailovic, Sasa, Singh, Gagandeep

Volltext

Approximate query processing over static sets and sliding windows von Basat, Ran Ben, Jo, Seungbum, Satti, Srinivasa Rao, Ugare, Shubham

Volltext

A general construction for abstract interpretation of higher-order automatic differentiation von Laurel, Jacob, Yang, Rem, Ugare, Shubham, Nagel, Robert, Singh, Gagandeep, Misailovic, Sasa

Volltext

ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs von Yang, Yuchen, Ugare, Shubham, Zhao, Yifan, Singh, Gagandeep, Misailovic, Sasa

Volltext bestellen

IterGen: Iterative Structured LLM Generation von Ugare, Shubham, Gumaste, Rohan, Suresh, Tarun, Singh, Gagandeep, Misailovic, Sasa

Volltext bestellen

Is Watermarking LLM-Generated Code Robust? von Suresh, Tarun, Ugare, Shubham, Singh, Gagandeep, Misailovic, Sasa

Volltext bestellen

SynCode: LLM Generation with Grammar Augmentation von Ugare, Shubham, Suresh, Tarun, Kang, Hangoo, Misailovic, Sasa, Singh, Gagandeep

Volltext bestellen

Incremental Verification of Neural Networks von Ugare, Shubham, Banerjee, Debangshu, Misailovic, Sasa, Singh, Gagandeep

Volltext

Incremental Randomized Smoothing Certification von Ugare, Shubham, Suresh, Tarun, Banerjee, Debangshu, Singh, Gagandeep, Misailovic, Sasa

Volltext bestellen

TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators von Nayak, Nandeeka, Odemuyiwa, Toluwanimi O, Ugare, Shubham, Fletcher, Christopher W, Pellauer, Michael, Emer, Joel S

Volltext

Approximate query processing over static sets and sliding windows von Basat, Ran Ben, Jo, Seungbum, Satti, Srinivasa Rao, Ugare, Shubham

Volltext bestellen

Approximate query processing over static sets and sliding windows von Basat, Ran Ben, Jo, Seungbum, Satti, Srinivasa Rao, Ugare, Shubham

Volltext bestellen

SynCode: LLM Generation with Grammar Augmentation von Ugare, Shubham, Suresh, Tarun, Kang, Hangoo, Misailovic, Sasa, Singh, Gagandeep

Volltext

ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs von Yang, Yuchen, Ugare, Shubham, Zhao, Yifan, Singh, Gagandeep, Misailovic, Sasa

Volltext

IterGen: Iterative Structured LLM Generation von Ugare, Shubham, Gumaste, Rohan, Suresh, Tarun, Singh, Gagandeep, Misailovic, Sasa

Volltext

Is Watermarking LLM-Generated Code Robust? von Suresh, Tarun, Ugare, Shubham, Singh, Gagandeep, Misailovic, Sasa

Volltext

Incremental Randomized Smoothing Certification von Ugare, Shubham, Suresh, Tarun, Banerjee, Debangshu, Singh, Gagandeep, Misailovic, Sasa

Volltext

Approximate Query Processing over Static Sets and Sliding Windows von Basat, Ran Ben, Jo, Seungbum, Satti, Srinivasa Rao, Ugare, Shubham

Volltext bestellen

Secure Medical Image Analysis with CrypTFlow von Alvarez-Valle, Javier, Bhatu, Pratik, Chandran, Nishanth, Gupta, Divya, Nori, Aditya, Rastogi, Aseem, Rathee, Mayank, Sharma, Rahul, Ugare, Shubham

Volltext bestellen