This panel will bring together experts in mechanized metatheory with the broader POPL community for a discussion of the POPLmark challenge 15 years later, with an eye toward the future. It will discuss lessons from POPLmark and the evolution of mechanized metatheory since POPLmark as relevant to the field of mechanized metatheory, to the design of future benchmark suites and challenges, and to the POPL community more broadly.
Panelists: Benjamin Pierce, Peter Sewell, Xavier Leroy, Robby Findler, Scott Owens, Brigette Pientka, Michael Hicks