Service

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

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