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
  • Prof. 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