🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Are you a student doing awesome work in Languages, Systems, or Data? We'd love to hear about it at the UCSC LSD seminar! Let us know by filling out this form: docs.google.com/forms/d/e/1FAI… Talks are remote (in person if you're semi-local) at noon on Fridays! Hope to see you there!

Proud our student Jessica Dagostini (co-advised scott beamer (@[email protected])) for receiving a ACM SIGHPC fellowship! She works on a difficult problem (reducing the size of HPC applications), and also gives back to the community (lead student volunteer at SC). Thanks ACM SIGHPC! sighpc.org/opportunities/…

🎉Congratulations to our Computational & Data Science Fellowship recipients!🎉 Jessica Dagostini (PhD, Computer Science) from UC Santa Cruz Amina Diop (PhD, Astronomy) from UVA Well deserved and well earned!

I’ll be presenting my ML security work (Trail of Bits) at BSides Las Vegas and DEF CON! If you’re interested in attacks against ML systems, come learn all about incubated ML exploits.

“Thinking time” is now a luxury, one we seldom have because we are burdened with service, unrealistic research expectations, among many other time-sinks. I do think the quality of our overall science is decreasing due to the pace at which we have to “produce” 😣

Excited to finally share that I just started as a visiting researcher at Microsoft Research in the RiSE group! Looking forward to working on PL problems at such an impactful company at such an interesting time in tech! And I always love hacking on GPUs :)

Tomorrow, Alex Pan from UC Berkeley will share with the BuzzRobot community about the WMDP Benchmark, a dataset designed to measure whether LLMs could help malicious actors develop bio, cyber, and chemical weapons, and the state-of-the-art unlearning method to reduce harmful

Woohoo! Cornell Computer Science PhD application deadline is December 15, 2024. I'm looking for students interested in high-performance parallel computing and systems for scientific discovery, to guide the design of the next generation of parallel computing systems and architectures! RT

This was a really fun project to be involved in! Luke Geeson did a great job finding a problem that is technically very interesting (memory models 😱) and also has some immediate and big impact (a new ABI for Arm binaries). Check it out!

Just in time for halloween! Check out the scary things that can happen w.r.t. memory consistency when you link two binaries that were compiled using different atomic memory mappings 😱😱😱😱😱 It was a really fun project to be a part of and Luke did a great job leading!

We, RiSE/MSR, are hiring for exciting and ambitious projects. jobs.careers.microsoft.com/global/en/job/… (on the picture: lunch with colleagues)

I am looking for 1-2 PhD students interested broadly in computer systems, compilers, and/or PL! If you would like to do your PhD in a vibrant city with great weather, next to the sea 🌊, and the mountains 🏔️, make sure to apply to UCLA and mark my name as a potential advisor!

Join us on February 25 for a new episode of Microsoft Research Forum where we share the latest updates on multimodal generative AI for precision health, advances in drug discovery and agents, & delve into cutting-edge AI techniques for programming safety. msft.it/6018UjW4q

With Reshabh K Sharma, Peli de Halleux, and Shraddha Barke, we just released "PromptPex: Automatic Test Generation for Language Model Prompts"(arxiv.org/abs/2503.05070). Repo: github.com/microsoft/prom…. PromptPex is a tool to generate and evaluate unit tests for an AI model prompt.

I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes! Deadline: 30th April. Please spread the word! Details here: doc.ic.ac.uk/~afd/PhD-Adver…

I am looking to hire interns for fall with experience in Triton and familiarity with gpu architecture. If you are a PhD student with these skillsets please DM me, I will send further details. RTs are appreciated🙏

Not sure who is still here, but check out this post about GPU memory models: including testing, specs, and a cool case study! Lots of great co-authors, especially Hernan Ponce De Leon + team, who are doing some awesome work on GPU model checking. sigarch.org/gpu-memory-con…

This year's PLDI student research competition was also a success, with several interesting projects presented by graduate and undergraduate students! Here are the three winners for each category (undergraduate and graduate) ⬇️