Excited to announce #LLM4Code2025 (submission DDL: Nov 18) colocated with ICSE! We hope to create a platform for researchers/practitioners to discuss the latest in LLM4Code across various relevant fields including SE, PL, ML, and beyond: llm4code.github.io

Great postdoc opportunity!

We have an opening for a PostDoc in my group at UC Davis - primarily working on core problems in, and approaches to, improving the effectiveness and usability of Language Models for Code. If interested, please send CV, and/or talk to me at ASE in Sacramento! Please R/T 1/2

Vijay (@vj_chidambaram) is an incredible advisor and Austin has (arguably) the best bbq in the US. Best combo ever!

Thank you so, so much to the PACMI (PACMI Workshop) organizers for inviting me. Great audience and lots of thoughtful questions. Same time, next year :-)

Can #LLMs replace developers? Introducing RepoCod-Lite 🐟 for faster evaluation to answer this: 200 of the toughest #RepoCod #code-generation tasks: - GPT-4o and other LLMs have < 10% accuracy/pass@1 on RepoCod-Lite tasks - Leaderboard lt-asset.github.io/REPOCOD/ - 67

Xudong (Xudong Sun) is an amazing researcher and has been doing exciting work on systems verification & testing. If you're hiring, definitely ping him!

Wow, this is super interesting! Kudos to Vaastav (Vaastav Anand) for putting this together. Bookmarking 😃

Excellent and timely (pun intended 😅) work from Shrey (Shrey Tiwari), Rohan (Rohan Padhye) & co.

Woo-hoo!! Congrats, everyone! 🎉🎉 UChicagoCS folks coming in hot at EuroSys 2025 this year 💪💪 #eurosys25 #eurosys #uchicago #sigops #acm

Come join the Artifact Evaluation Committee for #osdi25 & @usenixtatc25, and help promote reproducibility in our Systems community. Ryan (Ryan Huang) and Tianyin (Tianyin Xu) will make this process fun, smooth, and lightweight (1-2 artifacts per reviewer).

Super interesting & timely work from Tianyin (Tianyin Xu) & co, a "must check out"!

We're excited to invite you to attend DLSP 2025, co-located with IEEE S&P on May 15! dlsp2025.ieee-security.org Themes: + Security & Privacy for ML + ML for Security & Privacy Invited speakers include: + David Wagner (UC Berkeley) + Yuan Tian (UCLA) + Anoop Singhal (NIST) More

HoliPaxos! After a revision process, I just received a VLDB acceptance for our new Paxos paper: "HoliPaxos: Towards More Predictable Performance in State Machine Replication" I love conferences that work with authors to improve papers instead of rejecting outright.