Madan Musuvathi

Dad, Partner Research Manager, @RiSE_MSR, @MSFTResearch, @Microsoft. Programming Languages, Software Engineering, Systems. (He/Him)

[Microsoft Research @MSFTResearch]

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! https://t.co/Nph21JIReo

[Madan Musuvathi @madanMus]

@satnam6502 Is there a link?

[Andrew Mackross @mackross]

I’ve a hunch this will become all the rage https://t.co/oDXITtVayv

[Nate Kohari @nkohari]

I have seen the future and it's AICI https://t.co/5724zvOf7o

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.

[Topper 👽 - soul/acc @tobowers]

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.

https://t.co/MHtHIOFAO3

[zx @zx_loro]

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.

https://t.co/HnXm8m9vR1

[tobi lutke @tobi]

This is actually brilliant work by microsoft: https://t.co/X3StwYxXr6.

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

[Madan Musuvathi @madanMus]

Folks, give this new tool from RiSE a spin: https://t.co/GTx6L2zOzh. Prompts are WASM programs and gives you a flexible/programmable way to control the output of an LLM. Semantics matter :)

[Madan Musuvathi @madanMus]

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.

[Sriram Rajamani @SriramRajamani]

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!

[Madan Musuvathi @madanMus]

Okay, took a week long break from Twitter and I found this. Yikes. Roopsha, continue to rock wherever you are.

[Roopsha Samanta @roopshasamanta]

Okay, just found this gem in my inbox.

[Madan Musuvathi @madanMus]

@santoshgnag Congratulations!

[Andrew Myers @AndrewCMyers]

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

[Madan Musuvathi @madanMus]

@roopshasamanta @TaliaRinger @YuanYongwei Wow! Congratulations.

[Rachee Singh @rachee_singh]

An excellent talk by Aashaka (@aashaka_) at NSDI 2023. Aashaka presented TACCL (https://t.co/gx8cWSxJLG), a system that synthesizes algorithms for collective communication for distributed ML training. Joint work with @madanMus @vj_chidambaram @cowanmeg27 and others not on Twitter

[Maryam Mehri Dehnavi @MaryamDehnavi]

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 https://t.co/1GHUZc09AV!

[Milind Kulkarni @mkulkarni]

A great keynote so far, with bonus Simpson’s content!

[Madan Musuvathi @madanMus]

@RiSE_MSR is looking to hire strong HPC, compilers, ML Systems folks. Please apply.

[Olli Saarikivi @OlliSaarikivi]

We are hiring researchers for HPC, compilers and ML systems. Join @RiSE_MSR to solve some of the most pressing problems in scaling cutting-edge AI! https://t.co/ltzScLG8r8

[Madan Musuvathi @madanMus]

To the coffee aficionados out there, I am in the market for an espresso machine. What do you use and why?

[Madan Musuvathi @madanMus]

https://t.co/tK3Fu7XnZc. This required a herculean task spanning multiple orgs. But happy to say that PL/HPC/Systems research significantly improved the performance of Copilot.

[Madan Musuvathi @madanMus]

@AndersMiltner @SFU_CompSci Congratulations @AndersMiltner. We are just a hop away. Looking forward to a productive collaboration with @RiSE_MSR