ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 16:00 - 18:00 at S5 - 25 Years TACAS

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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00
25 Years TACASTOOLympics at S5
16:00
2h
Meeting
Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary)
TOOLympics
P: Marieke Huisman University of Twente, P: Rance Cleaveland University of Maryland, P: Holger Hermanns Saarland University, P: Kim Larsen Aalborg University, M: Bernhard Steffen Technical University Dortmund, Hubert Garavel