Service

Chairmanship and Editorial Activities

• Program Co-chair (with S. Katkoori), ISVLSI 2021, Virtual Conference, July 2021.
• Security Track Co-chair (with S. Aftabhjahani), MTV 2019, Austin, TX, USA, December 2019.
• Program Chair (with A. Casaka), IFIP-IoT 2019, Tampa, FL, USA, September 2019.
• Program Chair (with A. Easwaran), ICESS 2019, Las Vegas, NV, USA, June 2019.
• Track Chair for VLSI Test, Reliability, and Fault Tolerance Track (with B. C. Schaefer), GLSVLSI 2019, Washington DC, USA, May 2019.
• Security Track Co-chair (with S. Aftabhjahani), MTV 2018, Austin, TX, USA, December 2018.
• Guest editor (with M. A. Al Faruque and A. Sadeghi), IEEE D&T Special Issue on Secure Automotive Systems, 2018. (CFP)
• Guest editor (with Y. Jin), Springer HaSS Special Issue on IoT Security, 2017.
• Associate editor, Springer HaSS, 2016 — Present.
• Guest editor (with S. Bhunia and J. Park), IEEE TMSCS Special Issue on Wearables, Implants, and Internet of Things. (CFP)
• Associate editor, IEEE TMSCS, 2015 — 2018.
• Conference Chair (with B. Jobstmann) FMCAD 2013, Portland, OR, USA, October 2013.
• Guest editor (with J. Bhadra, M. Abadir, and L.-C Wang), JETTA Special Issue on Verification and Testing Challenges in Future Microprocessor and SoC Designs. (CFP)
• Guest editor (with J. Bhadra, M. Abadir, L.-C Wang, and A. Gupta), ACM TODAES Special Issue on Verification Challenges with Multicore Systems. (CFP)
• Conference chair (with D. Russinoff) ACL2 2009, Boston, MA, USA, May 2009.

Steering and Advisory Activities

• Advisory Board Member HakHam Systems LLC, 2014 — 2016.
• Technical Advisory Board Member, SRC, 2012 — 2017.
• Steering Committee Member International Workshop on the ACL2 Theorem Prover and Its Applications, 2009 — 2011.

Program Committee Services

• Program Committee Member DAC 2022, San Francisco, CA, USA, June 2022
• Program Committee Member ACL2 2022, Austin, TX, USA, May 2022
• Program Committee Member ISES 2021, Jaipur, India, December 2021
• Program Committee Member IFIP-IoT 2021, Amsterdam, the Netherlands, November 2021.
• Program Committee Member GLSVLSI 2021, Virtual Conference, May 2021
• Program Committee Member ISES 2020, Virtual Conference, December 2020
• Program Committee Member AsianHOST 2020, Virtual Conference, December 2020
• Program Committee Member ASP-DAC 2020, Beijing, China, January 2020
• Program Committee Member ISES 2019, Rourkela, India, December 2019
• Program Committee Member AsianHOST 2019, Xi’an, China, December 2019
• Program Committee Member FMCAD 2019, Palo Alto, CA, USA, September 2019
• Program Committee Member HOST 2019, Washington DC, USA, May 2019
• Program Committee Member DATE 2019, Firenze Fiera, Florence, Italy, March 2019
• Program Committee Member AsianHOST 2018, Hong Kong SAR, China, December 2018
• Program Committee Member MTV 2018, Austin, TX, USA, December 2018
• Program Committee Member ICCAD 2018, San Diego, CA, USA, November 2018
• Program Committee Member IVSW 2018, Costa Brava, Spain, July 2018
• Program Committee Member DAC 2018, San Francisco, CA, USA, June 2018
• Program Committee Member HOST 2018, McLean, VA, USA, May 2018
• Program Committee Member DATE 2018, Dresden, Germany, March 2018
• Program Committee Member ICCAD 2017, Irvine, CA, USA, November 2017
• Program Committee Member AsianHOST 2017, Beijing, China, October 2017
• Program Committee Member SOCC 2017, Munich, Germany, September 2017
• Program Committee Member IVSW 2017, Thessaloniki, Greece, July 2017
• Program Committee Member DAC 2017, Austin, TX, USA, June 2017
• Program Committee Member ACL2 2017, Austin, TX, USA, May 2017
• Program Committee Member HOST 2017, McLean, VA, USA, May 2017
• Program Committee Member AsianHOST 2016, Taipei, Taiwan, December 2016
• Program Committee Member MTV 2016, Austin, TX, USA, December 2016
• Program Committee Member HVC 2016, Haifa, Israel, November 2016
• Program Committee Member VLSI-SoC 2016, Tallinn, Estonia, October 2016
• Program Committee Member SOCC 2016, Seattle, WA, USA, September 2016
• Program Committee Member IVSW 2016, Catalunya, Spain, July 2016
• Program Committee Member HOST 2016, Washington DC, USA, May 2016
• Program Committee Member DAC 2016, Austin, TX, USA, June 2016
• Program Committee Member ASP-DAC 2016, Macao, January 2016
• Program Committee Member MTV 2015, Austin, TX, USA, December 2015
• Program Committee Member VLSI-SoC 2015, Daejeon, Korea, October 2015
• Program Committee Member DATE 2014, Dresden, Germany, March 2014
• Program Committee Member ACL2 2015, Austin, TX, USA, October 2015
• Program Committee Member FMCAD 2015, Austin, TX, USA, September 2015
• Program Committee Member SOCC 2015, Beijing, China, September 2015
• Program Committee Member HOST 2015, Washington DC, USA, May 2015
• Program Committee Member VLSI 2015, Bangalore, India, January 2015
• Program Committee Member MTV 2014, Austin, TX, USA, December 2014
• Program Committee Member FMCAD 2014, Lausanne, Switzerland, October 2014
• Program Committee Member SOCC 2014, Las Vegas, NV, USA, September 2014
• Program Committee Member ACL2 2014, Vienna, Austria, July 2014
• Program Committee Member VDAT 2014, Coimbatore, India, July 2014
• Program Committee Member DATE 2014, Dresden, Germany, March 2014
• Program Committee Member VLSI 2014, Mumbai, India, January 2014
• Program Committee Member MTV 2013, Austin, TX, USA, December 2013
• Program Committee Member SOCC 2013, Erlangen, Germany, September 2013
• Program Committee Member ACL2 2013, Laramie, WY, USA, May 2013
• Program Committee Member FMCAD 2012, Cambridge, United Kingdom, October 2012
• Program Committee Member SOCC 2012, Niagra Falls, NY, USA, September 2012
• Program Committee Member MTV 2011, Austin, TX, USA, December 2011
• Program Committee Member CPP 2011, Taiwan, December 2011
• Program Committee Member ACL2 2011, Austin, TX, USA, November 2011
• Program Committee Member FMCAD 2011, Austin, TX, USA, November 2011
• Program Committee Member ITP 2011, Nijmegen, the Netherlands, August 2011
• Program Committee Member MTV 2010, Austin, TX, USA, December 2010
• Program Committee Member ITP 2010, Edinburgh, United Kingdom, August 2010
• Program Committee Member MTV 2009, Austin, TX, USA, December 2009
• Program Committee Member FMCAD 2009, Austin, TX, USA, November 2009
• Local Arrangements Co-chair (with A. Slobodová) FMCAD 2009, Austin, TX, USA, November 2009
• Program Committee Member FMCAD 2008, Portland, OR, USA, November 2008
• Scientific Committee Member MS 2008, Petra, Jordan, November 2008
• Program Committee Member ESHOL 2008, Sydney, Australia, August 2008

Contributions to Conference Sessions

• Panel Moderator, MTV 2019, Austin, TX, USA, December 2019. Panel Title: Security of Artificial Intelligence Systems.
• Panel Moderator, 1st Annual Warren B. Nelms IoT Conference, December 2019. Panel Title: Technology Solutions for IoT: Are We There Yet?
• Session Organizer (with Z. Yang), In CAD We Trust? The Question that Defines Our Microelectronics Future, Special Session, DAC 2019, Las Vegas, NV, USA, June 2019.
• Panelist, ICCE 2019, Las Vegas, NV, USA, January 2018. Panel Title: Cybersecurity of Smart Electronics from IoT to Vehicles.
• Panel Moderator, FICS Research Annual Conference on Cybersecurity Research, Gainesville, FL, USA, March 2018. Panel Title: Platform Security: Challenges and Solutions.
• Panelist ITC 2017, Fort Worth, TX, USA, October 2017. Panel Title: Automotive Safety and Security: The Impending Challenges and Hopes on the Horizon.
• Panelist HOST 2017, Washington DC, USA, May 2017. Panel Title: Architecture Support for System Security.
• Panelist FICS Research Annual Conference on Cybersecurity Research, Gainesville, FL, USA, March 2017. Panel Title: Automotive Security Challenges.
• Session Organizer and Chair (with W. Chen) MTV 2016, Austin, TX, USA, December 2016 (Special Session on Security Verification)
• Session Organizer (with I. Harris, G. Fey, and M. Soeken) ICCAD 2016, Austin, TX, USA, November 2016 (Special Session on Design Understanding)
• Session Organizer and Chair, SOCC 2016, Seattle, WA, USA, September 2016 (Special Session on Security and Validation of Embedded, Mobile, and IoT Systems)
• Panelist, Dagstuhl Summer Seminar on Foundations of Security Scaling, Dagstuhl, Germany, August 2016.
• Panelist IoT 2016, Austin, TX, USA, June 2016. Panel Title: System Design for IoT
• Session Chair DAC 2015, San Francisco, CA, USA, June 2015. Session Title: #GotSecurity 
• Session Organizer (with J. Bhadra) VTS 2010, Santa Cruz, CA, USA, April 2010 (Innovative Practices session on verification/testing challenges in high-level synthesis)
• Session Organizer and Chair MTV 2009, Austin, TX, USA, December 2009 (Invited session on verification issues for multicore systems)
• Session Organizer and Chair MTV 2008, Austin, TX, USA, December 2008 (Invited session on post-silicon verification)

Other Conference Services

• Tutorial Chair FMCAD 2019, Palo Alto, CA, USA, September 2019
• Organization Committee Member DACPS 2019, Las Vegas, NV, USA, June 2019
• Publications Chair IVSW 2018, Costa Brava, Spain, July 2018
• Organization Committee Member DACPS 2018, San Francisco, CA, USA, June 2018
• Panel Committee Member, DAC 2018, San Francisco, CA, USA, June 2018
• Publications Chair IVSW 2017, Thessaloniki, Greece, July 2017
• Tutorial Committee Member HOST 2017, Washington DC, USA, May 2017
• Publicity Chair SPACE 2015, Jaipur, India, October 2015
• Best Paper Selection Committee Member HOST 2015, Washington DC, USA, May 2015
• Publicity Chair VDAT 2014, Coimbatore, India, July 2014
• Local Arrangements Chair DIFTS 2011, Austin, TX, USA, November 2011
• Publicity Chair CAV 2011, Snowbird, UT, USA, July 2011
• Local Arrangements Co-chair (with A. Slobodová) FMCAD 2009, Austin, TX, USA, November 2009
• Webmaster (with H. Mony) FMCAD 2007, Austin, TX, USA, November 2007