Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sat 19 Jan 2019 12:05 - 12:30 at Sala VI - Contributed Talks 2 Chair(s): Enrico Tassi

We report an industrial application of Coq: our work towards formalizing the Concordium blockchain consensus protocol.

Abstract (coqpl19-final16a.pdf)291KiB
Slides (coqpl-2019.pdf)269KiB

Sat 19 Jan
Times are displayed in time zone: Belfast change

11:15 - 12:30
Contributed Talks 2CoqPL at Sala VI
Chair(s): Enrico TassiINRIA
11:15
25m
Talk
Towards Mechanising Probabilistic Properties of a Blockchain
CoqPL
Kiran GopinathanUniversity College London, Ilya SergeyYale-NUS College and National University of Singapore
File Attached
11:40
25m
Talk
Verifying Finality for Blockchain Systems
CoqPL
Karl PalmskogUniversity of Texas at Austin, Milos GligoricUniversity of Texas at Austin, Lucas PeñaUniversity of Illinois at Urbana-Champaign, Grigore RoşuUniversity of Illinois at Urbana-Champaign
File Attached
12:05
25m
Talk
WIP: Formalizing the Concordium Consensus Protocol in Coq
CoqPL
Thomas Dinsdale-Young, Bas SpittersAarhus University, Søren Eller ThomsenAarhus University, Daniel TschudiAarhus University
File Attached