selected publications

• academic article

  • Stateful Serverless Computing with Crucial.  ACM Transactions on Software Engineering and Methodology.  31:1-38. 2022
  • On the correctness of Egalitarian Paxos.  Information Processing Letters.  156:105901-105901. 2019

• blog posting

  • Leaderless State-Machine Replication: Specification, Properties, Limits (Extended Version).  arXiv (Cornell University). 2020
  • On the correctness of Egalitarian Paxos.  arXiv (Cornell University). 2019
  • ServerMix: Tradeoffs and Challenges of Serverless Data Analytics.  arXiv (Cornell University). 2019

• chapter

  • Database Consistency Models.  Encyclopedia of Big Data Technologies. 1-12. 2022
  • Boosting Transactional Memory with Stricter Serializability.  Lecture notes in computer science. 231-251. 2018
  • Database Consistency Models.  Encyclopedia of Big Data Technologies. 1-11. 2018

• conference paper

  • Highly-available and consistent group collaboration at the edge with colony.  . 336-351. 2021
  • The serverless shell.  . 2021
  • J-NVM.  . 408-423. 2021
  • Efficient replication via timestamp stability.  . 178-193. 2021
  • State-machine replication for planet-scale systems.  . 1-15. 2020
  • On the FaaS Track.  . 41-54. 2019
  • CRESON: Callable and Replicated Shared Objects over NoSQL.  . 115-128. 2017
  • The Convoy Effect in Atomic Multicast.  . 67-72. 2016

• report

  • Atomic Object Factory: Efficient, Consistent and Dependable Support for Distributed Objects.  HAL (Le Centre pour la Communication Scientifique Directe). 2016