Dad, Partner Research Manager, @RiSE_MSR, @MSFTResearch, @Microsoft. Programming Languages, Software Engineering, Systems. (He/Him)
Joined May 2007
- Tweets 504
- Following 392
- Followers 1,427
- Likes 3,741
11 Photos and videos
Madan Musuvathi retweeted
Jan 23
Madan Musuvathi has been named an ACM Fellow by @TheOfficialACM, recognizing his foundational work in concurrency verification and his impact on modern machine learning systems design. Congratulations! msft.it/6014Q8Wvk
1
3
7
3,697
Madan Musuvathi retweeted
11 Mar 2024
I have seen the future and it's AICI github.com/microsoft/aici
I've always wondered if foundation models will eventually support a more formal definition of prompt, beyond just natural language. This seems like a really interesting approach.
1
1
8
730
Madan Musuvathi retweeted
12 Mar 2024
This is a fascinating idea not just for AI, but for APIs in general: ship WASM controllers to the servers which execute with a context, but allowing arbitrary flow control.
github.com/microsoft/aici
1
2
3
456
This repository enables you to control the output of LLM
using code, allowing you to specify the format of generated sentences through regular expressions.
This makes it more reassuring to build products based on AI.
github.com/microsoft/aici
1
4
23
2,955
Madan Musuvathi retweeted
11 Mar 2024
This is actually brilliant work by microsoft: github.com/microsoft/aici.
Sending mini WASM programs instead of prompts to LLM providers would be incredibly powerful. Multiturn, , Grammar, COT, RAG, function calling, etc could all massively benefit from this
32
205
1,424
194,907
12 Mar 2024
Folks, give this new tool from RiSE a spin: github.com/microsoft/aici. Prompts are WASM programs and gives you a flexible/programmable way to control the output of an LLM. Semantics matter :)
1
10
43
3,525
25 Jul 2023
Thanks a lot, Sriram. And thanks to my collaborators who pushed the boundaries of what is possible with concurrency testing: @tballmsft @sebburckhardt @pdeligia @slenin Suman Nath, Shan Lu and many others.
22 Jul 2023
I have had the privilege watching this work emerge in close proximity over the years. Congratulations to Akash, Madan, Shaz and Tom. So well deserved!
2
2
23
3,452
10 Jul 2023
Okay, took a week long break from Twitter and I found this. Yikes. Roopsha, continue to rock wherever you are.
12
4,719
Madan Musuvathi retweeted
22 Jun 2023
The Wooden Firehouse: An allegory for computer security [A/B test]
You have lived all your life in a quickly growing town, whose growth has been sped up by constructing all the buildings out of wood. Some buildings in town are huge structures that have been repeatedly expanded/1
ALT burning firehouse
5
19
92
62,713
Madan Musuvathi retweeted
18 Apr 2023
An excellent talk by Aashaka (@aashaka_) at NSDI 2023. Aashaka presented TACCL (usenix.org/conference/nsdi23…), a system that synthesizes algorithms for collective communication for distributed ML training. Joint work with @madanMus @vj_chidambaram @cowanmeg27 and others not on Twitter
1
2
37
6,486
Madan Musuvathi retweeted
1 Mar 2023
Cant get the picture of Marge and Homer and how they confronted the dragons of GPU communication out my head! Such an amazing keynote talk at PPoPP23 yesterday by @MalekiSaeed! Read more about MSCCL at github.com/microsoft/msccl!
3
15
2,457
Madan Musuvathi retweeted
28 Feb 2023
A great keynote so far, with bonus Simpson’s content!
28 Feb 2023
The #PPoPP23 keynote, "GPU communication requires rethinking abstractions" by Saeed Maleki
1
3
13
2,508
15 Aug 2022
To the coffee aficionados out there, I am in the market for an espresso machine. What do you use and why?
11
8
21 Jun 2022
github.blog/2022-06-21-githu…. This required a herculean task spanning multiple orgs. But happy to say that PL/HPC/Systems research significantly improved the performance of Copilot.
7
45
10 May 2022
MSR Fellowships are open! Please apply! This year we are including Australia and NZ as well. Yay!!! Thanks to @stevemblackburn for prodding us to fix this. And to @JessMastronardi @LexieHagen for doing all the hard work!
Please DM me for any questions.
10 May 2022
We’re now accepting nominations and proposals for the Microsoft Research PhD fellowship across Asia, Canada, United States, Europe, Middle East, Africa, Latin America, Australia, and New Zealand. Deadline: June 7, 2022. Check our program page for details: aka.ms/phdfellowship
1
8
30
25 Apr 2022
We are looking to hire researchers working in cloud systems and reliability. careers.microsoft.com/us/en/…
12
27
Madan Musuvathi retweeted
23 Apr 2022
📣📣📣
Social event for women PL scientists at PLDI 22 (W@PLDI)
There will be food, booze, and other women scientists. Need I say more?
pldi22.sigplan.org/track/pld…
3
17
49
Madan Musuvathi retweeted
28 Feb 2022
Accepted (conditionally) at PLDI 2022: "Hardening Attack Surfaces with Formally Proven Binary Format Parsers" ... describing multiple years of work getting correct & secure parsers into the Windows network virtualization stack.
#everparse #fstarlang @MSFTResearch #pldi2022
3
13
116
Madan Musuvathi retweeted
I'm very excited to co-host with Mary Hall this virtual roundtable on creating stronger #regional #computingresearch #partnerships focusing on the #Atlanta area. We have fantastic speakers including Erwin Gianchandani, @isbellHFh, Greg King, Phyllis Schneck and Peter Williams.
1
6