Research Proposals

Corporate Partner Program

 

Note: Research projects sorted by research area and may overlap research areas. Abstracts are PDF documents.

Computational Science and Engineering

• High Performance Algorithms for Massive Graphs
              Prof. Alex Pothen

Graphics and Visualization

• Simulation and Visualization of Particulate Swarms in Fluids
              Prof. Xavier Tricoche

• Interactive Multi-Scale Exploration of Poincaré  Maps
              Prof. Xavier Tricoche

Information Security and Assurance

• Block-Chains Performance
              Prof. Bharat Bhargava

• Electronic Supply Chain Provenance using Blockchains
              Prof. Aniket Kate

• Enabling Access Control and Revocations in "Immutable" Blockchain Ledgers
              Prof. Aniket Kate

• MEDS: Fast/Better Memory Error Detection System
              Prof. Byoungyoung Lee

• Oblivex: ORAM Based Execution Framework for Intel SGX
              Prof. Byoungyoung Lee

• Protecting Applications in the Presence of Vulnerabilities
              Prof. Mathias Payer

Machine Learning and Information Retrieval

• Fairness and Bias Analysis in Automated Decision-Making
              Prof. Elias Bareinboim

• Explainability and Causal Machine Learning
              Prof. Elias Bareinboim

• Building Mass-Spec Databases of Ever-Changing Consumer Products
              Prof. David Gleich

• Dynamic Processes, Evolutionary Trajectories, and Control of Complex Systems
              Prof. Ananth Grama and Wojciech Szpankowski

• Derivative Based Models in Machine Learning and Optimization
              Prof. Alex Pothen

Networking and Operating Systems

• AUTOP4: Auto Generating Network Functions and Services Using P4
              Prof. Douglas Comer

• SDIOS: A Complete Software System for IoT Devices
              Prof. Douglas Comer

• DCnet: A Secure, Data Center Network to Support Live Migration
              Prof. Douglas Comer

• IOTA: An Investigation of IoT Protocols
              Prof. Douglas Comer

• Garbage Collection for Multi-Gigabyte Heaps
              Prof. Gustavo Rodriguez-Rivera

• Synthesis of Virtual Reality Worlds Using Convolutional Neural Networks and Partial 3D Data
              Prof. Gustavo Rodriguez-Rivera

• A Loggable Programming IDE for Education and Research
              Prof. Gustavo Rodriguez-Rivera

Programming Languages and Compilers

• Verification of Large-Scale Geo-Replicated Software Systems
              Prof. Suresh Jagannathan

• TensorFlare: Accelerating SQL + Deep Learning Pipelines
              Prof. Tiark Rompf

• DeltaFlare: Native Compilation for Realtime Stream Processing
              Prof. Tiark Rompf

• SpatialFlare: Native Compilation for Spatial Queries
              Prof. Tiark Rompf

• On-Stack Replacement for High-Performance Query Compilers
              Prof. Tiark Rompf

• Combining Neural and Symbolic Reasoning
              Prof. Tiark Rompf

• Compiler Techniques for Differentiable Programming
              Prof. Tiark Rompf

• Collapsing Towers of Interpreters
              Prof. Tiark Rompf

• Verified User-Level Network Stack
              Prof. Tiark Rompf

• Decompilation for Program Understanding
              Prof. Tiark Rompf

• Decompilation for Performance Portability
              Prof. Tiark Rompf

• Data-Driven Repair of Web Applications
              Prof. Roopsha Samanta