Dad, Partner Research Manager, @RiSE_MSR, @MSFTResearch, @Microsoft. Programming Languages, Software Engineering, Systems. (He/Him)
Redmond WA
Joined May 2007
- Tweets508
- Following395
- Followers1.4K
- Likes3.7K
Put the AI Genie in the Verification Bottle: linkedin.com/pulse/put-ai-ge….
AI safety and pacing are in the news today. Here is a formal methods approach to AI safety.
We should build AI systems whose containment guarantees do not depend on the model’s goodwill. In other words, put the powerful genie in a bottle that allows it to grant only our wishes, nothing more and nothing less.
At Microsoft Research, we have spent years scaling formal verification in production. I believe these techniques should be part of the foundation of AI safety.
Whatever pace we choose for AI, whether the genie stays in the bottle should never be the genie’s decision.
Check out my latest article: Software Grand Challenge linkedin.com/pulse/software-… via @LinkedIn
Madan Musuvathi retweeted
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
Madan Musuvathi retweeted
I’ve a hunch this will become all the rage github.com/microsoft/aici
Madan Musuvathi retweeted
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.
Madan Musuvathi retweeted
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
Madan Musuvathi retweeted
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
Madan Musuvathi retweeted
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
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 :)
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.
Okay, took a week long break from Twitter and I found this. Yikes. Roopsha, continue to rock wherever you are.
Madan Musuvathi retweeted
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
Madan Musuvathi retweeted
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
Madan Musuvathi retweeted
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!
To the coffee aficionados out there, I am in the market for an espresso machine. What do you use and why?
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.
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.
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