Library-based record and replay tools aim to reproduce an application's execution by
recording the results of selected functions in a log and during replay returning the results …

摘要支撑Internet 服务的复杂系统难于调试与分析. 理解系统运行时行为是调试与分析这些复杂
系统的关键. 现有的技术将系统动态运行时行为用因果执行路径抽象描述 …

Modern computer systems play important roles in our society and everyday lives. Their
performance, security and reliability are of critical importance. Real-world computer systems …