Aditya Kanade
@adityakanade0
Followers
502
Following
783
Statuses
172
Microsoft Research India
Banglore, India
Joined January 2014
RT @RajeevAlur: Consider submitting to Conference on Neurosymbolic Systems to be held at Penn in late May
0
9
0
RT @LakshyAAAgrawal: Excited to share that thanks to the work of Pratham (, multilspy now support the Go Programmin…
0
1
0
RT @naga86: Microsoft Research India is excited to announce applications are open for our Research Fellow program (deadline 15th Feb 2025).…
0
48
0
RT @satyanadella: There is no more waitlist for GitHub Copilot Workspace—the most advanced agentic editor. Start building with agents today…
0
1K
0
RT @ashtom: Starting off the new year with a big ship. Copilot Workspace, our agentic editor, is now available to all paid Copilot users. I…
0
107
0
RT @ashtom: Screw it, I’ll stand on a limb. With Copilot Free and sustained public/private outreach, India could accelerate the timeline an…
0
122
0
RT @hackernewstop5: Multilspy: Building a common LSP client handtuned for all Language servers #HackerNews ↓↓↓ http…
0
2
0
RT @LakshyAAAgrawal: Excited to share that multilspy ( can now be pip-installed. Go do ```pip install multilspy```…
0
2
0
RT @mariorod1: The agentic future of software development is becoming reality, with developer choice and experience at the center. @GitHub…
0
4
0
RT @priyanshu42g: For those of you who are not attending, please check out the presentation recording :
0
1
0
RT @priyanshu42g: Excited to see Metareflection - our EMNLP'24 paper on improving language agents, featured in Research Focus!
0
8
0
RT @ashtom: And all-up, this is the next iteration of the AI-native, agentic IDE: Copilot Workspace. 100 times better than it was in April…
0
27
0
RT @pandita_rahul: “Follow up” is a great example of leveraging precision of program analysis to enhance the capability of generative AI in…
0
1
0
Copilot Workspace revolutionizes repo-level coding using natural language. Thanks to @github @githubnext for allowing us to contribute to it in a small way. #GitHubUniverse
@rkbairi @abhavmehrotra @SaitejaUtpala
@LostInTangent @pandita_rahul @dsymetweets @eaftandilian @szabta89
0
5
31
RT @LakshyAAAgrawal: Thanks to @mikeusachenko, multilspy ( now supports easily building language server clients for…
0
4
0
Grateful to ACM SIGBED for the test-of-time award for our EMSOFT '08 paper! Reminds me of the great time working with @RajeevAlur @kcshashidhar and S. Ramesh.
Thankful to @es_week for ToT award for EMSOFT 2008 paper “Improving simulation coverage of Stateflow/Simulink models by symbolic analysis” with @adityakanade0 @kcshashidhar and S Ramesh
1
3
22
RT @colebemis: Interested in how we approach building AI developer tools at @GitHubNext? Want a behind-the-scenes look at Copilot Workspace…
0
6
0
0
1
0