Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala VI
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sat 19 Jan

Displayed time zone: Belfast change

09:00 - 10:30
Keynote & Contributed Talks 1CoqPL at Sala VI
Chair(s): Ilya SergeyYale-NUS College and National University of Singapore
09:00
5m
Day opening
Opening
CoqPL

09:05
60m
Talk
Coq User Interfaces: Past, Present, and Future (Keynote)
CoqPL
10:05
25m
Talk
Counterexamples for Coq Conjectures
CoqPL
Samuel GruetterMassachusetts Institute of Technology
File Attached
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
14:00 - 15:30
Contributed Talks 3 & Coq DevelopersCoqPL at Sala VI
Chair(s): Qinxiang CaoShanghai Jiao Tong University
14:00
25m
Talk
Reification of Shallow-Embedded DSLs in Coq with Automated Verification
CoqPL
Vadim ZalivaCarnegie Mellon University, USA, Matthieu SozeauInria
File Attached
14:25
25m
Talk
Reifying and Translating a Monadic Fragment of Gallina
CoqPL
File Attached
14:50
40m
Demonstration
Session with the Coq Development Team
CoqPL

Conference Day
Sat 19 Jan

Displayed time zone: Belfast change