Redefining the Software Engineering Profession for AI | Communications of the ACM

Front Matter | Verified Software. Theories, Tools and Experiments

Automated Trace Link Recovery Between Natural Language Requirements and Formal Specifications via LLMs | Theoretical Aspects of Software Engineering

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