Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala XII
Floor0
Additional informationThere is no additional information of this room available.
Program

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

Mon 14 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:30: Keynote 1 and Research PaperCPP at Sala XII
Chair(s): Magnus O. MyreenChalmers University of Technology, Sweden
09:00 - 10:00
Talk
CPP
Amy FeltyUniversity of Ottawa
DOI
10:00 - 10:30
Research paper
CPP
Yannick ForsterSaarland University, Dominique Larchey-WendlingCNRS, LORIA
DOI
11:00 - 12:30: Research Papers: Proof Theory, Theory of Programming LanguagesCPP at Sala XII
Chair(s): Assia MahboubiINRIA
11:00 - 11:30
Research paper
CPP
Kaustuv ChaudhuriInria, France, Matteo ManighettiInria & École Polytechnique, Dale MillerINRIA Saclay and LIX
DOI
11:30 - 12:00
Research paper
CPP
Yannick ForsterSaarland University, Steven SchäferSaarland University, Simon SpiesSaarland University, Kathrin StarkSaarland University, Germany
DOI
12:00 - 12:30
Research paper
CPP
Theo WinterhalterGallinette / Inria / LS2N, Nicolas TabareauInria, Matthieu SozeauInria
DOI
14:00 - 15:30: Research Papers: Program VerificationCPP at Sala XII
Chair(s): Chris HawblitzelMicrosoft Research
14:00 - 14:30
Research paper
CPP
Ian RoessleVirginia Tech, USA, Freek VerbeekOpen University of the Netherlands, The Netherlands, Binoy RavindranVirginia Tech
DOI
14:30 - 15:00
Research paper
CPP
Sandrine BlazyUniv Rennes- IRISA, Rémi HutinIRISA / ENS Rennes
DOI
15:00 - 15:30
Research paper
CPP
Nicolas Koh, Yao LiUniversity of Pennsylvania, Yishuai LiUniversity of Pennsylvania, Li-yao XiaUniversity of Pennsylvania, Lennart BeringerPrinceton University, Wolf Honore, William ManskyUniversity of Illinois at Chicago, Benjamin C. PierceUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
DOI
16:00 - 17:30: Research Papers: Formalization of Mathematics and Computer AlgebraCPP at Sala XII
Chair(s): Georges GonthierInria
16:00 - 16:30
Research paper
CPP
Robert Y. LewisVrije Universiteit Amsterdam
DOI
16:30 - 17:00
Research paper
CPP
Wenda LiUniversity of Cambridge, Lawrence PaulsonUniversity of Cambridge
DOI
17:00 - 17:30
Research paper
CPP
DOI

Tue 15 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:30: Keynote 2 and Research PaperCPP at Sala XII
Chair(s): Assia MahboubiINRIA
09:00 - 10:00
Talk
CPP
Jasmin BlanchetteVrije Universiteit Amsterdam
DOI
10:00 - 10:30
Research paper
CPP
Anders SchlichtkrullTechnical University of Denmark, Jasmin BlanchetteVrije Universiteit Amsterdam, Dmitriy TraytelETH Zurich
DOI
11:00 - 12:30: Research Papers: Rewriting, Automated ReasoningCPP at Sala XII
Chair(s): Andrei PopescuMiddlesex University, London
11:00 - 11:30
Research paper
CPP
Kathrin StarkSaarland University, Germany, Steven SchäferSaarland University, Jonas Kaiser
DOI
11:30 - 12:00
Research paper
CPP
Alexander Lochmann, Christian SternagelUniversity of Innsbruck, Austria
DOI
12:00 - 12:30
Research paper
CPP
DOI
14:00 - 15:30: Research Papers: Program VerificationCPP at Sala XII
Chair(s): Nicolas TabareauInria
14:00 - 14:30
Research paper
CPP
Qianchuan YePurdue University, Benjamin DelawarePurdue University
DOI
14:30 - 15:00
Research paper
CPP
Véronique BenzakenLRI, Université Paris-Sud, Evelyne Contejean
DOI
15:00 - 15:30
Research paper
CPP
Susannah Mansky, Elsa GunterUniversity of Illinois
DOI
16:00 - 17:30: Research Papers: Formalization of Mathematics and Computer AlgebraCPP at Sala XII
Chair(s): Zhong ShaoYale University
16:00 - 16:30
Research paper
CPP
Yannick ForsterSaarland University, Dominik KirstSaarland University, Gert SmolkaSaarland University
DOI
16:30 - 17:00
Research paper
CPP
Manuel EberlTechnische Universität München
DOI
17:00 - 17:30
Meeting
CPP
Assia MahboubiINRIA, Magnus O. MyreenChalmers University of Technology, Sweden

Tue 15 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change