POPL 2021 (series) / CoqPL 2021 (series) /
CoqPL 2021 Program
This is the CoqPL 2021 program - see the full program for POPL 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 19 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 19 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:30 - 15:30 | |||
14:30 60mKeynote | Verifying a compiler through equational means CoqPL Yannick Zakowski Inria |
16:00 - 17:30 | |||
16:00 15mTalk | A Limited Case for Reification by Type Inference CoqPL Jason Gross MIT CSAIL Media Attached File Attached | ||
16:15 15mTalk | Towards a Coq Specification for Generalized Algebraic Datatypes in OCaml CoqPL File Attached | ||
16:30 15mTalk | Record Updates in Coq CoqPL Tej Chajed Massachusetts Institute of Technology, USA Media Attached File Attached | ||
16:45 15mBreak | Break CoqPL | ||
17:00 15mTalk | The B+-tree Index as a Verified Software Unit CoqPL Anastasiya Kravchuk-Kirilyuk Harvard University, Andrew W. Appel Princeton, Lennart Beringer Princeton University File Attached | ||
17:15 15mTalk | Automated Synthesis of Verified Firewalls CoqPL Shardul Chiplunkar Massachusetts Institute of Technology, Clément Pit-Claudel Massachusetts Institute of Technology, USA, Adam Chlipala Massachusetts Institute of Technology File Attached |
18:00 - 18:45 | |||
18:00 15mTalk | Verification of Algorithm and Code Generation for Signal Transforms CoqPL File Attached | ||
18:15 15mTalk | An experience report on writing usable DSLs in Coq CoqPL File Attached | ||
18:30 15mBreak | Break CoqPL |
18:45 - 19:30 | |||
18:45 45mDemonstration | Session with the Coq Development Team CoqPL |