Two new top rated journal papers by Daniel Kirchner

Dr. Daniel Kirchner has co-authored the following two Q1-rated journal papers on topics at the interface of Smart Contracts, Machine Learning and Formal Verification:

• Neural-guided superoptimization in ethereum. Inf. Softw. Technol. 186: 107800 (2025) doi: https://doi.org/10.1016/j.infsof.2025.107800
• Secure Optimizations on Ethereum Bytecode Jump-Free Sequences. IEEE Trans. Dependable Secur. Comput. 22(4): 3676-3691 (2025) doi: https://doi.org/10.1109/TDSC.2025.3536803