The Computer Science Department Graduate Student Group hosted the Summer Virtual Research Symposium 2020 on June 5 with six awardees for Best Presentations at the end of the event.

Kevin Skadron, Harry Douglas Forsyth Professor and chair of computer science, opened the symposium by sharing that the objective of the forum was to learn more about what other researchers are doing and to identify opportunities for collaborating.

Josie Lamp, a doctoral student of computer science and chair of the Computer Science Graduate Student Group, provided an overview of the symposium agenda. The day included three sessions, Human-Computer Interaction, Artificial Intelligence and Cyber-Physical Systems; Networks and Security; and, Software Engineering and Theory. Each session featured two presentations from computer science faculty, along with five-minute research presentations from graduate students. All talks allowed for question and answer sessions. 

The day ended with a ceremony and awards being presented for the best talks in each session. Talks were judged by a student review committee on five points: Understandability, Clarity, Scientific Communications, Motivation and Importance, Handling of Questions.

Congratulations to these students on receiving awards for their presentations!

  • Wen Ying: Evaluation of Touch Gesture Performance on Surfaces in VR
  • Andrew Elsey: Runtime Monitors to Enforce the Physical Semantics of Code
  • Sihang Liu: A Holistic System Support for Persistent Memory Systems
  • Wenqiang Chen: Vibration Intelligence in Cyber-Physical systems
  • Carl Hildebrandt: Feasible and Stressful Trajectory Generation for Mobile Robots
  • Trey Woodlief: Automatic Test Selection for Full Stack Autonomous Navigation System


Read more about the presentation winners below...

Wenqiang Chen is a first-year CS PhD student supervised by John Stankovic. He previously received his B.S. and M.S. in Computer Science from Shenzhen University. He is interested in vibration intelligence in cyber-physical systems. In his free time, he enjoys watching science fiction movies.   

Carl Hildebrandt is a Ph.D. student advised by Dr. Sebastian Elbaum. He holds a B.Eng. in Computer Engineering from the University of Pretoria in South Africa. His research interests lie in the intersection between robotics and software testing and verification. Specifically, his recent research was looking at combining the kinematic models of autonomous mobile robots with the testing procedures used to verify them.Outside of the lab, he is an active member of the University of Virginia’s club field hockey and triathlon team. He summited Kilimanjaro, completed Comrades the world’s oldest and largest ultramarathon, and was part of the U18B South Africa National Hockey Team.

Sihang Liu is a 4th year Ph.D. student advised by Professor Samira Khan. Before pursuing the doctoral degree, he obtained Bachelor’s degrees from both the University of Michigan and Shanghai Jiaotong University. His primary research interest lies in the software and hardware co-design of persistent memory systems. On the hardware side, his research aims to optimize the performance and guarantee crash consistency for practical persistent memory systems that are integrated with both storage and memory support. On the software side, he works on testing the crash consistency guarantees of PM-based programs. His works have provided several open-source tools and detected real-world bugs in well-known persistent memory software systems. He has published these works at top conferences in Computer Architecture, including ISCA, ASPLOS, and HPCA. He has also served as reviewer for ToS and artifact reviewer for ASPLOS.

Trey Woodlief is a second year PhD student in Computer Science at UVA. He previously received his B.S. in Computer Science and Electrical and Computer Engineering from North Carolina State University. Trey is interested in robotics, focusing on system testing and verification. In his free time, Trey volunteers for FIRST robotics, enjoys cheering on the Nats and Canes, and exploring Charlottesville with his wife, Jordan.

Wen Ying is a second-year CS MS student at the University of Virginia. She will continue her PhD program in Computer Science at UVA. She is interested in the haptic devices in human computer interaction. In her free time, she enjoys working out and writing novels.