Independant Functional Testing of Commercial FPGA Devices

Exhaustive functional testing of FPGA devices for supply chain and reliability verification.

Hardened Adversarial Challenge (HAVoC)

Adversarial challenge development for the DARPA VET program for FPGAs.

Mirage: A Security Metrics Driven Obfuscation Design Environment

ASIC circuit obfuscation metrics and CAD tools.

Embark: Evaluation of Mapping NLP based Alogrithms into Reconfigurable Computing Kernels

Pegasus Workflow Management System

Repository and Workflows for Accelerating Circuit Realization

Panorama 360: Performance Data Capture and Analysis for End-to-end Scientific Workflows

Secure and Resilient Architecture: Scientific Workflow Integrity with Pegasus (SWIP)

In Situ Data Analytics for Next Generation Molecular Dynamics Workflows

Model Integration through Knowledge-Rich Data and Process Composition (MINT)

Population Architecture using Genomics and Epidemiology (PAGE)

Center for Collaborative Genetic Studies on Mental Disorders (CSGSMD)

SimCenter: Center for Computational Modeling and Simulation

XSEDE: Integrating, Enabling and Enhancing National Cyberinfrastructure with Expanding Community Involvement

Open Science Grid

WRENCH: Workflow Management System Simulation Workbench