News

Oct'26: Sash (paper, system), our static effect analysis for the shell, receives a Best Paper award at SOSP'26!

Sep'26: Nikos Vasilakis is co-organizing the Principles of Agentic Engineering workshop at POPL'27—please submit your finest work!

Sep'26: Evangelos Lamprou receives Brown University’s Paris C. Kanellakis fellowship.

Jul'26: At OSDI'26, try receives a Jay Lepreau Best Paper Award and a Best Artifact Award, while RT is selected as a Best Paper runner-up!

Jul'26: Sash, a new ahead-of-time analysis of shell program effects, to appear at SOSP'26—see you in Prague!

Jul'26: Nikos Vasilakis receives an NSF CAREER award on automating whole-systems transformations with Transformorphic Computing!

May'26: Four OSDI'26 papers on bolt-on incrementalization with Incr, on opaque-component effect control with try, on speculative execution for shell and Python programs with hs, and on a regex-based type system for the Unix shell—see you in Seattle!

Apr'26: Extensions to the Koala benchmarks invited to ACM ToCS, following a recommendation by the USENIX ATC'25 chairs.

Apr'26: New approaches on securing agentic environments, internally (at EuroMLSys'26) and externally (Sc.M. thesis)!

Mar'26: Apply to attend the 2026 Brown Systems Week in beautiful Providence, RI!

Feb'26: Jiayi Wu and Kaitlyn Cheng join the group as UTRAs!

Jan'26: Two new pre-prints on LLM-assisted specification mining for opaque components and secure program regeneration.

Jan'26: We are organizing a tutorial on Analyzing Shell Scripts at POPL'26—join us in Rennes, France!

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 benchmark suite for the shell received the Best Paper Award at USENIX ATC'25!

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: The Koala benchmarks was accepted at USENIX ATC'25!

May'25: Grigorios 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!

Jan'25: Nikos Vasilakis is organizing EuroSec'25, co-located with EuroSys'25 and ASPLOS'25.

Dec'24: Eric Zhao discusses the intricacies of symbolic execution for the shell at NJPLS'24.

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!

Jul'24: Eric Zhao, Ethan Lavi, Grigorios Ntousakis, and Yuchen Lu join the group for their PhDs!

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.

Dec'23: Nikos Vasilakis is co-chairing the PC of EuroSec'24, co-located with EuroSys.

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: Nikos Vasilakis is co-chairing ACM SCORED'23, a workshop co-located with ACM CCS'23.

Jun'23: BinWrap to receive the distinguished-paper award at AsiaCCS'23!

Jun'23: Zhicheng Huang joins the group to work on DiSh.

May'23: hs, the out-of-order, speculative-execution PaSh extensions made it HotOS'23.

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: Grigorios Ntousakis joins the group for a 9-month research visit.

Feb'23: Seong-Heon Jung joins the group to work on PaSh.

Jan'23: DiSh, the dynamic shell-script distribution extensions to PaSh, made it to NSDI'23!

Dec'22: SecBench.js, a security benchmark suite for JavaScript, made it to ICSE'23!

Nov'22: Pitchfork, an application-level privilege-separation system, was accepted to ACSAC'22!

Jun'22: MIT News covered our work on PaSh: Faster computing results without fear of errors!