Virginia Tech · Electrical & Computer Engineering

Theses & dissertations

PhD dissertations and MS theses completed in the group.

2026
MS
RALLY: Retargetable Assembly Lifter to LLVM IR
Kartik Goel · May 2026
MS
ReachForge: Automated Vulnerability-Directed Fuzz Harness Generation for C/C++ Libraries
Shubham Tiwari · May 2026
MS
Proto-libErator: Consumer-Code-Independent Library Fuzzing via Protobuf API Interposition
Priyatam Annambhotla · May 2026
MS
FUSE: Single-Pass Binary Co-Instrumentation for Accurate Vulnerability Detection
Pranav Kumar · May 2026
2025
MS
EKFuzz: Fuzzing the BPF Subsystem
Ananta Srikar Puranam · August 2025
PhD
On Improving Backwards Reasoning with Symbolic Execution: Integrating Loop Summarization, Alias Analysis, and Compositional Summarization
Md Syadus Sefat · February 2025
2024
PhD
Enhancing Software Security through Code Diversification Verification, Control-flow Restriction, and Automatic Compartmentalization
Jae-Won Jang · July 2024
MS
Verification of DMAC Device Driver Operations in HOL4
Robert Platt · May 2024
MS
Modeling and Synthesis of Linux DMA Device Drivers using HOL4
Aditya Gawali · May 2024
2023
MS
Remote Software Guard Extensions (RSGX)
Abilesh Sundarasamy · December 2023
MS
SNIC-DSM: SmartNIC-based DSM Infrastructure for Heterogeneous-ISA Machines
Hemanth Ramesh · June 2023
MS
CRIU-RTX: Remote Thread eXecution using Checkpoint/Restore in Userspace
Mohamed Husain · June 2023
MS
Netswap: Network-based Swapping for Server-Embedded Board Clusters
Sandeep Errabelly · May 2023
PhD
On Improving the Security of Virtualized Systems through Unikernelized Driver Domain and Virtual Machine Monitor Compartmentalization and Specialization
A K M Fazla Mehrab · February 2023
PhD
Improving Operating System Security, Reliability, and Performance through Intra-Unikernel Isolation, Asynchronous Out-of-kernel IPC, and Advanced System Servers
Mincheol Sung · February 2023
PhD
Low-Level Static Analysis for Memory Usage and Control Flow Recovery
Joshua Bockenek · February 2023
2022
MS
HetMigrate: Secure and Efficient Cross-architecture Process Live Migration
Abhishek Bapat · December 2022
PhD
On Optimizing and Leveraging Distributed Shared Memory for High Performance, Resource Aggregation, and Cache-coherent Heterogeneous-ISA Processors
Ho-Ren Chuang · May 2022
PhD
On Reducing the Trusted Computing Base in Binary Verification
Xiaoxin An · May 2022
MS
ZxOS: Zephyr-based Guest Operating System for Heterogeneous-ISA Machines
Ashwin Krishnakumar · February 2022
MEng
Lowest-Slowdown-offloaded-First Heterogeneous-ISA Scheduler
Balvansh Heerekar · February 2022
MS
fDSM: An FPGA-Accelerated Distributed Shared Memory for Heterogeneous Instruction-Set-Architecture Hardware
Naarayanan R. VSathish · February 2022
2021
MS
Improving Security of Edge Devices by Offloading Computations to Remote, Trusted Execution Environments
Carlos Bilbao · December 2021
PhD
Scalable Byzantine State Machine Replication: Designs, Techniques, and Implementations
Balaji Arun · May 2021
MS
DynaCut: A Framework for Dynamic Code Customization
Abhijit Mahurkar · August 2021
MS
rave: A Framework for Code and Memory Randomization of Linux Containers
Chris Blackburn · July 2021
2020
MS
Secure and Efficient In-Process Monitor and Multi-Variant Execution
SengMing Yeoh · December 2020
MS
Explicit-State Model Checking of Concurrent x86-64 Assembly
Abhijith Bharadwaj · May 2020
MS
Linux Kernel Module Continuous Address Space Re-Randomization
Hassan Nadeem · January 2020
2019
MS
SlimGuard: Design and Implementation of a Memory Efficient and Secure Heap Allocator
Beichen Liu · November 2019
MS
Leveraging Processor-diversity For Improved Performance In Heterogeneous-ISA Systems
Yihan Pang · September 2019
PhD
Popcorn Linux: A Compiler and Runtime for Execution Migration Between Heterogeneous-ISA Architectures
Robert Lyerly · March 2019
2018
MS
Design and Implementation of a Network Server in LibrettOS
Mincheol Sung · November 2018
MS
Cross-ISA Execution Migration of Unikernels: Build Toolchain, Memory Alignment, and VM State Transfer Techniques
A. K. M. Fazla Mehrab · November 2018
MS
Generalized Consensus for Practical Fault-Tolerance
Mohit Garg · August 2018
MS
Optimizing Boot Times and Enhancing Binary Compatibility for Unikernels
Daniel Chiba · May 2018
2017
MS
USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow
Joshua Bockenek · December 2017
MS
A Low-latency Consensus Algorithm for Geographically Distributed Systems
Balaji Arun · February 2017
2016
PhD
Popcorn Linux: A Compiler and Runtime for State Transformation Between Heterogeneous-ISA Architectures
Robert Lyerly · proposal · October 2016
MS
Optimizing Distributed Transactions: Speculative Client Execution, Certified Serializability, and High Performance Run-Time
Utkarsh Pandey · August 2016
MS
Replication of Concurrent Applications in a Shared Memory Multikernel
Yuzhong Wen · June 2016
PhD
Extracting Parallelism from Legacy Sequential Code Using Transactional Memory
Mohamed M. Saad · May 2016
2015
MS
A Compiler Framework to Support and Exploit Heterogeneous Overlapping-ISA Multiprocessor Platforms
Christopher Jelesnianski · October 2015
MS
High Performance Inter-kernel Communication and Networking in a Replicated-kernel Operating System
Saif Ansary · September 2015
PhD
On the Fault-tolerance and High Performance of Replicated Transactional Systems
Sachin Hirve · September 2015
PhD
Designing, Modeling, and Optimizing Transactional Data Structures
Ahmed Hassan · September 2015
PhD
On Optimizing Transactional Memory: Transaction Splitting, Scheduling, Fine-grained Fallback, and NUMA Optimization
Mohamed Mohamedin · July 2015
MS
A Flattened Hierarchical Scheduler for Real-Time Virtual Machines
Michael S. Drescher · May 2015
MS
Single System Image in a Linux-based Replicated Operating System Kernel
Akshay Ravichandran · February 2015
PhD
On Improving Distributed Transactional Memory through Nesting, Partitioning and Ordering
Alexandru Turcu · January 2015
2014
MS
Popcorn Linux: Cross Kernel Process and Thread Migration in a Linux-Based Multikernel
David G. Katz · September 2014
MS
Real-Time Hierarchical Scheduling of Virtualized Systems
Kevin Burns · September 2014
MS
Automatic Scheduling of Compute Kernels Across Heterogeneous Architectures
Robert F. Lyerly · May 2014
MS
Applying Source Level Auto-Vectorization to Aparapi Java
Frank Curtis Albert · May 2014
2013
PhD
Resilire: Achieving High Availability Through Virtual Machine Live Migration
Peng Lu · September 2013
PhD
Scheduling Memory Transactions in Distributed Systems
Junwhan Kim · September 2013
MS
On Partial Aborts and Reducing Validation Costs in Fault-tolerant Distributed Transactional Memory
Aditya Dhoke · September 2013
PhD
Real-Time Software Transactional Memory: Contention Managers, Time Bounds, and Implementations
Mohammed El-Shambakey · September 2013
MS
Popcorn Linux: enabling efficient inter-core communication in a Linux-based multikernel operating system
Ben Shelton · May 2013
MS
HyflowCPP: A Distributed Transactional Memory framework for C++
Sudhanshu Mishra · January 2013
2012
MS
LWFG: A Cache-Aware Multi-core Real-Time Scheduling Algorithm
Aaron Lindsay · June 2012
MS
ByteSTM: Java Software Transactional Memory at the Virtual Machine Level
Mohamed Mohamedin · February 2012
2011
PhD
Supporting Software Transactional Memory in Distributed Systems: Protocols for Cache-Coherence, Conflict Resolution, and Replication
Bo Zhang · November 2011
MS
An Experimental Evaluation of Real-Time DVFS Scheduling Algorithms
Sonal Saha · September 2011
MS
An Experimental Evaluation of the Scalability of Real-Time Scheduling Algorithms on Large-Scale Multicore Platforms
Matthew Dellinger · April 2011
MS
HyFlow: A High Performance Distributed Software Transactional Memory Framework
Mohamed Saad · April 2011
2010
PhD
Energy Efficient Target Tracking in Wireless Sensor Networks: Sleep Scheduling, Particle Filtering, and Constrained Flooding
Bo Jiang · December 2010
PhD
On Reducing Delays in P2P Live Streaming Systems
Fei Huang · September 2010
MS
On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors
Piyush Garyali · July 2010
PhD
Collaborative Scheduling and Synchronization of Distributable Real-Time Threads
Sherif F. Fahmy · May 2010
PhD
Duty-Cycled Wireless Sensor Networks: Wakeup Scheduling, Routing and Broadcasting
Shouwen Lai · April 2010
PhD
Scheduling Distributed Real-Time Tasks in Unreliable and Untrustworthy Distributed Systems
Kai Han · January 2010
2009
MS
On a Self-Organizing MANET Event Routing Architecture with Causal Dependency Awareness
Guanhong Pei · November 2009
2008
PhD
Scalable Synchronization and Scheduling of Distributable Real-Time Threads
Sherif Fahmy · proposal · December 2008