Publications in collaboration with researchers from Tel Aviv University (2)

2023

  1. Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks

    IEEE Transactions on Dependable and Secure Computing, Vol. 20, Núm. 3, pp. 2256-2273

2020

  1. Taming callbacks for smart contract modularity

    Proceedings of the ACM on Programming Languages, Vol. 4, Núm. OOPSLA