- Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009), PC Member.
- Verified Software: Theories, Tools, and Experiments (VSTTE 2008), PC Member
- First International Workshop on Bit-Precise Reasoning (BPR 2008), PC Member
- Eleventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2008), PC Member.
- SAT Race 2008, part of SAT 2008, Advisory Panel Member.
- International Workshop on the ACL2 Theorem Prover and Its Applications, Steering Committee Member 2006-2009.
- FMCAD - IEEE/ACM International Conference on Formal Methods in Computer-Aided Design, Steering Committee Member 2006-Present.
- IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2007), PC Member.
- FMCAD 2007 - IEEE/ACM International Conference on Formal Methods in Computer-Aided Design , PC Member and Benchmarks Chair.
- International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2007), PC Member.
- SAT 2007 - The Tenth International Conference on Theory and Applications of Satisfiability Testing , PC Member.
- IEEE/ACM Asia and South Pacific Design Automation Conference (ASP-DAC 2007), PC Member.
- IEEE/ACM International Conference on Formal Methods in Computer-Aided Design (FMCAD 2006), Co-Chair. The slides for the tutorials, invited talks, and conference papers are available online.
- IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2006), PC Member.
- International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2006), Co-Chair. The proceedings of ACL2 2006 are available online. ACL2 2006 was part of FLoC 2006 and was hosted by the CAV 2006 and IJCAR 2006 conferences.
- ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2006), PC Member.
- Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2005), PC Member.
- International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), PC Member.
- International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2004), PC Member.
- Computer-Aided Verification (CAV 2004), PC Member.
- Computer-Aided Verification (CAV 2003), PC Member.
- IEEE International Conference on Computer Design (ICCD 2002), PC Member.
- International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2002), PC Member.
- International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2000), PC Member.
- International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 1999), Organizing Committee.