selected publications chapter Boosting Transactional Memory with Stricter Serializability. Lecture notes in computer science. 231-251. 2018 conference paper P4ce: Consensus over RDMA at Line Speed. . 508-519. 2024