DigitalCommons@UNO

Tool Support for Recurring Code Change Inspection with Deep Learning

Krishna Teja Ayinala

PKI 158

12:45 PM - 1:00 PM

Automated Tool Support for Security Bug Repair in Mobile Applications

Larry Singleton

PKI 158

1:00 PM - 1:15 PM

Automatic Program Rewriting for Non-Ground Answer Set Programs

Nicholas Hippen

PKI 158

1:15 PM - 1:30 PM

Dynamic Lazy Grounding in Answer Set Programming

Brian Hodges

PKI 158

1:30 PM - 1:45 PM

Simulator for Qubit Measurement Using Augmented Reality

SAI PRADEEP KONETI

PKI 158

1:45 PM - 2:00 PM

Implementation of Fast Hydraulic Erosion Simulation and Visualization on GPU

Brian Hawkins

PKI 158

2:00 PM - 2:15 PM

Snack Break

PKI 158

2:15 PM - 2:45 PM

Conflict Resolution Using α-shapes for Distributed Robotic Sampling of Ambient Phenomena in Initially Unknown Environments

Brad Woosley

PKI 158

2:45 PM - 3:00 PM

A Formal Approach to Circle Formation in Multi-Agent Systems

Rui Yang

PKI 158

3:00 PM - 3:15 PM

Consensus-based Robotic Formation Control

Satish Reddy Modugu

PKI 158

3:15 PM - 3:30 PM

Performance Analysis of Voting Algorithms in Wireless Sensor Networks

Aditi Mishra

PKI 158

3:30 PM - 3:45 PM

Parallel Scalable Algorithms for Updating Dynamic Networks

Sriram Srinivasan

PKI 158

3:45 PM - 4:00 PM

Closing Social

PKI 158

4:00 PM