Our paper won the best student paper award at ACM SIGCOMM 2022!

Nirav Atre (Nirav Atre), a Ph.D. student in CMU School of Computer Science and member of CyLab, has developed an algorithm guaranteed to protect network systems against algorithmic complexity attacks. cylab.cmu.edu/news/2022/08/2…

Exciting work on decoupling program logic from performance tradeoff considerations!

PL needs better naming. I was discussing logical abduction with a friend and other people in the train started giving us weird looks 😬

I am excited to join UT Austin as an assistant professor this fall! I work on networking + formal methods + wireless systems

Super stoked to have Venkat Arun join UT Austin. Venkat, Daehyeok Kim and I are going to have an amazing time working together. 🙂Couldn't be more excited for networked systems research at UT!

UT Networked Systems hike at Barton Creek with Venkat Arun Daehyeok Kim and our amazing students - Tao Ji Jiayi Chen Bodun Hu Divyanshu Saxena Brian Chang @RohitDwivedula Jiaxin, Geon-Woo, Jeongyoon, Yeonju, Haoyu, Darius, and Donghyun.

🚀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