UTNS Lab @UTCompSci, formerly WISR. Led by @adityaakella, we work on cool, high-impact networked system problems. Visit our website for recent highlights.
Joined May 2020
- Tweets 23
- Following 5
- Followers 295
- Likes 15
1 Photos and videos
UT Networked Systems retweeted
14 May 2025
Excited to discuss this at HotOS today! Great work led by @divytweet with colleagues from our LDOS Expedition.
14 May 2025
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.
2
12
2,351
UT Networked Systems retweeted
12 Dec 2024
🚀 Exciting news! We’ve launched a LinkedIn page for the NSF Expedition: Learning Directed Operating System (LDOS). 🎉 Follow us for updates on events, team wins, and industry insights. 🌟 Tag us in your posts, and let’s grow this community together! 🙌
linkedin.com/company/ldos
1
4
22
1,608
UT Networked Systems retweeted
12 Oct 2024
🚀PhD applicants: Want to revolutionize OS design? Join @UT to build LDOS—the next-gen learned OS—and work on cutting-edge research in systems, ML & formal methods with top UT faculty & industry partners!🔥Learn why OSes need bold new advances at ldos.utexas.edu
3
30
97
19,109
UT Networked Systems retweeted
23 May 2024
Delighted and stoked to lead the learning directed operating system (LDOS) @NSF CISE Expedition in computing! cns.utexas.edu/news/announce…
3
8
60
18,084
UT Networked Systems retweeted
16 Apr 2024
We're starting a really exciting project - come work with us!
You'll have the chance to work with me and @swarat, and collaborate closely with @IsilDillig @AlexGDimakis @daehyeok_kim and many others!
16 Apr 2024
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.
5
27
5,904
UT Networked Systems retweeted
25 Feb 2024
@utnslab hike at Barton Creek with @VenkatArun95 @daehyeok_kim and our amazing students - @jitaotweet @Jane_JiayiChen @BodunHu @divytweet @brian0296 @RohitDwivedula
Jiaxin, Geon-Woo, Jeongyoon, Yeonju, Haoyu, Darius, and Donghyun.
3
9
47
3,790
UT Networked Systems retweeted
6 Dec 2023
Join @utnslab!
Reach out to Venkat, Daehyeok or me to hear about our exciting projects cutting across networking, systems, ML, and formal methods.
6 Dec 2023
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
2
26
4,100
UT Networked Systems retweeted
23 May 2021
Congratulations to Lynn Liu @LynnLiu41887950 for winning UW-Madison's prestigious Hilldale Fellowship for undergrad research. She has been working in my group for ~2 years and has done some amazing sysML research. She's going to be a superstar.
awards.advising.wisc.edu/cam…
1
3
39
UT Networked Systems retweeted
14 Apr 2021
ATP, our system for switch-accelerated multi-tenant learning, won the NSDI'21 best paper award. Congratulations @laochonlam @yanfangle @kshiteejmahajan. #nsdi21
13 Apr 2021
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
7
5
113
UT Networked Systems retweeted
15 Feb 2021
@wisrlab is hosting an exciting set of networking/systems talks this Spring. Check out our schedule, and join us if you can!
wisr.cs.wisc.edu/talks.html
1
6
12
12 Dec 2020
We will have three paper appearing at NSDI '21: Whiz (authored by Arjun, Robert and Raajay); ATP (Lam, Yanfang, Kshiteej); and a paper on running BGP at scale in Facebook datacenters (Archie, Kausik). Congratulations to all!
1
19
12 Dec 2020
Presentation video of PANIC, our paper accepted to OSDI '20, is now available! Check it out: youtu.be/EB6dK3L8Jzg
UT Networked Systems retweeted
22 Nov 2020
I'm looking for PhD students and postdocs to join my group. Interested? Drop me an email!
59
393
725
UT Networked Systems retweeted
18 Aug 2020
@wisrlab has a freshly-minted PhD! #12 overall and third in a row this summer, @AnubhavNidhi (Archie) worked on network programming, verification and repair. He successfully defended his thesis today and will soon be joining ByteDance as a researcher.
3
1
32
15 Jul 2020
Kausik @sskausik08 has successfully defended his thesis. He is co-advised by @adityaakella and @lorisdanto. Congratulations, Dr. Subramanian!
9
UT Networked Systems retweeted
6 Jul 2020
A blog post that Aaron Gember-Jacobson and I wrote for netverify.fun on how analyzing production data and interacting with network operators informed much of our work on network verification/repair/synthesis. Hope you find it useful!
6 Jul 2020
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…
2
14
1 Jul 2020
Our student Yanfang Le @yanfangle has successfully defended her Ph.D. thesis. Congratulations, Dr. Le!
5
17 Jun 2020
Congratulations @adityaakella! That is a well-deserved recognition to your academic achievements.
17 Jun 2020
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
5
UT Networked Systems retweeted
16 May 2020
Super thrilled that our paper on rethinking RDMA from the ground up for multi-tenant datacenters has been conditionally accepted at SIGCOMM 2020. Congrats to @wisrlab, esp. @arjunsinghvi29, and our awesome Google collaborators!
2
3
54