Scalable Distributed Systems
Developing highly scalable distributed systems, in particular partitioned and geo-replicated database systems. Due to the limitation described by CAP theorem, geo-replicated systems are nowadays moving towards eventual consistency. With no ... More >>
Concurrent Programming
Developing programming models and techniques for scalable multicore programming. Currently I am studying the applicability of weak consistency in the context of shared memory concurrent programs and Software Transactional Memory ... More >>