News #
Sep'25: Early ideas on
LLM guardrails,
hybrid scheduling, and
verifiable kernel extensions at
SOSP'25 workshops!
Aug'25: Two
NSDI'26 papers on
optimization prediction and
fault tolerance for opaque distributed systems!
Jul'25: Our group received a
Google ML-and-Systems Junior Faculty Award on
Securing Open-Source Software!
Jul'25:
Evangelos Lamprou joins the group for his PhD!
Jun'25: Our paper on the
Koala benchmark for the shells was accepted at Usenix
ATC'25—the last one, ever!
May'25:
Grigoris Ntousakis started his internship at IBM research!
Apr'25:
Apply to attend the
Brown Systems Week 2025!
Mar'25: Our paper on
semantics-driven static analysis for the shell made it to
HotOS'25!
Mar'25: Received an
Amazon Research Award (ARA) on Automated Reasoning for the Unix/Linux shell!
Oct'24:
Anirudh Narsipur discusses static analysis for the Unix shell at
NEPLS'24.
Aug'24:
Lukas Lazarek and
Di Jin join the group as postdoctoral associates—welcome!
Jun'24:
Ioanna Gemou starts her research visit on machine learning for systems, co-hosted by
Ritambhara Singh.
Jan'24:
Evangelos Lamprou starts his research visit on parallel, distributed, and secure systems.
Oct'23: We’re hosting the
3rd PaSh Research Workshop at Brown University.
Sep'23:
Nikos Pagonas joins the group for a six-month visit on serverless computing.
Sep'23: Brown CS News published
an article on our ACM AsiaCCS'23 distinguished paper award!
Aug'23:
Anirudh Narsipur and
Seth Sabar start their undergraduate dissertations.
Jul'23:
Oğuzhan Çölkesen and
Yizheng Xie join the group for their PhD.
Jun'23:
BinWrap to receive the distinguished-paper award at
AsiaCCS'23!
Jun'23:
Zhicheng Huang joins the group to work on DiSh.
Apr'23:
Julian Dai joins the group to research supply-chain security.
Mar'23:
BinWrap, a language-binary protection hybrid for native add-ons made it to
AsiaCCS'23.
Mar'23:
Grigoris Ntousakis joins the group for a 9-month research visit.
Feb'23:
Seong-Heon Jung joins the group to work on PaSh.
Dec'22:
SecBench.js, a security benchmark suite for JavaScript, made it to
ICSE'23!
Jun'22: MIT News covered our work on PaSh:
Faster computing results without fear of errors!