Visiting researcher at Microsoft Research and Assistant Professor at UC Santa Cruz in CS Interested in PL/compilers/security for GPUs and heterogeneous systems
Redmond, WA
Joined September 2019
- Tweets531
- Following895
- Followers1K
- Likes4.4K
Tyler Sorensen retweeted
Wrote an oral history on the time Spanish Fork accidentally booked @RATM to perform at the fairgrounds. This month marks 30 years since the show. The city has roughly tripled in size since then, but the story continues to live on in Spanish Fork lore.
deseret.com/entertainment/20…
Tyler Sorensen retweeted
blast from the past. The most fun I had discovering the convergence algorithm with my colleague Manjunath @keveman. arxiv.org/abs/2607.11636
Tyler Sorensen retweeted
New! We hijack Claude Code(Sonnet 4.6,5/Opus 4.8) & Codex(GPT5.5) to achieve RCE when merely used to defensively assess an open-source/third-party library with prompt injections disseminated across its codebase. All without any skills, JSON, MCP, or config files required. Link ⬇️
Tyler Sorensen retweeted
The #PLDI2026 main conference kicks off tomorrow in Boulder, CO!
We have stellar keynotes lined up for each day on:
- PL design in the ML era (Wed),
- AI validation with testing and proof engineering (Thu), and
- Quantum through a PL lens (Fri).
🔗pldi26.sigplan.org/track/pld…
Tyler Sorensen retweeted
The PAgE'26 @ #PLDI2026 program is live!
PAgE is packed with great talks on formal methods for AI, agentic code reasoning and debugging, self-healing agentic programs, and more.
Join us Monday, June 15 in Boulder, CO for PAgE: 🔗pldi26.sigplan.org/home/page…
Tyler Sorensen retweeted
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.
arxiv.org/pdf/2604.15379
Tyler Sorensen retweeted
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
Introducing TIME100 AI: Leaders in artificial intelligence. See who made the list: time.com/collections/time100…
Tyler Sorensen retweeted
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 retweeted
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-Advert…
Tyler Sorensen retweeted
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/promptp…. PromptPex is a tool to generate and evaluate unit tests for an AI model prompt.
Tyler Sorensen retweeted
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
Tyler Sorensen retweeted
We, RiSE/MSR, are hiring for exciting and ambitious projects.
jobs.careers.microsoft.com/g…
(on the picture: lunch with colleagues)
Tyler Sorensen retweeted
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!
ALT View of the beach with mountains on the background
Tyler Sorensen retweeted
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
Tyler Sorensen retweeted
Excited to announce that I’m now Chief AI Scientist at @AINowInstitute! Looking forward to sharing some upcoming work soon.
Tyler Sorensen retweeted
Woohoo!
@Cornell_CS 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
Tyler Sorensen retweeted
Tomorrow, @aypan_17 from @UCBerkeley 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 knowledge. Join our conversation! lu.ma/nm9njvw4
#ArtificialIntelligence #MachineLearning #aisafety #TechTalk
