Radhakrishna, Arjun
- Overwatch: Learning Patterns in Code Edit Sequences
2022/07/25 by Yuhao Zhang, Yasharth Bajpai, Zhang, Yuhao +19 · 1 voice · 4 citations
Computer Science · #Software Engineering Research #Advanced Malware Detection Techniques #Software Testing and Debugging Techniques
- GrACE: Generation using Associated Code Edits
2023/05/23 by Priyanshu Gupta, Avishree Khare, Gupta, Priyanshu +15 · 7 citations
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research
- TableTalk: Scaffolding Spreadsheet Development with a Language Agent
2025/02/13 by Jenny T. Liang, Liang, Jenny T., Aayush Kumar +17 · 1 voice · 6 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Software Engineering (cs.SE) #Spreadsheets and End-User Computing #cs.AI #cs.HC #cs.SE
- MetaReflection: Learning Instructions for Language Agents using Past Reflections
2024/05/13 by Priyanshu Gupta, Shashank Kirtania, Gupta, Priyanshu +11 · 8 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Multi-Agent Systems and Negotiation #Multimodal Machine Learning Applications #Speech and dialogue systems
- GIST: A Solver for Probabilistic Games
2010/04/14 by Chatterjee, Krishnendu, Henzinger, Thomas A., Jobstmann, Barbara +1 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- AutoTSG: Learning and Synthesis for Incident Troubleshooting
2022/05/26 by Manish Shetty, Shetty, Manish, Chetan Bansal +7 · 3 citations
Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #Cloud Computing and Resource Management #Distributed #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software System Performance and Reliability #and Cluster Computing (cs.DC)
- Quantitative Synthesis for Concurrent Programs
2011/04/21 by Pavol Černý, Krishnendu Chatterjee, Cerny, Pavol +7 · 3 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Real-Time Systems Scheduling
- Synthesis through Unification
2015/05/21 by Alur, Rajeev, Cerny, Pavol, Radhakrishna, Arjun · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants
2024/02/09 by Bhavya Chopra, Yasharth Bajpai, Chopra, Bhavya +11 · 3 citations
Computer Science · Social Sciences · #AI in Service Interactions #Artificial Intelligence (cs.AI) #Ethics and Social Impacts of AI #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Software Engineering (cs.SE)
- Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models\n and Component-based Synthesis
2021/09/03 by Kia Rahmani, Mohammad Raza, Rahmani, Kia +13 · 1 citation
Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Software Engineering Techniques and Practices
- LLM-Guided Compositional Program Synthesis
2025/03/12 by Sumit Gulwani, Khan, Ruhma, Gulwani, Sumit +8 · 4 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Programming Languages (cs.PL) #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE)
- Do Code Models Suffer from the Dunning-Kruger Effect?
2025/10/06 by Mukul Singh, Singh, Mukul, Somya Chatterjee +5 · 1 voice
Computer Science · Psychology · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Phonetics and Phonology Research #Software Engineering (cs.SE) #Speech and dialogue systems #cs.AI #cs.CL #cs.SE
- STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
2024/10/14 by Shashank Kirtania, Naman Gupta, Kirtania, Shashank +16 · 2 citations
Computer Science · #Semantic Web and Ontologies
- Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems
2020/03/03 by Anna Fariha, Ashish Tiwari, Fariha, Anna +7 · 1 citation
Computer Science · #Data Stream Mining Techniques #Time Series Analysis and Forecasting #Anomaly Detection Techniques and Applications