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.
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.