MODELS 2024
Sun 22 - Fri 27 September 2024 Linz, Austria
image

Joanne Atlee, University of Waterloo, Canada

Modelling and Analysis of Code

Faced with the goal of performing a system-wide analysis on large heterogeneous systems without the benefit of a system-wide model, we sought instead to derive models from code. The result is a suite of tools for (1) extracting from code, and other software artifacts, a lightweight graphical model of the software that is sufficiently detailed to support analyses of control flows, data flows, and software dependencies; (2) expressing diverse analyses of interest; (3) analyzing relatively large software models; and (4) and visualizing the analysis results. In this talk, we present the tools as well as our experiences in applying them to open-source software systems and to automotive software components and product-lines of components.

Biography

Dr. Joanne Atlee (P.Eng) is a Professor in the David R. Cheriton School of Computer Science at the University of Waterloo, where she is the Director of Women in Computer Science and was the founding Director for the Software Engineering program. Her research interests include software requirements, software modelling, automated analysis of software models, modular software development, and the detection and resolution of feature interactions — applied to telephony and automotive software. She served as the General Chair of the 41st International Conference on Software Engineering (ICSE’19), the co-Program Chair of the 31st International Conference on Software Engineering (ICSE’09), and the Program Chair for the 13th IEEE Requirements Engineering Conference (RE'05). She is a member of the International Federation for Information Processing (IFIP) Working Group 2.9 on Software Requirements Engineering. She serves on the editorial boards of Software and Systems Modelling and ACM Transactions on Software Engineering and Methodology. She is an ACM Distinguished Scientist, the 2020 recipient of the IEEE CS TCSE Distinguished Women in Science and Engineering (WISE) Leadership Award, and the 2022 recipient of the ACM SIGSOFT Distinguished Service Award.
image

Thomas Zimmermann, Microsoft

Biography

Thomas Zimmermann is a Sr. Principal Researcher at Microsoft, where he works on cutting-edge research and innovation in data science, machine learning, software engineering, and digital games. He has over 15 years of experience in the field, with more than 100 publications that have been cited over 25,000 times. His research mission is to empower software developers and organizations to build better software and services with AI. He is best known for his pioneering work on systematic mining of software repositories and his empirical studies of software development in industry. He has contributed to several Microsoft products and tools, such as Visual Studio, GitHub, and Xbox. He is an ACM Fellow, an IEEE Fellow, recipient of the IEEE TCSE Edward J. McCluskey Technical Achievement award, and Co-Editor in Chief of the Empirical Software Engineering journal. He is the Chair of the ACM Special Interest Group on Software Engineering and a frequent committee member for top software engineering conferences.