COQ

1. CAV

   Modular Deductive Verification of Multiprocessor Hardware Designs Vijayaraghavan, Muralidaran, Chlipala, Adam, Arvind, , and Dave, Nirav In Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II 2015
2. ICFP

   Kami: a platform for high-level parametric hardware specification and its modular verification Choi, Joonwon, Vijayaraghavan, Muralidaran, Sherman, Benjamin, Chlipala, Adam, and Arvind, Proc. ACM Program. Lang. 2017
3. SETTA

   Formalizing SPARCv8 Instruction Set Architecture in Coq Wang, Jiawei, Fu, Ming, Qiao, Lei, and Feng, Xinyu In Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings 2017
4. APLAS

   Modular Verification of SPARCv8 Code Zha, Junpeng, Feng, Xinyu, and Qiao, Lei In Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings 2018
5. PLDI

   The essence of Bluespec: a core language for rule-based hardware design Bourgeat, Thomas, Pit-Claudel, Clément, Chlipala, Adam, and Arvind, In Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020 2020

ACL2

1. CAV

   Automated and Scalable Verification of Integer Multipliers Temel, Mertcan, Slobodová, Anna, and Hunt, Warren A. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I 2020