UT Networked Systems
23 posts
@utnslab
UTNS Lab @UTCompSci, formerly WISR. Led by @adityaakella, we work on cool, high-impact networked system problems. Visit our website for recent highlights.
I will be (remotely) presenting our proposal tomorrow at HotOS'25 on gaining the adaptability of learned policies for the OS, while maintaining control over them! We introduce OS Guardrails - an abstraction for monitoring properties at run-time and taking corrective actions.
PSA: @adityaakella and I are looking to hire a postdoc for an exciting new project at the interface of formal methods, machine learning, and software systems. Our high-level goal is to build scalable learning-enabled systems with strong reliability guarantees. A good candidate for the position will have prior ML experience, familiarity with formal methods, and an interest in hacking real-world code. DM/email me if you are interested.
We (@adityaakella, @daehyeok_kim and I) are recruiting PhD students interested in networked systems this season at UT Austin Plus, @IsilDillig, Ken and I are looking to co-advise students interested in using formal methods to design networked systems that perform reliably
It's an honor to receive the best paper award from #nsdi #nsdi21, our paper ATP will be presented by @yanfangle tomorrow (10:00 am Wed). Many thanks to all my amazing collaborators and advisors! @adityaakella @mikeswift_wi @wenfeiwu @yanfangle @kshiteejmahajan @chen_ishi
New post on netverify.fun by @adityaakella and Aaron, who describe how to find great research problems in network verification by making network operator buddies: netverify.fun/talk-to-a-netw…
Congratulations to the 2020 Finalists of the Blavatnik National Awards! bit.nyas.org/30P3Web @DrSethMurray @tamusoilcrop @aglifesciences @TAMU @adityaakella @WisconsinCS @wisrlab @Uwmadison @ucsd_yuen @UCSDChemBiochem @UCSDPhySci @UCSD #Blavatnik2020
