Access Specification-Aware Software Transactional Memory Techniques for Efficient Execution of Smart Contract Transactions. - Parwat Singh Anjana; Srivatsan Ravi; Raghavendra Ramesh; Joshua Tobkin; Rohit Kapoor; Rahul Parmar (CoRR, 2025)