Explores the principles of reactive programming and message processing semantics in Akka, emphasizing actor encapsulation, reliable messaging, and message delivery guarantees.
Explores automatic synthesis of correct and efficient synchronization in programs, focusing on removing redundant atomicity and adding synchronization metadata.
Explores the elegance and challenges of transactions in structuring stateful systems, emphasizing ACID properties and the trade-offs of transactional memory.
