Reliable Distributed Systems
Her Argus work explored transactions and fault tolerance in distributed programs, linking language design with system reliability.
Her Argus work explored transactions and fault tolerance in distributed programs, linking language design with system reliability.