Tyler Sorensen

Visiting researcher at Microsoft Research and Assistant Professor at UC Santa Cruz in CS

Interested in PL/compilers/security for GPUs and heterogeneous systems

[Tyler Sorensen @Tyler_UCSC]

Check out this awesome work led by @reeselevine and many other great ucsc students!

There was so much work to make this run interesting models across many systems! Check it out (and try out the demos in the blog post!)

[Reese Levine @reeselevine]

WebGPU support in llama.cpp is here! Check out our blog post introducing it: https://t.co/3OUusMYqIY

Run local models in your browser, with GPU acceleration. No data leaves your computer!

Thanks to everyone who's made this possible, especially @ggerganov

[Underfox @Underfox3]

AMD researchers have proposed Fleet, a multi-level task model that maps megakernel computation to memory scopes, introducing a new abstraction that binds work and data to a chiplet and enables coordination through its shared L2 cache.

https://t.co/SUo50qBuKR

[Tyler Sorensen @Tyler_UCSC]

The deadline for CGO's SRC has been extended to Dec. 15!

It will be in Australia, so it would be awesome to go, but there's a virtual track, because travel can be tough these days.

It's a great way to get some feedback and meet other compiler folks!

https://t.co/QtPXkTtMFc

[Dr Heidy Khlaaf (هايدي خلاف) @HeidyKhlaaf]

Excited to be included on @TIME's list of the TIME100 AI of 2025!

Grateful to the @AINowInstitute for supporting my work on addressing the safety revisionism of AI in defense and safety-critical contexts where safety has been obscured with little to no accountability. #TIME100AI

[PLDI @PLDI]

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) ⬇️

[Tyler Sorensen @Tyler_UCSC]

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 @h_poncedeleon + team, who are doing some awesome work on GPU model checking.

https://t.co/hIAzl7wRWM

[Tyler Sorensen @Tyler_UCSC]

@h_poncedeleon @reeselevine Sorry but only conference submissions count; I guess we'll have to work on one! 🤓

Jokes aside, it was really great to get to work with you on this!

[Sangeeta Chowdhary @schowdhary02]

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🙏

[Tyler Sorensen @Tyler_UCSC]

@augustradjoe @afd_icl Just looking at who pays home fees at this page. Not clear if I fully understand it, which is why I was asking

https://t.co/P4cxHDKeuJ

[Alastair Donaldson @afd_icl]

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: https://t.co/4v2N2tXw1x

[Ben Zorn (he/him) https://aka.ms/zorn @benzorn]

With Reshabh K Sharma, Peli de Halleux, and Shraddha Barke, we just released "PromptPex: Automatic Test Generation for Language Model Prompts"(https://t.co/h3RJ9YEGiT).
Repo: https://t.co/tiCLgQBEAG. PromptPex is a tool to generate and evaluate unit tests for an AI model prompt.

[Microsoft Research @MSFTResearch]

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

[Tyler Sorensen @Tyler_UCSC]

@lsiddiqsunny @ICSEconf apply to MSR!

https://t.co/jinHTeIIb8

[Nikolaj Bjorner @BjornerNikolaj]

We, RiSE/MSR, are hiring for exciting and ambitious projects.

https://t.co/fKAc4ChNSx

(on the picture: lunch with colleagues)

[Konstantinos Kallas @KonsKallas]

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!

[Tyler Sorensen @Tyler_UCSC]

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!

[Luke Geeson @LukeGeeson]

Lots of great engagement @splashcon after presenting our work on Mix Testing, thanks again to my co-authors Brotherston, Dijkstra, @afd_icl, Smith, @Tyler_UCSC, and @wicko3 https://t.co/RMCpcDNtnm

Talk 2:50 in https://t.co/3Tphl6vy9c

[Dr Heidy Khlaaf (هايدي خلاف) @HeidyKhlaaf]

New paper with @sarahbmyers & @mer__edith. We challenge the narrative emphasising AI bioweapons risks, and bring attention to the covert proliferation of military intelligence, surveillance, targeting, and reconnaissance (ISTAR) already occurring via foundation models. 1/5

[Dr Heidy Khlaaf (هايدي خلاف) @HeidyKhlaaf]

Excited to announce that I’m now Chief AI Scientist at @AINowInstitute! Looking forward to sharing some upcoming work soon.

[Tyler Sorensen @Tyler_UCSC]

This was a really fun project to be involved in! @LukeGeeson 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!

[Luke Geeson @LukeGeeson]

I'm pleased that our paper "Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations" will appear at OOPSLA2024 (@splashcon)! Big thanks to auths Brotherston, Dijkstra, @afd_icl, Smith, @Tyler_UCSC, and @wicko3. Paper here: https://t.co/3DZhnS17L7