[February 10, 2012] Kecheng Hao's paper "Equivalence Checking for Behaviorally Synthesized Pipelines" has been accepted to the Design Automation Conference, 2012. Congratulations to Kecheng!!! 

[July 15, 2011] Juncao Li's paper "Formalizing HW/SW Interface Specifications" has been accepted to the IEEE/ACM International Conference on Automated Software Engineering (ASE) 2011. Congratulations to Juncao!!!

[December 11, 2010] Juncao Li's paper "Model Checking Büchi Pushdown Systems" has been accepted to the International Conference on Fundamental Approaches to Software Engineering (FASE) 2011, which is a member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS). Congratulations to Juncao!!!

[October 22, 2010] Juncao Li has successfully defended his dissertation "An Automata-Theoretic Approach to Hardware/Software Co-Verification". Congratulations to Dr. Juncao Li!!!

[March 15, 2010] Juncao Li's paper "Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification" has been accepted to the International Conference on Computer Aided Verification 2010, part of the 5th International Federated Logic Conference (FLoC 2010). Congratulations to Juncao!!!

[December 11, 2009] Juncao Li's paper "An Automata-Theoretic Approach to Hardware/Software Co-Verification" has been accepted to the International Conference on Fundamental Approaches to Software Engineering (FASE) 2010, which is a member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS). Congratulations to Juncao!!!

[November 9, 2009] Kecheng Hao's paper "Optimizing Equivalence Checking for Behavioral Synthesis" has been accepted to the Design, Automation and Test in Europe (DATE) Conference, 2010. Congratulations to Kecheng!!! 

[October 16, 2009] Kecheng Hao has just presented his paper on "Formal Verification for High-Assurance Behavioral Synthesis" at the 7th International Symposium on Automated Technology for Verification and Analysis. Congratulations to Kecheng!!!

[September 18, 2009] Prof. Fei Xie's proposal "TC: Small: Collaborative Research: Trustworthy Hardware from Certified Behavioral Synthesis" has been funded by the National Science Foundation. This is a three-year grant running from 09/15/2009 to 08/31/2012. This project is a collaboration with Prof. Warren Hunt and Dr. Sandip Ray from the Department of Computer Sciences, the University of Texas at Austin.

[July 27, 2009] Prof. Fei Xie's proposal "CSR: SHF: Small: Automata-Theorectic Approach to Hardware/Software Co-Verification" has been funded by the National Science Foundation. This is a three-year grant running from 09/01/2009 to 08/31/2012.

[June 24, 2009] Juncao Li has received the Maseeh Fellowship. Thanks to Dr. Maseeh and congratulations to Juncao!!!