Home

News Notes

• 8/8/2024
  

  CS PhD student Matthew Makila has joined the Institute for Defense Analyses (IDA) as a Summer Associate in the Information Technology and Systems Division of IDA’s Systems and Analyses Center. IDA is a nonprofit corporation that operates three federally funded research and development centers.

• 7/25/2024
  

  Led by CS PhD student  Xudong Sun , the team of CS PhD student Jiawei Tyler Gu, Wenjie Ma (a former CS visiting student), and Zicheng Ma (an undergraduate student from the CS Summer Research Program) received the prestigious Jay Lepreau Best Paper Award at OSDI '24. Researchers from the University of Wisconsin-Madison, VMware Research, and Feldera also contributed to the paper "Anvil: Verifying Liveness of Cluster Management Controllers."
  
  

• 7/23/2024
  

  CS professor Michael A. Forbes won Best Paper for "Low-depth algebraic circuit lower bounds over any field" at the 2024 Computational Complexity Conference.

• 7/22/2024
  

  CS PhD students Arun Narenthiran Sivakumar and Mateus Gasparino's paper "Demonstrating CropFollow++: Robust Under-Canopy Navigation with Keypoints" was selected as a finalist for the best demo-track paper at Robotics: Science and Systems 2024 in Delft, Netherlands. Sivakumar's advisor, CS professor Girish Chowdhary, and PhD student M. Ugur Akcal are co-authors.