I am interested in writing fast and correct distributed systems, and scalable peer-to-peer networks.
The work is funded by an ERC grant "A Rigorous Approach to Consistency in Cloud Databases".
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 of 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".
Improved run-time performance of the Lasp programming language by applying deforestation techniques and control flow analysis.
Co-designed and implemented a domain-specific language in Python that would let users write unit test against streaming APIs.
Borja Arnau de Régil Basáñez, Christopher Meiklejohn, Dynamic Path Contraction for Distributed, Dynamic Dataflow Languages. AGERE 2016. http://arxiv.org/abs/1609.01068