• Grossman S, Toman J, Bakst A, Arora S, Sagiv M and Nandi C. (2024). Practical Verification of Smart Contracts using Memory Splitting. Proceedings of the ACM on Programming Languages. 8:OOPSLA2. (2402-2433). Online publication date: 8-Oct-2024.

    https://doi.org/10.1145/3689796

  • Bembenek A, Greenberg M and Chong S. (2024). Making Formulog Fast: An Argument for Unconventional Datalog Evaluation. Proceedings of the ACM on Programming Languages. 8:OOPSLA2. (1219-1248). Online publication date: 8-Oct-2024.

    https://doi.org/10.1145/3689754

  • Wei G, Xie D, Zhang W, Yuan Y and Zhang Z. (2024). Consolidating Smart Contracts with Behavioral Contracts. Proceedings of the ACM on Programming Languages. 8:PLDI. (965-989). Online publication date: 20-Jun-2024.

    https://doi.org/10.1145/3656416

  • Yao P, Zhou J, Xiao X, Shi Q, Wu R and Zhang C. (2024). Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis. Proceedings of the ACM on Programming Languages. 8:PLDI. (567-592). Online publication date: 20-Jun-2024.

    https://doi.org/10.1145/3656400

  • Ali Khan Z and Siami Namin A. Involuntary Transfer: A Vulnerability Pattern in Smart Contracts. IEEE Access. 10.1109/ACCESS.2024.3351736. 12. (62459-62479).

    https://ieeexplore.ieee.org/document/10385052/

  • Grech N, Lagouvardos S, Tsatiris I and Smaragdakis Y. (2022). Elipmoc: advanced decompilation of Ethereum smart contracts. Proceedings of the ACM on Programming Languages. 6:OOPSLA1. (1-27). Online publication date: 29-Apr-2022.

    https://doi.org/10.1145/3527321