Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations | Proceedings of the ACM on Programming Languages

On the Evaluation of Large Language Models in Multilingual Vulnerability Repair | ACM Transactions on Software Engineering and Methodology

Development of a Realistic Emergency Control Center Simulation Software for Controlled Behavioral Studies | Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management