Aseem Rastogi
- SIRNN: A Math Library for Secure RNN Inference
2021/05/10 by Deevashwer Rathee, Mayank Rathee, Rathee, Deevashwer +11 · 9 citations
Computer Science · #Adversarial Robustness in Machine Learning #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Mathematical Software (cs.MS) #Stochastic Gradient Optimization Techniques
- Ranking LLM-Generated Loop Invariants for Program Verification
2023/10/13 by Saikat Chakraborty, Shuvendu K. Lahiri, Chakraborty, Saikat +15 · 12 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
- Finding Inductive Loop Invariants using Large Language Models
2023/11/14 by Adharsh Kamath, Kamath, Adharsh, Aditya Senthilnathan +15 · 9 citations
Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- Fixing Rust Compilation Errors using LLMs
2023/08/09 by Pantazis Deligiannis, Akash Lal, Deligiannis, Pantazis +5 · 3 citations
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
- Enabling Memory Safety of C Programs using LLMs
2024/04/01 by Nausheen Mohammed, Akash Lal, Mohammed, Nausheen +7 · 1 voice
Computer Science · #Advanced Data Storage Technologies #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.PL #cs.SE
- Verified Low-Level Programming Embedded in F*
2017/02/28 by Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi +8 · 1 voice
Computer Science · #cs.PL #cs.CR