Chao Wang    

  Professional Service

 

Current Activities (TPC):

  • ICSE 2017 (International Conference on Software Engineering)
  • ISSTA 2017 (International Symposium on Software Testing and Analysis)
  • SETTA 2017 (International Symposium on Dependable Software Engineering)
  • FMCAD 2017 (International Conference on Formal Methods in Computer Aided Design)
  • RV 2017 (International Conference on Runtime Verification)
  • ATVA 2017 (International Symposium on Automated Technology for Verification and Analysis)
Past Activities (TPC)
  • ICSE 2016 (International Conference on Software Engineering)
  • TASE 2016 (International Symposium on Theoretical Aspects of Software Engineering)
  • ATVA 2016 (International Symposium on Automated Technology for Verification and Analysis)
  • FMCAD 2016 (International Conference on Formal Methods in Computer Aided Design)
  • SETTA 2016 (International Symposium on Dependable Software Engineering: Theories, Tools, and Applications)
  • ISEC 2016 (India Software Engineering Conference)
  • CREST 2016 (Workshop on Causal Reasoning for Embedded and Safety-Critical Systems)
  • SCTDCP 2016 (International Workshop on Specification, Comprehension, Testing and Debugging of Concurrent Programs)
  • FMCAD 2015 [tutorial] (International Conference on Formal Methods in Computer Aided Design)
  • DIFTS 2015 (International Workshop on Design and Implementation of Formal Tools and Systems)
  • PROOFS 2015 (International Workshop on Security Proofs for Embedded Systems)
  • DaForum 2015 (ACM SIGDA Ph.D. Forum at DAC)
  • FSE 2014 (ACM SIGSOFT International Symposium on the Foundations of Software Engineering)
  • ISSTA 2014 [tool demo] (International Symposium on Software Testing and Analysis)
  • FM 2014 (International Symposium on Formal Methods)
  • ATVA 2014 (International Symposium on Automated Technology for Verification and Analysis)
  • DaForum 2014 (ACM SIGDA Ph.D. Forum at DAC)
  • ICCD 2013 (IEEE International Conference on Computer Design)
  • DaForum 2013 (ACM SIGDA Ph.D. Forum at DAC)
  • DIFTS 2013 (International Workshop on Design and Implementation of Formal Tools and Systems)
  • ACCESS 2013 (International Conference on Advances in Citizen, Cyberspace, and Environment Safety & Security)
  • ICECCS 2013 (International Conference on Engineering of Complex Computer Systems)
  • FSE 2012 (ACM SIGSOFT International Symposium on the Foundations of Software Engineering)
  • OOPSLA 2012 (ACM SIGPLAN Object-oriented Programming, Systems, Languages, and Applications)
  • CSIIRW 2012 (The 8th Cyber Security and Information Intelligence Research Workshop)
  • DaForum 2012 (ACM SIGDA Ph.D. Forum at DAC)
  • ICCAD 2011 (IEEE/ACM International Conference on Computer-Aided Design)
  • ICCD 2011 (IEEE International Conference on Computer Design), 2010, 2009, and 2008
  • ATVA 2011 (International Symposium on Automated Technology for Verification and Analysis)
  • DaForum 2011 (ACM SIGDA Ph.D. Forum at DAC)
  • DIFTS 2011 (International Workshop on Design and Implementation of Formal Tools and Systems)
  • INFINITY 2011 (International Workshop on Verification of Infinite-State Systems)
  • DaForum 2010 (ACM SIGDA Ph.D. Forum at DAC)
  • NEVER 2009 (Northeastern Verification Seminar) organizer
  • SSV 2009 (International Workshop on System Software Verification)
  • DaForum 2009 (ACM SIGDA Ph.D. Forum at DAC)
  • NSV 2008 (International Workshop on Numerical Abstractions for Software Verification) co-organizer
  • DaForum 2008 (ACM SIGDA Ph.D. Forum at DAC)
  • SAC 2007 (ACM Symposium on Applied Computing)
  • CFV 2007 (International Workshop on Constraints in Formal Verification)
  • DaForum 2007 (ACM SIGDA Ph.D. Forum at DAC)
  • CFV 2006 (International Workshop on Constraints in Formal Verification)
  • SVV 2005 (International Workshop on Software Verification and Validation)