Network Intelligence Research Center (NIRC)
Apr 16, 2025 · Industry Insights
Our EuroSys'25 Experience: Presenting Atlas and Exploring Cutting‑Edge System Research
The article recounts the authors' participation in EuroSys'25 in Rotterdam, detailing the conference schedule, their presentation of the Atlas network verification paper, technical insights into distributed verification, interactions with peers, and memorable social and cultural experiences during the five‑day event.
AtlasDistributed SystemsEuroSys
0 likes · 7 min read