Alert button
Picture for Aditya Kanade

Aditya Kanade

Alert button

Microsoft Research, Bangalore

NoFunEval: Funny How Code LMs Falter on Requirements Beyond Functional Correctness

Feb 02, 2024
Manav Singhal, Tushar Aggarwal, Abhijeet Awasthi, Nagarajan Natarajan, Aditya Kanade

Viaarxiv icon

Frustrated with Code Quality Issues? LLMs can Help!

Sep 22, 2023
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram Rajamani

Figure 1 for Frustrated with Code Quality Issues? LLMs can Help!
Figure 2 for Frustrated with Code Quality Issues? LLMs can Help!
Figure 3 for Frustrated with Code Quality Issues? LLMs can Help!
Figure 4 for Frustrated with Code Quality Issues? LLMs can Help!
Viaarxiv icon

Guiding Language Models of Code with Global Context using Monitors

Jun 19, 2023
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani

Figure 1 for Guiding Language Models of Code with Global Context using Monitors
Figure 2 for Guiding Language Models of Code with Global Context using Monitors
Figure 3 for Guiding Language Models of Code with Global Context using Monitors
Figure 4 for Guiding Language Models of Code with Global Context using Monitors
Viaarxiv icon

GrACE: Generation using Associated Code Edits

May 24, 2023
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

Figure 1 for GrACE: Generation using Associated Code Edits
Figure 2 for GrACE: Generation using Associated Code Edits
Figure 3 for GrACE: Generation using Associated Code Edits
Figure 4 for GrACE: Generation using Associated Code Edits
Viaarxiv icon

FLAME: A small language model for spreadsheet formulas

Jan 31, 2023
Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radiček, Gust Verbruggen

Figure 1 for FLAME: A small language model for spreadsheet formulas
Figure 2 for FLAME: A small language model for spreadsheet formulas
Figure 3 for FLAME: A small language model for spreadsheet formulas
Figure 4 for FLAME: A small language model for spreadsheet formulas
Viaarxiv icon

BNSynth: Bounded Boolean Functional Synthesis

Dec 15, 2022
Ravi Raja, Stanly Samuel, Chiranjib Bhattacharyya, Deepak D'Souza, Aditya Kanade

Figure 1 for BNSynth: Bounded Boolean Functional Synthesis
Figure 2 for BNSynth: Bounded Boolean Functional Synthesis
Figure 3 for BNSynth: Bounded Boolean Functional Synthesis
Figure 4 for BNSynth: Bounded Boolean Functional Synthesis
Viaarxiv icon

Learning to Answer Semantic Queries over Code

Sep 17, 2022
Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish Shevade

Figure 1 for Learning to Answer Semantic Queries over Code
Figure 2 for Learning to Answer Semantic Queries over Code
Figure 3 for Learning to Answer Semantic Queries over Code
Figure 4 for Learning to Answer Semantic Queries over Code
Viaarxiv icon

A Robust and Scalable Attention Guided Deep Learning Framework for Movement Quality Assessment

Apr 16, 2022
Aditya Kanade, Mansi Sharma, Manivannan Muniyandi

Figure 1 for A Robust and Scalable Attention Guided Deep Learning Framework for Movement Quality Assessment
Figure 2 for A Robust and Scalable Attention Guided Deep Learning Framework for Movement Quality Assessment
Figure 3 for A Robust and Scalable Attention Guided Deep Learning Framework for Movement Quality Assessment
Figure 4 for A Robust and Scalable Attention Guided Deep Learning Framework for Movement Quality Assessment
Viaarxiv icon

Tele-EvalNet: A Low-cost, Teleconsultation System for Home based Rehabilitation of Stroke Survivors using Multiscale CNN-LSTM Architecture

Dec 06, 2021
Aditya Kanade, Mansi Sharma, M. Manivannan

Figure 1 for Tele-EvalNet: A Low-cost, Teleconsultation System for Home based Rehabilitation of Stroke Survivors using Multiscale CNN-LSTM Architecture
Figure 2 for Tele-EvalNet: A Low-cost, Teleconsultation System for Home based Rehabilitation of Stroke Survivors using Multiscale CNN-LSTM Architecture
Figure 3 for Tele-EvalNet: A Low-cost, Teleconsultation System for Home based Rehabilitation of Stroke Survivors using Multiscale CNN-LSTM Architecture
Figure 4 for Tele-EvalNet: A Low-cost, Teleconsultation System for Home based Rehabilitation of Stroke Survivors using Multiscale CNN-LSTM Architecture
Viaarxiv icon