Execution Trace

Execution traces, records of program execution detailing variable states and events, are central to various computing tasks, from debugging and program analysis to benchmarking and malware detection. Current research focuses on leveraging execution traces for improved model training (e.g., using them to teach large language models about code execution), developing formal methods for verifying system properties across multiple traces, and creating standardized formats for efficient trace sharing and analysis. This work has significant implications for software engineering, cybersecurity, and high-performance computing, enabling more robust software, improved system security, and optimized resource allocation.