Vijay Chidambaram and Baris Kasikci

The EuroSys 2020 Online Conference

The 15th European Conference on Computer Systems (EuroSys’20) was organized as a virtual (online) conference on April 27- 30, 2020. The main EuroSys’20 track took

Read More »

Mechanized Proofs for PL: Past, Present, and Future

The POPLmark Challenge helped stir lasting excitement about mechanized proofs within the PL community. Despite the advances and successes, there is a lot more to do. This post reflect on the state of affairs of mechanized proof in PL, organized around the topics and discussions that arose in the POPLmark 15 Year Retrospective Panel.

Read More »