Keynote 1 – Monday
Dr. Michael Whalen
Amazon Web Services
Dr. Michael Whalen is a Principal Applied Scientist at Amazon Web Services and the former Director of the University of Minnesota Software Engineering Center. Dr. Whalen is interested in formal analysis, language translation, testing, and requirements engineering. He has led development of simulation, translation, testing, and formal analysis tools for both programming languages: Java, Rust, and C, and Model-Based Development languages: Simulink, Stateflow, and SCADE. Dr. Whalen has published 99 peer-reviewed articles on these topics, including 3 ICSE distinguished papers. Dr. Whalen has led successful formal verification projects on real-time operating systems, foundational Amazon C libraries, and several industrial avionics projects. He is currently working on formal verification at “cloud scale”, looking at how to scale testing and proof tools to larger and more complex problems than are handled by current tools. He is also involved with outreach, helping developers and business customers apply verification tools to improve their team’s quality, velocity, and innovation.
Keynote: Enabling adaptation in the cloud using automated reasoning
Abstract: In this talk, I discuss how we are using analysis and automated reasoning at AWS to improve our customers’ experience in the cloud. This involves both mechanisms to adapt our internal systems to handle ever larger and more varied workloads and approaches to help customers to manage and optimize their systems over time. I will focus on two use cases: adaptation in identity management to assist customers (and increasingly, ML agents) in managing access to their AWS resources, and in hallucination detection for LLM agents in domains that are rapidly evolving.
Keynote 2 – Tuesday
Prof. Paola Inverardi
Gran Sasso Science Institute (GSSI)
Paola Inverardi is Rector of Gran Sasso Science Institute since September 2022. Before she was a professor of Computer Science and rector at the University of L’Aquila. Paola Inverardi’s research focuses on software architectures, mobile applications, and adaptive and autonomous systems. Currently, her research focuses on the ethics of autonomous systems, with a particular emphasis on their interactions with society and human beings. Inverardi served on the editorial boards of IEEE, ACM, Springer and Elsevier Journals. She has served as general chair or program chair of leading conferences in software engineering (e.g., ASE, ICSE, ESEC/FSE) and chaired the ICSE and ESEC Steering Committees. She has received honorary doctorates from Mälardalen University, Sweden, and Shibaura Institute of Technology, Tokyo, Japan. She is an ACM Fellow and has received the 2013 IEEE TCSE Distinguished Service Award
Keynote: The core property of ethical aware Autonomous Systems: Adaptation
Abstract: In this talk, I will introduce the notion of ethically aware autonomous systems—systems that behave ethically according to their requirements but are also capable of adjusting their behaviour based on the moral preferences of the individuals they interact with. The talk will discuss the theoretical foundations of this notion, as well as the research and technical challenges involved in developing truly ethically aware autonomous systems.