Grants and Awards

· National Science Foundation, Collaborative Research:FMitF:Track 1: DOPaMINe: Distributed Opportunistic Platform for Monitoring In-Situ Networks, Co-PI: Xie, 10/1/2020-9/30/2025

· National Science Foundation, CNS Core: Small: Collaborative Research: Scalable Penetration Test Generation for Automotive Systems, PI: Xie, 10/1/2019-9/30/2023

· Semiconductor Research Corporation (SRC), Trustworthy Incremental High-Level Synthesis by Integrated Incremental Verification, PI: Xie, 1/1/2020-12/31/2022

· Semiconductor Research Corporation (SRC), End-to-End Concolic Testing for Secure Systems-on-Chips, PI: Xie, 11/1/2016-10/31/2019

· National Science Foundation, CSR: Small: Hardware/Software Co-Monitoring, PI: Xie, 10/01/2014-9/30/2018

· National Science Foundation, TC: Small: Collaborative Research: Trustworthy Hardware from Certified Behavioral Synthesis, PSU PI: Xie, 9/15/2009-8/31/2014

· National Science Foundation, CSR: SHF: Small: Automata-Theoretic Approach to Hardware/Software Co-Verification, PI: Xie, 9/1/2009-8/31/2013

· INTEL Research Grant, Formal Verification for High-Level Design and Synthesis Flows, PI: Xie, 10/01/2007-9/30/2010

· National Science Foundation, CSR---EHS: Component-Based Hardware/Software Co-Verification of Embedded Systems, PI: Xie, 9/15/2007-8/31/2010

· INTEL Equipment Grant, 2007

· National Science Foundation, SoD-TEAM: A Feedback-Based Architecture for Highly Reliable Embedded Software, PSU PI: Xie, 9/1/2006-08/31/2009

· Semiconductor Research Corporation (SRC), Scalable Co-Verification Based on Hardware IPs and Software Components, PI: Xie, Co-PI: Song, 10/1/2005-09/30/2008

· INTEL Higher Education Award, 2004