Subhajit Roy
- Synthesizing Abstract Transformers for Reduced-Product Domains
2024/08/07 by Pankaj Kumar Kalita, Kalita, Pankaj Kumar, Thomas Reps +3 · 1 voice · 2 citations
Biochemistry, Genetics and Molecular Biology · #Chemical Synthesis and Analysis
- Finding Inductive Loop Invariants using Large Language Models
2023/11/14 by Adharsh Kamath, Aditya Senthilnathan, Kamath, Adharsh +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
- Program Synthesis using Natural Language
2015/09/01 by Aditya Desai, Sumit Gulwani, Desai, Aditya +13 · 3 citations
Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering Research #Topic Modeling
- Synthesizing Abstract Transformers
2021/05/02 by Pankaj Kumar Kalita, Kalita, Pankaj Kumar, Sujit Kumar Muduli +7 · 4 citations
Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering Research
- Engineering an Efficient Boolean Functional Synthesis Engine
2021/08/12 by Priyanka Golia, Friedrich Slivovsky, Golia, Priyanka +5 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering Research #Software Reliability and Analysis Research
- 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
- HOLL: Program Synthesis for Higher OrderLogic Locking
2022/01/25 by Gourav Takhar, Ramesh Karri, Takhar, Gourav +5 · 1 citation
Computer Science · Engineering · #Cryptographic Implementations and Security #Cryptography and Security (cs.CR) #Electrostatic Discharge in Electronics #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Physical Unclonable Functions (PUFs) and Hardware Security