I am interested in writing fast and correct distributed systems.
Implemented and evaluated a new transactional protocol for strongly consistent distributed databases; implemented a relational (SQL) model adapter for key-value distributed storage; tested distributed programs via property checking (model checking); implemented an open-source library for batching and multiplexing TCP connections, which allowed to scale systems to handle up to 2.5 times more requests per second.
The work was funded by an ERC grant A Rigorous Approach to Consistency in Cloud Databases.
Manuel Bravo, Alexey Gotsman, Borja de Régil and Hengfeng Wei, UniStore: A fault-tolerant marriage of causal and strong consistency. USENIX ATC '21. [PDF]
Borja de Régil and Christopher Meiklejohn, Dynamic Path Contraction for Distributed, Dynamic Dataflow Languages. AGERE 2016. [arXiv preprint]