POPLmark 15 Year Retrospective Panel

POPL 2020

POPLmark 15 Year Retrospective Panel

Sep 17, 2020
|
22 views
Details
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

Comments
loading...