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} }