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

         Elements of Software Engineering, Spring 2016

         Software Implementation and Testing, Spring 2016

         Introduction to Software Engineering, Winter 2016

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