POPL 2017
Sun 15 - Sat 21 January 2017
VenueParis Jussieu
Room nameAuditorium
Floor0
Room numberAAA
Capacity500
Additional informationThere is no additional information of this room available.
Program

Mon 16 Jan

CPP-2017
09:00 - 10:00: CPP - Invited Talk at Auditorium
CPP-2017148455360000009:00 - 10:00
Talk
Lawrence PaulsonUniversity of Cambridge
File Attached
CPP-2017
10:30 - 12:00: CPP - Algorithm and library verification at Auditorium
CPP-2017148455900000010:30 - 11:00
Talk
CPP-2017148456080000011:00 - 11:30
Talk
CPP-2017148456260000011:30 - 12:00
Talk
CPP-2017
14:00 - 15:30: CPP - Automated proof and its verification at Auditorium
CPP-2017148457160000014:00 - 14:30
Talk
CPP-2017148457340000014:30 - 15:00
Talk
Reuben RoweUniversity College London, James Brotherston
CPP-2017148457520000015:00 - 15:30
Talk
CPP-2017
16:00 - 18:00: CPP - Formalized mathematics with numerical computations at Auditorium
CPP-2017148457880000016:00 - 16:30
Talk
CPP-2017148458060000016:30 - 17:00
Talk
Erik Martin-DorelIRIT, Université Paul Sabatier, Pierre Roux
CPP-2017148458240000017:00 - 17:30
Talk
Johannes HölzlTechnische Universität München
DOI Pre-print File Attached
CPP-2017148458420000017:30 - 18:00
Talk

Tue 17 Jan

CPP-2017
09:00 - 10:00: CPP - Invited Talk at Auditorium
CPP-2017148464000000009:00 - 10:00
Talk
Xinyu FengUniversity of Science and Technology of China
File Attached
CPP-2017
10:30 - 12:00: CPP - Verified programming tools at Auditorium
CPP-2017148464540000010:30 - 11:00
Talk
Anthony FoxUniversity of Cambridge, UK, Magnus O. MyreenChalmers University of Technology, Sweden, Yong Kiam TanIHPC at A*STAR, Singapore, Ramana Kumar
CPP-2017148464720000011:00 - 11:30
Talk
Sidney AmaniUNSW, Australia, June AndronickData61,CSIRO (formerly NICTA) and UNSW, Maksym Bortin, Corey Lewis, Christine RizkallahUniversity of Pennsylvania, USA, Joseph Tuong
CPP-2017148464900000011:30 - 12:00
Talk
William ManskyUniversity of Pennsylvania, Yuanfeng PengUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania, Joseph DeviettiUniversity of Pennsylvania
CPP-2017
14:00 - 15:30: CPP - Homotopy type theory at Auditorium
CPP-2017148465800000014:00 - 14:30
Talk
Pre-print
CPP-2017148465980000014:30 - 15:00
Talk
Jesper CockxiMinds, Belgium, Dominique DevrieseiMinds - Distrinet, KU Leuven
CPP-2017148466160000015:00 - 15:30
Talk
CPP-2017
16:00 - 17:30: CPP - Formal verification of programming language foundations at Auditorium
CPP-2017148466520000016:00 - 16:30
Talk
Guillaume AllaisRadboud University Nijmegen, James Chapman, Conor McBride, James McKinnaUniversity of Edinburgh
CPP-2017148466700000016:30 - 17:00
Talk
CPP-2017148466880000017:00 - 17:30
Talk

Wed 18 Jan

POPL-2017-papers
09:00 - 09:05: POPL - Opening at Auditorium
Chair(s): Giuseppe CastagnaParis Diderot University & CNRS, Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2017-papers148472640000009:00 - 09:05
Day opening
POPL-2017-papers
09:05 - 10:00: POPL - Invited speaker at Auditorium
Chair(s): Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2017-papers148472670000009:05 - 10:00
Talk
Stephanie WeirichUniversity of Pennsylvania
POPL-2017-papers
10:30 - 12:10: POPL - Type Systems 1 at Auditorium
Chair(s): Avik ChaudhuriFacebook
POPL-2017-papers148473180000010:30 - 10:55
Talk
Stephen Dolan, Alan MycroftUniversity of Cambridge
POPL-2017-papers148473330000010:55 - 11:20
Talk
Radu GrigoreUniversity of Kent
POPL-2017-papers148473480000011:20 - 11:45
Talk
Cyrus OmarCarnegie Mellon University, Ian VoyseyCarnegie Mellon University, Michael HiltonOregon State University, USA, Jonathan AldrichCarnegie Mellon University, Matthew HammerUniversity of Colorado, Boulder
POPL-2017-papers148473630000011:45 - 12:10
Talk
Karl CraryCarnegie Mellon University
POPL-2017-papers
14:20 - 16:00: POPL - Concurrency 1 at Auditorium
Chair(s): Ilya SergeyUniversity College London
POPL-2017-papers148474560000014:20 - 14:45
Talk
Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany, Derek DreyerMPI-SWS
Link to publication Pre-print Media Attached
POPL-2017-papers148474710000014:45 - 15:10
Talk
John WickersonImperial College London, Mark BattyUniversity of Kent, Tyler SorensenImperial College London, George A. ConstantinidesImperial College London, UK
Pre-print Media Attached File Attached
POPL-2017-papers148474860000015:10 - 15:35
Talk
Robbert KrebbersDelft University of Technology, Netherlands, Amin Timanyimec - Distrinet, KU Leuven, Lars BirkedalAarhus University
DOI Pre-print Media Attached
POPL-2017-papers148475010000015:35 - 16:00
Talk
Morten Krogh-JespersenAarhus University, Kasper SvendsenAarhus University, Lars BirkedalAarhus University
POPL-2017-papers
16:30 - 17:45: POPL - Compiler Optimisation at Auditorium
Chair(s): Andrew MyersCornell University
POPL-2017-papers148475340000016:30 - 16:55
Talk
Ziv ScullyCarnegie Mellon University, Adam ChlipalaMIT
POPL-2017-papers148475490000016:55 - 17:20
Talk
Oleg Kiselyov, Aggelos BiboudisUniversity of Athens, Nick PalladinosNessos Information Technologies, SA, Yannis SmaragdakisUniversity of Athens
Pre-print Media Attached
POPL-2017-papers148475640000017:20 - 17:45
Talk
Wei-Fan ChiangSchool of Computing, University of Utah, Ganesh GopalakrishnanUniversity of Utah, Zvonimir RakamaricUniversity of Utah, Ian BriggsSchool of Computing, University of Utah, Marek S. BaranowskiUniversity of Utah, Alexey SolovyevSchool of Computing, University of Utah
Pre-print

Thu 19 Jan

POPL-2017-papers
09:00 - 09:15: POPL - ACM and SIGPLAN Awards at Auditorium
Chair(s): Satnam SinghFacebook
POPL-2017-papers148481280000009:00 - 09:05
Awards
POPL-2017-papers148481310000009:05 - 09:10
Awards
POPL-2017-papers148481340000009:10 - 09:15
Awards
POPL-2017-papers
09:15 - 10:00: POPL - Invited speaker at Auditorium
Chair(s): Roberto GiacobazziUniversity of Verona, Italy
POPL-2017-papers148481370000009:15 - 10:00
Talk
Patrick CousotNew York University, Roberto GiacobazziUniversity of Verona, Italy
POPL-2017-papers
10:30 - 12:10: POPL - Type Systems 2 at Auditorium
Chair(s): Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2017-papers148481820000010:30 - 10:55
Talk
Gabriel SchererNortheastern University
POPL-2017-papers148481970000010:55 - 11:20
Talk
Danko IlikTrusted Labs
POPL-2017-papers148482120000011:20 - 11:45
Talk
POPL-2017-papers148482270000011:45 - 12:10
Talk
Matt BrownUCLA, Jens PalsbergUniversity of California, Los Angeles
POPL-2017-papers
14:20 - 16:00: POPL - Functional Programming with Effects at Auditorium
Chair(s): Kathleen FisherTufts University
POPL-2017-papers148483200000014:20 - 14:45
Talk
Daan LeijenMicrosoft Research
POPL-2017-papers148483350000014:45 - 15:10
Talk
Sam LindleyUniversity of Edinburgh, Conor McBride, Craig McLaughlinThe University of Edinburgh
POPL-2017-papers148483500000015:10 - 15:35
Talk
Danel AhmanUniversity of Edinburgh, Cătălin HriţcuInria Paris, Kenji MaillardInria Paris, ENS Paris, and Microsoft Research, Guido MartínezInria Paris, UNR Argentina, Gordon Plotkin, Jonathan ProtzenkoMicrosoft Research, Aseem RastogiMicrosoft Research India, Nikhil SwamyMicrosoft Research
Pre-print
POPL-2017-papers148483650000015:35 - 16:00
Talk
POPL-2017-papers
16:30 - 17:20: POPL - Logic and Programming at Auditorium
Chair(s): Nada AminEPFL
POPL-2017-papers148483980000016:30 - 16:55
Talk
Kausik SubramanianUniversity of Wisconsin-Madison, Loris D'AntoniUniversity of Wisconsin–Madison, Aditya AkellaUniversity of Wisconsin-Madison
POPL-2017-papers148484130000016:55 - 17:20
Talk
POPL-2017-papers
17:20 - 18:20: POPL - Business meeting at Auditorium
Chair(s): Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2017-papers148484280000017:20 - 17:40
Talk
Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2017-papers148484400000017:40 - 17:50
Talk
Andrew MyersCornell University, Ranjit JhalaUniversity of California, San Diego
POPL-2017-papers148484460000017:50 - 18:20
Meeting
Andrew D. GordonMicrosoft Research and University of Edinburgh

Fri 20 Jan

POPL-2017-src
09:00 - 09:05: Student Research Competition - Student Competition Award at Auditorium
Chair(s): Kim NguyễnLRI, Université Paris-Sud
POPL-2017-src148489920000009:00 - 09:05
Awards
POPL-2017-papers
09:05 - 10:00: POPL - Invited speaker at Auditorium
Chair(s): Giuseppe CastagnaParis Diderot University & CNRS
POPL-2017-papers148489950000009:05 - 10:00
Talk
POPL-2017-papers
10:30 - 12:10: POPL - Type Systems 3 at Auditorium
Chair(s): Derek DreyerMPI-SWS
POPL-2017-papers148490460000010:30 - 10:55
Talk
Andrej DudenhefnerTechnical University Dortmund, Jakob RehofTechnical University Dortmund
POPL-2017-papers148490610000010:55 - 11:20
Talk
Nada AminEPFL, Tiark RompfPurdue University
POPL-2017-papers148490760000011:20 - 11:45
Talk
Carlo AngiuliCarnegie Mellon University, Robert Harper, Todd WilsonCalifornia State University Fresno
POPL-2017-papers148490910000011:45 - 12:10
Talk
Stephen ChangNortheastern University, Alex KnauthNortheastern University, Ben GreenmanNortheastern University
POPL-2017-papers
14:20 - 16:00: POPL - Gradual Typing and Contracts at Auditorium
Chair(s): Ronald GarciaUniversity of British Columbia
POPL-2017-papers148491840000014:20 - 14:45
Talk
Michael Vitousek, Cameron SwordsIndiana University, Jeremy G. SiekIndiana University Bloomington
POPL-2017-papers148491990000014:45 - 15:10
Talk
Nicolás Lehmann, Éric TanterUniversity of Chile, Chile
Link to publication DOI Pre-print
POPL-2017-papers148492140000015:10 - 15:35
Talk
Matteo CiminiIndiana University, USA, Jeremy G. SiekIndiana University Bloomington
POPL-2017-papers148492290000015:35 - 16:00
Talk
Khurram A. JaferyUniversity of British Columbia, Joshua DunfieldUniversity of British Columbia
POPL-2017-papers
16:30 - 17:45: POPL - Security and Privacy at Auditorium
Chair(s): Cătălin HriţcuInria Paris
POPL-2017-papers148492620000016:30 - 16:55
Talk
Nada AminEPFL, Tiark RompfPurdue University
POPL-2017-papers148492770000016:55 - 17:20
Talk
Mounir AssafStevens Institute of Technology, David NaumannStevens Institute of Technology, Julien SignolesCEA LIST, Éric TotelCentraleSupélec, Frédéric TronelCentraleSupélec
POPL-2017-papers148492920000017:20 - 17:45
Talk
Danfeng ZhangPennsylvania State University, Daniel KiferDept. of Computer Science and Engineering, Penn State University

Sat 21 Jan

main
09:00 - 10:00: CoqPL 2017 - Opening Session at Auditorium
Chair(s): Emilio Jesús Gallego AriasMINES ParisTech
main148498560000009:00 - 10:00
Talk
Robbert KrebbersDelft University of Technology, Netherlands
main
10:30 - 12:10: CoqPL 2017 - Morning Session at Auditorium
Chair(s): Alan SchmittInria
main148499100000010:30 - 10:55
Talk
File Attached
main148499250000010:55 - 11:20
Talk
Amin Timanyimec - Distrinet, KU Leuven, Robbert KrebbersDelft University of Technology, Netherlands, Lars BirkedalAarhus University
File Attached
main148499400000011:20 - 11:45
Talk
File Attached
main148499550000011:45 - 12:10
Talk
File Attached
main
14:00 - 15:30: CoqPL 2017 - Midday Session at Auditorium
Chair(s): Sandrine BlazyUniversity of Rennes 1, France
main148500360000014:00 - 15:00
Talk
Nicolas TabareauInria, France
main148500720000015:00 - 15:30
Demonstration
main
16:00 - 18:05: CoqPL 2017 - Afternoon Session at Auditorium
Chair(s): Matthieu SozeauInria
main148501080000016:00 - 16:25
Talk
File Attached
main148501230000016:25 - 16:50
Talk
Abhishek Anand, Andrew AppelPrinceton, Greg MorrisettCornell University, Zoe ParaskevopoulouPrinceton University, USA, Randy PollackHarvard University, Olivier Savary BelangerPrinceton University, Matthieu SozeauInria, Matthew WeaverPrinceton University
File Attached
main148501380000016:50 - 17:15
Talk
Izumi AsakuraTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology
File Attached
main148501530000017:15 - 17:40
Talk
Ryan DoengesUniversity of Washington, James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington, Zachary TatlockUniversity of Washington, Karl Palmskog
File Attached
main148501680000017:40 - 18:05
Talk
File Attached

Mon 16 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Auditorium
09:00 - 10:00

Tue 17 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Auditorium
09:00 - 10:00

Wed 18 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Auditorium
09:00 - 09:05
09:05 - 10:00
10:30 - 12:10
14:20 - 16:00

Thu 19 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Auditorium
09:15 - 10:00
10:30 - 12:10

Fri 20 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Auditorium
09:05 - 10:00
10:30 - 12:10

Sat 21 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Auditorium