Madan Musuvathi

504 posts

Madan Musuvathi banner
Madan Musuvathi

Madan Musuvathi

@madanMus

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

Redmond WA Katılım Mayıs 2007
392 Takip Edilen1.4K Takipçiler
Madan Musuvathi retweetledi
Microsoft Research
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! msft.it/6014Q8Wvk
Microsoft Research tweet media
English
1
4
7
3.7K
Satnam Singh
Satnam Singh@satnam6502·
I gave a talk called Inside the Engine Room Of Large Language Models at Groq at the University of Glasgow at my old department. I reminded the audience of my previous life there by showing them my 1994 website.
Satnam Singh tweet media
English
5
3
153
7.7K
Madan Musuvathi retweetledi
Nate Kohari
Nate Kohari@nkohari·
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.
English
1
1
8
725
Madan Musuvathi retweetledi
Topper 👽 - soul/acc
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. github.com/microsoft/aici
English
1
2
3
453
Madan Musuvathi retweetledi
zx
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. github.com/microsoft/aici
English
1
4
23
3K
Madan Musuvathi retweetledi
tobi lutke
tobi lutke@tobi·
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
English
32
207
1.4K
194.8K
Madan Musuvathi
Madan Musuvathi@madanMus·
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 :)
English
1
10
43
3.5K
Santosh Nagarakatte
Santosh Nagarakatte@santoshgnag·
Just learned that the Rutgers Board of Governors has approved my promotion to Full Professor with tenure effective July 1st. Thanks to all my current and graduated PhD students, mentors, and the broad PL/Arch/Verification community. Photo of my 6 graduated PhD students.
Santosh Nagarakatte tweet media
English
26
1
130
7.2K
Madan Musuvathi retweetledi
Andrew Myers
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
Andrew Myers tweet media
English
5
20
94
62.7K
Roopsha Samanta
Roopsha Samanta@roopshasamanta·
So my student @YuanYongwei's PLDI paper is being recognized with a Distinguished Paper Award. Awards and other bean-counting aids have meant very little to me, but this one? It certainly made me chuckle. I had asked my Chair after he gave me "the news" what may have helped...
Roopsha Samanta@roopshasamanta

Last October my department unexpectedly voted negatively against my tenure case. Since then, all of my students have had first author papers accepted - TACAS, OOPSLA, and now PLDI. I cannot begin to express how hard these last few months have been and how I feel today.

English
4
12
191
125.7K
Madan Musuvathi retweetledi
Maryam Mehri Dehnavi
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 github.com/microsoft/msccl!
English
0
3
15
2.5K
Madan Musuvathi retweetledi
Milind Kulkarni
Milind Kulkarni@mkulkarni·
A great keynote so far, with bonus Simpson’s content!
PPoPP@PPoPPConf

The #PPoPP23 keynote, "GPU communication requires rethinking abstractions" by Saeed Maleki

English
1
3
13
2.5K
Madan Musuvathi
Madan Musuvathi@madanMus·
To the coffee aficionados out there, I am in the market for an espresso machine. What do you use and why?
English
11
0
8
0
Madan Musuvathi
Madan Musuvathi@madanMus·
github.blog/2022-06-21-git…. This required a herculean task spanning multiple orgs. But happy to say that PL/HPC/Systems research significantly improved the performance of Copilot.
English
0
7
45
0
Anders Miltner (@amiltner@types.pl)
Anders Miltner (@[email protected])@AndersMiltner·
I accepted an assistant professorship offer from Simon Fraser University School of Computing Science @SFU_CompSci! I'm very excited to be joining, and looking forward to moving back to the Pacific Northwest!
Austin, TX 🇺🇸 English
25
5
172
0

Keşfet

@TheOfficialACM @satnam6502 @tballmsft @sebburckhardt @pdeligia @slenin @santoshgnag @roopshasamanta