Services

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