Fei Xie

Professor
Department of Computer Science
Portland State University

Academic Background

·         Ph.D., Computer Science, The University of Texas at Austin

Research

My research interests are primarily in the areas of embedded systems, software engineering, and formal methods. I am particularly interested in development of formal method based techniques and tools for building safe, secure, and reliable software and embedded systems.

·         Publications

·         System Validation Laboratory

Teaching

·         CS4/554: Introduction to Software Engineering, Fall 2024

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

Professional Activities

·         Program committee, the 32nd International Conference on Computer-Aided Verification (CAV’2020), Los Angeles, CA, USA, July 19-24, 2020.

·         Program committee, the 11th  IEEE International Workshop on Software Test Automation (STA 2019), Milwaukee, WI, USA, July 15-19, 2019

·         Program committee, the 16th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2018), Beijing, China, October 15-18, 2018.

·         Program committee, the 53rd Design Automation Conference (DAC’2017), Austin, TX, June 18-22, 2017

·         Program committee, the 14th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2016), Kanpur, India, November 18-20, 2016.

·         Program committee, the 53rd Design Automation Conference (DAC’2016), Austin, TX, June 5-9, 2016

·         Program committee, the 13th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2015), Austin, TX, September 21-23, 2015.

·         Program committee, the 52nd Design Automation Conference (DAC’2015), San Francisco, California, June 7-11, 2015

·         Program committee, the Twelfth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2014), Lausanne, Switzerland, October 19-21, 2014.

·         Program committee, the 51st Design Automation Conference (DAC’2014), San Francisco, California, June 1-5, 2014

·         General chair, the Eleventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2013), Portland, Oregon, October 18-20, 2013

·         Program committee, the Tenth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2012), Arlington, Virgina, July 16-18, 2012

·         Program committee, the Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2011), Jeju Island, Korea, June 27-29, 2011

·         Program committee, the Eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2010), Grenoble, France, July 26-28, 2010

·         Program committee, the Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010), Singapore, June 9-11, 2010

·         Program co-chair, the Third IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009), Shanghai, China, July 8-10, 2009

·         Program committee, the Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2009), Cambridge, MA, July 13-15, 2009

·         Program committee, the Eighth International Conference on Formal Methods in Computer Aided Design (FMCAD 2008), Portland, OR, November 17-20, 2008.

·         Program committee, the First International Workshop on Internetware, Guangzhou, China, November 11, 2008

·         Program committee, the Seventh International Conference on System Simulation and Scientific Computing (ICSC 2008) and Asian Simulation Conference 2008, Beijing, China, October 10-12, 2008

·         Program committee, the Second IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008), Yokohama, Japan, July 14-17, 2008

·         Publicity chair, the Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008), Anaheim, CA, June 5-7, 2008

·         Program committee, the Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008), Anaheim, CA, June 5-7, 2008

·         Program committee, the 23rd Annual ACM Symposium on Applied Computing (SAC 2008). Fortaleza, Brazil, March 16-20, 2008.

·         Tutorial chair, the Fifth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2007), Nice, France, May 30 - June 1st, 2007.

·         Fast abstract co-chair, the 29th Annual International Computer Software and Applications Conference (COMPSAC), Edinburgh, Scotland, July 25-28, 2005.

Contact

·         Office: FAB 120-10

·         Office phone: (503) 725-2403

·         Fax: (503) 725-3211

·         Email: xie "at" cs.pdx.edu

·         Postal: Department of Computer Science, P.O. Box 751, Portland State University, Portland, Oregon 97207