Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
I've written 70+ recommendation letters for students applying graduate programs in my career. This is the saddest one I have to redo.
// A former undergrad student got denial of entrance with a 5-year ban, when flying to the US for PhD study. As usual, no reason was given. I can't imagine what he have gone through.
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
We are seeking emergency reviewers for the inaugural ACM CAIS 2026 conference @CAISconf on AI systems.
Emergency reviewers should expect a load of ~2 papers, ideally to be completed within 48-60 hours of assignment.
Please fill the short form below!
docs.google.com/forms/d/e/1F…
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
A new article from @ai4research_ucb (@audreyccheng @shulynnliu @melissapan @mertcemri @istoica05 and co). The article is very informative and the question is no longer whether AI could help solve systems research problems but how much AI can improve the state of the art.
New SIGOPS Blog -- "Let the Barbarians In: How AI Can Accelerate Systems Performance Research" by @ai4research_ucb
sigops.org/2026/let-the-barb…
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
Replying to @LaudeInstitute @NeurIPSConf @andykonwinski @JeffDean @YejinChoinka @istoica05 @Yoshua_Bengio
It was so fun to be on the podcast!
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
Join us this Monday at SOSP in Seoul for a day of insights and discussions at the intersection of ML + systems!
💡 The 4th Workshop on Practical Adoption Challenges of ML for Systems (PACMI ’25)
🗓️ Agenda: sites.google.com/view/pacmi/…
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
A petition to SIGOPS to adopt the USENIX Annual Technical Conference (ATC) and retain its steering committee
docs.google.com/document/d/1…
(not sure whether it can be done by SIGOPS alone, but it's great to let the voice be heard)
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
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. – at Arlington, MA
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
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 amazing potential speakers from Google Deepmind and Anthropics on LLM, GenAI, Security, and Privacy!
#DLSP2025 #IEEESP #AISec #MLSecurity #Privacy #LLMSec #GenAISec
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
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 repository-level, 67 file-level, and 66 self-contains tasks
- Detailed problem descriptions (967 tokens) and long canonical solutions (918 tokens)
- Dataset: huggingface.co/datasets/lt-a…
Thanks to the great feedback from #swe-bench’s @OfirPress, here are some clarifications about #RepoCod (lt-asset.github.io/REPOCOD/):
Compared to #SWE-Bench, RepoCod tasks are
- General code generation tasks, while SWE-Bench tasks resolve pull requests from GitHub issues
- With 2.6X more tests per task (313.5 compared to SWE-Bench’s 120.8)
Compared to #HumanEval, #MBPP, #CoderEval, and #ClassEval, RepoCod has 980 instances from 11 Python projects, with
- Whole function generation
- Repository-level context
- Validation with test cases, and
- Real-world complex tasks: longest average canonical solution length (331.6 tokens) and the highest average cyclomatic complexity (9.00)
#LLMs #LLM4Code #security #codegen
Can language models replace developers? RepoCod says “Not Yet”, because GPT-4o and other LLMs have <30% accuracy/pass@1 on real-world method-level code generation tasks. Leaderboard lt-asset.github.io/REPOCOD/ #LLM4code #LLM #CodeGeneration #Security
@cerias @PurdueScience
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
We have an opening for a PostDoc in my group at @ucdavis - 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
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
Excited to announce #LLM4Code2025 (submission DDL: Nov 18) colocated with @ICSEconf! 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/
📢Announcing the 2nd workshop on #LLM4Code, co-located with @ICSEConf 2025 in Ottawa, Canada 🇨🇦!
🎯We are calling for submissions:
🌟Website: llm4code.github.io/
🌟Deadline: Nov 18, 2024
🌟8-page research paper / 4-page position paper (including references)
🚀Calling for submissions: Our workshop welcomes submissions of various topics, including but not limited to:
🌟LLM/agent applications on code-relevant tasks
🌟Datasets and evaluation
🌟Model design and optimization on LLM4Code
Looking forward to your high-quality submissions!!
🔗HotCRP: llm4code2025.hotcrp.com/
🔗CFP: llm4code.github.io/call/
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
I am recruiting PhD students!🐝 If you are interested in ML security and privacy, intersected with formal methods and rigorous frameworks, drop me an email!
Retweets are greatly appreciated! 🙏
teobaluta.github.io/
We're thrilled to welcome Teodora Baluta, SCP's new assistant professor! Teodora focuses her research on securing generative #AI systems by analyzing the algorithms and datasets behind them to prevent data misuse or theft.
Read more about her here: cc.gatech.edu/news/new-facul…
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
I'll be recruiting PhD students this cycle! If you're interested in working at the intersection of cryptography, differential privacy, and ML, please reach out.
I'll also be at @acm_ccs next week—find me if you'd like to chat!
RTs appreciated 🙏
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
Xudong (@xu_dong_sun) will soon be on the job market. He is very determined to and well prepared for fundamental systems research on software correctness and reliability. If your department is hiring, give him a chance to show you his work and future plans.
#ILLINOIS CS students Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, professor Tianyin Xu, and their collaborators received the USENIX OSDI ‘24 Jay Lepreau Best Paper Award.
▶️ bit.ly/3YQgNKZ
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
Work-Family Balance in Academia? cacm.acm.org/blogcacm/work-f…
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
We released StarCoder2 Instruct, which is self-aligned, transparent, and fully permissive! It even beats versions of StarCoder2 trained on GPT-4 distilled data on several benchmarks.
huggingface.co/blog/sc2-inst…
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
2 papers by @IllinoisCS students will be presented @EurosysConf Session H "Bugs, Failures and Inconsistency" tmr.
@yinfang_chen will present RCACopilot he did @MSFTResearch which takes advantages of LLMs for root cause analysis of cloud incidents.
Paper: arxiv.org/pdf/2305.15778.pdf – at Urbana, IL
#EuroSys24 is officially beginning today in Athens, Greece!!! Take a look at the exciting lineup of talks here - 2024.eurosys.org/program.htm…
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
In the same session, SandTable by @xu_dong_sun and collaborators from Nanjing U will present how to scale model checkers for distributed system implementations via spec-level state exploration, to find bugs in distributed protocol implementations.
Paper: dl.acm.org/doi/10.1145/36277… – at Urbana, IL
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
Very excited to share the 1st @llm4code workshop has attracted 170+ registrations!
If you’re at @ICSEconf and interested in LLMs, pls join us on April 20, we have 24 presentations and two keynotes on Code Llama (@b_roziere) and StarCoder2 (@LoubnaBenAllal1)! #icse24 #llm4code
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
📢 The @acm_ccs 2024 conference is looking for graduate students, postdocs, and early-career researchers to join its Artifact Evaluation Committee (AEC). If you would like to participate, please nominate yourself! #security #openscience
Apply here: forms.gle/vbSRU71SULxsb6Qo6





























