2021

• Mertcan Temel, Warren A. Hunt "Sound and Automated Verification of Real-World RTL Multipliers". Formal Methods in Computer-Aided Design 2021 (FMCAD21), 9 pages, (To Appear) .
  
  • Paper
  • Experiments
  • Bibtex
    @InProceedings{TemelFMCAD21, author="Temel, Mertcan and Hunt, Warren A.", title="Sound and Automated Verification of Real-World RTL Multipliers", booktitle="Formal Methods in Computer-Aided Design", year="2021", notes="To Appear" }

2020

• Mertcan Temel, Anna Slobodova, Warren A. Hunt "Automated and Scalable Verification of Integer Multipliers". Computer Aided Verification 2020 (CAV20), 20 pages, Springer 2020.
  
  • Paper
  • Preview (Video) - Talk (Video) - Slides (PDF)
  • Experiments
  • Bibtex
    @InProceedings{TemelCAV2020, author="Temel, Mertcan and Slobodova, Anna and Hunt, Warren A.", editor="Lahiri, Shuvendu K. and Wang, Chao", title="Automated and Scalable Verification of Integer Multipliers", booktitle="Computer Aided Verification", year="2020", publisher="Springer International Publishing", address="Cham", pages="485--507", isbn="978-3-030-53288-8", doi="10.1007/978-3-030-53288-8_23" }


• Mertcan Temel "RP-Rewriter: An Optimized Rewriter for Large Terms in ACL2". ACL2 Workshop 2020 (ACL2-2020), 13 pages, EPTCS 2020.
  
  • Paper
  • Slides
  • Bibtex
    @article{TemelRPRewriter, title={RP-Rewriter: An Optimized Rewriter for Large Terms in ACL2}, volume={327}, ISSN={2075-2180}, url={http://dx.doi.org/10.4204/EPTCS.327.5}, DOI={10.4204/eptcs.327.5}, journal={Electronic Proceedings in Theoretical Computer Science}, publisher={Open Publishing Association}, author={Temel, Mertcan}, year={2020}, month={Sep}, pages={61–74} }