Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary)
Moore’s law undoubtedly indicates impressive measurable success at the hardware front with enormous impact also at the software side: The impact of most analysis and verification tools strongly relies on today’s hardware performance. The panel will discuss means to support, measure, and exploit progress in tool development, their effectiveness, and their futures potential. The goal is to shape a sustainable research agenda for post-Moore’s law era.
Sun 7 Apr
|16:00 - 18:00|