Defense Notices


All students and faculty are welcome to attend the final defense of EECS graduate students completing their M.S. or Ph.D. degrees. Defense notices for M.S./Ph.D. presentations for this year and several previous years are listed below in reverse chronological order.

Students who are nearing the completion of their M.S./Ph.D. research should schedule their final defenses through the EECS graduate office at least THREE WEEKS PRIOR to their presentation date so that there is time to complete the degree requirements check, and post the presentation announcement online.

Upcoming Defense Notices

Jennifer Quirk

Aspects of Doppler-Tolerant Radar Waveforms

When & Where:


Nichols Hall, Room 129 (Apollo Auditorium)

Committee Members:

Shannon Blunt, Chair
Patrick McCormick
Charles Mohr
Alessandro Salandrino
Zsolt Talata

Abstract

The Doppler tolerance of a waveform refers to its behavior when subjected to a fast-time Doppler shift imposed by scattering that involves nonnegligible radial velocity. While previous efforts have established decision-based criteria that lead to a binary judgment of Doppler tolerant or intolerant, it is also useful to establish a measure of the degree of Doppler tolerance. The purpose in doing so is to introduce a Doppler "quasi-tolerant" trade-space that can ultimately inform automated/cognitive waveform design in increasingly complex and dynamic radio frequency (RF) environments. This idea of Doppler quasi-tolerance leads to the development of random FM (RFM) waveforms that retain a degree of Doppler tolerance while still providing the diversity of a nonrepeating waveform structure. The ensuing ambiguity functions split the delay/Doppler ridge into a variety of different patterns. Since these patterns are known at transmission, a strategy for appropriate coherent slow time combining is demonstrated in simulation. Separately, the application of slow-time coding (STC) to the Doppler-tolerant linear FM (LFM) waveform has been examined for disambiguation of multiple range ambiguities. However, using STC with non-adaptive Doppler processing often results in high Doppler "cross-ambiguity" side lobes that can hinder range disambiguation despite the degree of separability imparted by STC. To enhance this separability, a gradient-based optimization of STC sequences is developed, and a "multi-range" (MR) modification to the reiterative super-resolution (RISR) approach that accounts for the distinct range interval structures from STC is examined. The efficacy of these approaches is demonstrated using open-air measurements. Pulse agility is an alternative range disambiguation technique that relies on pulse-to-pulse waveform separability. Although pulse-agile waveforms are often uncorrelated and therefore amenable to range disambiguation, they may exhibit poor Doppler tolerance. To preserve Doppler tolerance and achieve separability, a class of hybrid waveforms is developed whereby a phase code is embedded on an LFM base waveform. A gradient-based optimization is developed for this waveform structure to achieve enhanced suppression of range-folded scattering in desired delay/Doppler regions. The Doppler tolerance and separability of the optimized waveforms are examined in simulation, and open-air measurements are used to demonstrate the range disambiguation capability.


Abdalla Hassan Eltom

Bringing Anytime Perception to Real Hardware: An Embedded Deployment of the Autoware Stack with Dynamic Resolution Scaling

When & Where:


Nichols Hall, Room 250 (Gemini Conference Room)

Committee Members:

Heechul Yun, Chair
Prasad Kulkarni
Shawn Keshmiri


Abstract

Deploying deep neural networks for perception on autonomous vehicles forces a compromise between how accurately the system perceives and how quickly it responds. This compromise is especially binding on embedded compute platforms, where limited processing power means a high-accuracy detector may fail to finish within the control loop's timing budget, leaving the vehicle to act on outdated information. Anytime perception offers a way to manage this by adjusting inference cost at runtime, but its benefits have so far been shown mainly in simulation, with little evidence from physical deployment.

This thesis provides that evidence. We take MURAL — a multi-resolution anytime LiDAR detector previously integrated into the Autoware stack and evaluated in the AWSIM simulator — and deploy it on a physical mid-size rover, running the full sensing-to-actuation pipeline on a single NVIDIA Jetson AGX Orin. Reaching a working deployment required substantial adaptation of a stack originally built for full-scale vehicles in simulation, from retargeting the vehicle model to rover scale to bringing the entire pipeline on-board a single embedded device.

By carrying the complete stack onto real hardware, this work makes it possible to evaluate anytime perception under the conditions it was designed for: a full autonomous-driving pipeline running on an edge device in the physical world. We assess, through end-to-end physical experiments, whether dynamically scaling detection resolution delivers a real performance benefit on embedded hardware — providing, to our knowledge, the first true evaluation of anytime perception for edge-deployed autonomous driving.


Logan Schmalz

A Framework for Controlled Key Release

When & Where:


Nichols Hall, Room 246 (Executive Conference Room)

Committee Members:

Perry Alexander, Chair
Drew Davidson
Sankha Guria


Abstract

Modern security relies heavily on public key cryptography, and private keys and secrets in general must be protected from attackers. Against a highly-capable adversary it is ideal to store secrets outside of main memory, which is easy on general purpose systems with the now widely-available Trusted Platform Module (TPM) 2.0. However, the lack of integration between the TPM and the OS makes protecting secrets with automated availability needs difficult. We develop a strategy to authenticate OS entities and protect TPM-stored secrets without restricting access to the TPM, using standard features available on Linux---SELinux, Integrity Measurement Architecture (IMA), Extended Verification Module (EVM), and Linux Unified Key Setup (LUKS).


Past Defense Notices

Dates

CHRIS REDFORD

Evidentialist Foundationalist Argumentation in Multi-Agent Systems

When & Where:


317 Nichols Hall

Committee Members:

Arvin Agah, Chair
Swapan Chakrabarti
Luke Huan
Brian Potetz
Prajna Dhar

Abstract


HEMAIYER SANKARANARAYANAN

Source-to-Source Refactoring Framework for Local and Glogal Variables

When & Where:


246 Nichols Hall

Committee Members:

Prasad Kulkarni, Chair
Andy Gill
Xin Fu


Abstract


DIVYA IYER

Exploring the Suitability of Existing Tools for Constructing Executable Java Slices

When & Where:


246 Nichols Hall

Committee Members:

Prasad Kulkarni, Chair
Arvin Agah
Bo Luo


Abstract


YUANYUAN ZHANG

Spectrally Efficient Multicarrier Systems for Fiber-optic Transmission

When & Where:


250 Nichols Hall

Committee Members:

Ron Hui, Chair
Chris Allen
Victor Frost
Erik Perrins
Hui Zhao

Abstract


YAO HE

Characteristics of SOA-based Tunable Ring Laser for OCT Application

When & Where:


246 Nichols Hall

Committee Members:

Ron Hui, Chair
Swapan Chakrabarti
Luke Huan


Abstract


MARTIN KUEHNHAUSEN

A Framework for Knowledge Derivation Incorporating Trust and Quality of Data

When & Where:


246 Nichols Hall

Committee Members:

Victor Frost, Chair
Luke Huan
Bo Luo
Gary Minden
Tyrone Duncan

Abstract


JOHN GIBBONS

Modeling Content Lifespan on Social Networks Using Dating Mining

When & Where:


Eaton Hall, Room 1

Committee Members:

Arvin Agah, Chair
Perry Alexander
Jerzy Grzymala-Busse
James Miller
Brian Potetz

Abstract


WESLEY PECK

Hardware/Software Co-Design via Specification Refinement

When & Where:


129 Nichols Hall

Committee Members:

Perry Alexander, Chair
Xin Fu
Andy Gill
Prasad Kulkarni
Caroline Bennett*

Abstract


WESLEY PECK

Hardware/Software Co-Design via Specification Refinement

When & Where:


129 Nichols Hall

Committee Members:

Perry Alexander, Chair
Xin Fu
Andy Gill
Prasad Kulkarni
Caroline Bennett*

Abstract


PATRICK CLARK

Novel Data Structures and Algorithms for Modeling, Analysis, and Human-Comprehension of Firewall Policies

When & Where:


2001B Eaton Hall

Committee Members:

Arvin Agah, Chair
Swapan Chakrabarti
Jerzy Grzymala-Busse
Bo Luo
Prajna Dhar*

Abstract