Saikat Chakraborty
@saikatch107
Followers
385
Following
373
Statuses
87
Sr. Researcher @RiSE_MSR, Ph.D. from @ColumbiaCompSci - #SEResearcher, #ML, Source Code, Software Engineer. Interned @fujitsulabs, @googlecloud @facebook
United States
Joined October 2016
Our work on Proof Oriented Programming with AI is in this month's Microsoft Research Focus. One step towards provably correct programming with AI.
Holistic motion-capture calibration technique without calibration, manual intervention or custom hardware; Research on AI agents for autonomous clouds; Automating proof-oriented program construction; One-to-many testing for natural language code generation:
0
4
19
This is a great opportunity for undergraduate student (rising junior or rising senior) to experience groundbreaking research at MSR and be a part of it. Application deadline is October 21, 2024.
Our Undergraduate Research Internship Program is now accepting applications for summer research internships. Rising college juniors & seniors who are passionate about technology and champion diversity and inclusion are encouraged to apply by 10/21:
0
2
2
RT @LahiriShuvendu: Can user-intent formalization (clarification through specifications starting with tests) help users generate correct co…
0
8
0
A great collaboration between @RiSE_MSR colleagues Gabriel Ebner @fakhourysm, @LahiriShuvendu, @lambdaNik and our amazing interns @druidoftheclaw and @SakinaFatima94
#ProofOrientedProgrammingWithAI
0
1
2
@josepablocam During any travel, this is the worst nightmare. Hope everything is good for you now.
1
0
0
We aim at harnessing such capabilities, while ensuring that we get exactly what we want by imposing constraints, such as specifications, verification tools, etc.
0
0
0
@mboehme_ @1KlausSchmid Basically, we are dividing the problem of autocoding in two othogonal subproblems - intent formalization, and proof oriented programming; both assisted by AI/LLM.
1
0
1