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

       Introduction to Software Engineering, Winter 2017

Grants and Awards

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

       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 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