POPL 2020 (series) / CoqPL 2020 (series) /
CoqPL 2020 Program
This is the CoqPL 2020 program - see the full program for POPL 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 25 JanDisplayed time zone: Saskatchewan, Central America change
Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change
09:00 - 10:00 | |||
09:00 60mTalk | SMTCoq: Safe and efficient automation in Coq (Keynote) CoqPL Chantal Keller LRI, Université Paris-Sud File Attached | ||
10:30 - 12:30 | |||
10:30 30mTalk | Deriving Instances with Dependent Types CoqPL Arthur Azevedo de Amorim Carnegie Mellon University, USA File Attached | ||
11:00 30mTalk | The use of Coq for Common Criteria Evaluations CoqPL Yves Bertot INRIA, Maxime Dénès Inria, Vincent Laporte Inria, Arnaud Fontaine ANSSI, Thomas Letan ANSSI File Attached | ||
11:30 30mTalk | Verifying concurrent Go code in Coq with Goose CoqPL Tej Chajed Massachusetts Institute of Technology, USA, Joseph Tassarotti Boston College, M. Frans Kaashoek Massachusetts Institute of Technology, USA, Nickolai Zeldovich Massachusetts Institute of Technology, USA Link to publication File Attached | ||
12:00 30mTalk | A Tutorial on Equations CoqPL Matthieu Sozeau Inria Media Attached File Attached | ||
14:00 - 15:05 | |||
14:00 60mTalk | Autosubst 2: Mechanising binders in Coq (Keynote) CoqPL Kathrin Stark Princeton University, USA File Attached | ||
15:35 - 17:45 | Contributed Talks & Coq DevelopersCoqPL at Maurepas Chair(s): Robbert Krebbers Delft University of Technology, Joseph Tassarotti Boston College | ||
15:35 30mTalk | Towards Formally Verified Just-in-Time compilation CoqPL Aurèle Barrière Univ Rennes, IRISA, Sandrine Blazy Univ Rennes- IRISA, David Pichardie Univ Rennes, ENS Rennes, IRISA File Attached | ||
16:05 30mTalk | A Coq Library of Undecidable Problems CoqPL Yannick Forster Saarland University, Dominique Larchey-Wendling CNRS, LORIA, Andrej Dudenhefner Saarland University, Edith Heiter Saarland University, Dominik Kirst Saarland University, Fabian Kunze Saarland University, Gert Smolka Saarland University, Simon Spies Saarland University, Dominik Wehr Saarland University, Universiteit van Amsterdam, Maximilian Wuttke Saarland University Media Attached File Attached | ||
16:35 15mBreak | Short break CoqPL | ||
16:50 45mDemonstration | Session with the Coq Development Team CoqPL | ||