POPL 2017
Sun 15 - Sat 21 January 2017
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 15 Jan

TTT-2017
08:50 - 10:00: TTT - First Morning Session at Salle 105, Barre 44-54
Chair(s): Assia MahboubiINRIA
TTT-2017148446660000008:50 - 09:00
Day opening
TTT-2017148446720000009:00 - 09:20
Talk
David ThibodeauMcGill University, Canada, Alberto Momigliano, Brigitte PientkaMcGill University
TTT-2017148446840000009:20 - 09:40
Talk
TTT-2017148446960000009:40 - 10:00
Talk
Jonas Kaiser, Gert SmolkaSaarland University
VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 1 at Amphitheater 44
Chair(s): David MonniauxCNRS, VERIMAG
VMCAI-2017-papers148446720000009:00 - 10:00
Talk
Pascal CuoqTrust-in-Soft
File Attached
SCM-2017
09:15 - 10:00: SCM - Session I at Salle 109, Barre 44-54
SCM-2017148446810000009:15 - 10:00
Talk
Marco PatrignaniMPI-SWS, Germany
Link to publication
POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Catering area
POPL-2017-catering148447080000010:00 - 10:30
Coffee break
VMCAI-2017-papers
10:30 - 12:00: VMCAI - Program Analysis at Amphitheater 44
Chair(s): Boris YakobowskiCEA - LIST
VMCAI-2017-papers148447260000010:30 - 11:00
Talk
Wei WangGoogle, Inc., Clark BarrettStanford University, Thomas WiesNew York University
File Attached
VMCAI-2017-papers148447440000011:00 - 11:30
Talk
Asya FrumkinTel Aviv University, Yotam FeldmanTel Aviv University, Ondřej LhotákUniversity of Waterloo, Canada, Oded PadonTel Aviv University, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university
File Attached
VMCAI-2017-papers148447620000011:30 - 12:00
Talk
Yijia GuNortheastern University, Thomas WahlNortheastern University
TTT-2017
10:30 - 12:00: TTT - Second Morning Session at Salle 105, Barre 44-54
Chair(s): Keiko Nakata
TTT-2017148447260000010:30 - 11:20
Talk
Aaron TombGalois, Inc.
TTT-2017148447560000011:20 - 11:40
Talk
TTT-2017148447680000011:40 - 12:00
Talk
Guillaume AllaisRadboud University Nijmegen
SCM-2017
10:30 - 12:00: SCM - Session II at Salle 109, Barre 44-54
SCM-2017148447260000010:30 - 10:40
Talk
Link to publication
SCM-2017148447320000010:40 - 10:50
Talk
David NaumannStevens Institute of Technology
File Attached
SCM-2017148447380000010:50 - 11:00
Talk
Gabriel SchererNortheastern University
File Attached
SCM-2017148447440000011:00 - 11:10
Talk
Christine RizkallahUniversity of Pennsylvania, USA
File Attached
SCM-2017148447530000011:15 - 12:00
Talk
File Attached
POPL-2017-catering
12:00 - 14:00: Catering - Buffet at Catering area
POPL-2017-catering148447800000012:00 - 14:00
Lunch
VMCAI-2017-papers
14:00 - 15:30: VMCAI - Concurrency 1 at Amphitheater 44
Chair(s): Camille CotiLIPN, Université Paris 13
VMCAI-2017-papers148448520000014:00 - 14:30
Talk
VMCAI-2017-papers148448700000014:30 - 15:00
Talk
Vijay D'SilvaGoogle Inc., Daniel KroeningUniversity of Oxford, Marcelo SousaUniversity of Oxford
VMCAI-2017-papers148448880000015:00 - 15:30
Talk
Vincent BotbolCEA LIST + LIP6 Université Pierre & Marie Curie, Tristan Le GallCEA LIST, Emmanuel ChaillouxLIP6 - UPMC
Media Attached File Attached
SCM-2017
14:00 - 15:30: SCM - Session III at Salle 109, Barre 44-54
SCM-2017148448520000014:00 - 14:45
Talk
Daniel PattersonNortheastern University
File Attached
SCM-2017148448790000014:45 - 15:30
Talk
Dominique DevrieseiMinds - Distrinet, KU Leuven
File Attached
POPL-2017-catering
15:30 - 16:00: Catering - Coffee break at Catering area
POPL-2017-catering148449060000015:30 - 16:00
Coffee break
VMCAI-2017-papers
16:00 - 17:30: VMCAI - Decision procedures at Amphitheater 44
Chair(s): Andreas PodelskiUniversity of Freiburg, Germany
VMCAI-2017-papers148449240000016:00 - 16:30
Talk
Ernst Moritz HahnState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Sven ScheweUniversity of Liverpool, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences
File Attached
VMCAI-2017-papers148449420000016:30 - 17:00
Talk
Andrew ReynoldsEPFL, Radu IosifVERIMAG, CNRS, Université Grenoble-Alpes, Cristina SerbanVERIMAG, CNRS, Université Grenoble-Alpes
File Attached
VMCAI-2017-papers148449600000017:00 - 17:30
Talk
Supratik ChakrabortyIIT Bombay, Ashutosh Gupta, Rahul JainTata Institute of Fundamental Research
File Attached
TTT-2017
16:00 - 18:00: TTT - Second Afternoon Session at Salle 105, Barre 44-54
Chair(s): Hugo Herbelin
TTT-2017148449240000016:00 - 16:50
Talk
Robbert KrebbersDelft University of Technology, Netherlands
TTT-2017148449540000016:50 - 17:10
Talk
Beta ZilianiFAMAF, UNC (Argentina) / CONICET (Argentina)
TTT-2017148449660000017:10 - 18:00
Other
SCM-2017
16:00 - 17:30: SCM - Session IV at Salle 109, Barre 44-54
SCM-2017148449240000016:00 - 16:45
Talk
File Attached
SCM-2017148449510000016:45 - 17:30
Talk
Jonathan ProtzenkoMicrosoft Research
File Attached

Mon 16 Jan

PADL-2017
08:50 - 09:00: PADL - Opening remarks at Salle 116, Barre 44-54
Chair(s): Yuliya LierlerUniversity of Nebraska, Walid TahaHalmstad University
PADL-2017148455300000008:50 - 09:00
Talk
POPL-2017-Tutorials
09:00 - 12:00: Tutorials - Flow (AM) at Salle 112, Barre 44-54
POPL-2017-Tutorials148455360000009:00 - 12:00
Talk
Media Attached
POPL-2017-Tutorials
09:00 - 12:00: Tutorials - Frama-C (AM) at Salle 114, Barre 44-54
POPL-2017-Tutorials148455360000009:00 - 12:00
Talk
POPL-2017-Tutorials
09:00 - 12:00: Tutorials - Gradual Typing (AM) at Salle 105, Barre 44-54
POPL-2017-Tutorials148455360000009:00 - 12:00
Talk
Jeremy G. SiekIndiana University Bloomington
PADL-2017
09:00 - 10:00: PADL - Invited Talk at Salle 116, Barre 44-54
PADL-2017148455360000009:00 - 10:00
Talk
Dale MillerINRIA Saclay and LIX
CPP-2017
09:00 - 10:00: CPP - Invited Talk at Auditorium
CPP-2017148455360000009:00 - 10:00
Talk
Lawrence PaulsonUniversity of Cambridge
File Attached
VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 2 at Amphitheater 44
Chair(s): Ahmed BouajjaniIRIF, Université Paris Diderot
VMCAI-2017-papers148455360000009:00 - 10:00
Talk
Ernie CohenAmazon Web Services
pepm-workshop
09:00 - 10:00: PEPM 2017 - Keynote at Salle 109, Barre 44-54
Chair(s): Ulrik SchultzUniversity of Southern Denmark
pepm-workshop148455360000009:00 - 10:00
Talk
Daniil BerezunJetBrains, Russia, Neil D. JonesUniversity of Copenhagen, Danmark
DOI
POPL-2017-Tutorials
09:00 - 12:00: Tutorials - Lean (AM) at Salle 107, Barre 44-54
POPL-2017-Tutorials148455360000009:00 - 12:00
Talk
Leonardo De MouraMicrosoft Research, Redmond, Gabriel EbnerVienna University of Technology, Jared RoeschUniversity of Washington, USA, Sebastian UllrichKarlsruhe Institute of Technology
POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148455720000010:00 - 10:30
Coffee break
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
PADL-2017
10:30 - 12:00: PADL - Answer Set Programming at Salle 116, Barre 44-54
PADL-2017148455900000010:30 - 11:00
Talk
PADL-2017148456080000011:00 - 11:30
Talk
Christoph RedlVienna University of Technology
PADL-2017148456260000011:30 - 12:00
Talk
Jakob RathVienna University of Technology, Christoph RedlVienna University of Technology
VMCAI-2017-papers
10:30 - 12:00: VMCAI - Numerical domains at Amphitheater 44
Chair(s): Laure GonnordUniversity of Lyon & LIP, France
VMCAI-2017-papers148455900000010:30 - 11:00
Talk
Tushar SharmaUniversity of Wisconsin - Madison, USA, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
File Attached
VMCAI-2017-papers148456080000011:00 - 11:30
Talk
Media Attached File Attached
VMCAI-2017-papers148456260000011:30 - 12:00
Talk
Yassamine SeladjiUniversity of Tlemcen
File Attached
pepm-workshop
10:30 - 12:00: PEPM 2017 - Programming languages at Salle 109, Barre 44-54
Chair(s): Andrew FarmerFacebook
pepm-workshop148455900000010:30 - 11:00
Talk
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University
pepm-workshop148456080000011:00 - 11:30
Talk
Tsubasa MatsushitaShibaura Institute of Technology, Isao SasanoShibaura Institute of Technology
pepm-workshop148456260000011:30 - 12:00
Talk
Fritz HengleinDIKU, Denmark, Ulrik Terp RasmussenDIKU, University of Copenhagen
POPL-2017-catering
12:00 - 14:00: Catering - Buffet at Catering area
POPL-2017-catering148456440000012:00 - 14:00
Lunch
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
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Flow (PM) at Salle 112, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk
Media Attached
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Frama-C (PM) at Salle 114, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Gradual Typing (PM) at Salle 105, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk
Jeremy G. SiekIndiana University Bloomington
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Lean (PM) at Salle 107, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk
Leonardo De MouraMicrosoft Research, Redmond, Gabriel EbnerVienna University of Technology, Jared RoeschUniversity of Washington, USA, Sebastian UllrichKarlsruhe Institute of Technology
VMCAI-2017-papers
14:00 - 15:30: VMCAI - Model-checking and bug finding at Amphitheater 44
Chair(s): Andreas PodelskiUniversity of Freiburg, Germany
VMCAI-2017-papers148457160000014:00 - 14:30
Talk
Iago AbalIT University of Copenhagen, Claus BrabrandIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark
VMCAI-2017-papers148457340000014:30 - 15:00
Talk
Hadrien BrideFemto-ST / Université de Franche-Comté, Olga KouchnarenkoFemto-ST / Université de Franche-Comté, Fabien PeureuxFemto-ST / Université de Franche-Comté + Smartesting S&S
Media Attached
VMCAI-2017-papers148457520000015:00 - 15:30
Talk
Henning GüntherTechnische Universität Wien, Alfons LaarmanVienna University of Technology, Ana SokolovaUniversity of Salzburg, Georg WeissenbacherTechnische Universität Wien
File Attached
PADL-2017
14:00 - 15:30: PADL - Testing and Games at Salle 116, Barre 44-54
PADL-2017148457160000014:00 - 14:30
Talk
Jonathan FowlerUniversity of Nottingham, Graham HuttonUniversity of Nottingham
PADL-2017148457340000014:30 - 15:00
Talk
Maciej BendkowskiJagiellonian University, Katarzyna GrygielJagiellonian University, Paul TarauUniversity of North Texas
PADL-2017148457520000015:00 - 15:30
Talk
Paulo OlivaQueen Mary University of London, Jules HedgesUniversity of Oxford, Viktor WinschelETH Zürich, Philipp ZahnUniversity of St. Gallen, Evguenia ShpritsUniversity of Mannheim
pepm-workshop
14:00 - 15:30: PEPM 2017 - Tutorial (Idris, Inside-Out) and Poster Session at Salle 109, Barre 44-54
Chair(s): Ulrik SchultzUniversity of Southern Denmark, Jeremy YallopUniversity of Cambridge, UK
pepm-workshop148457160000014:00 - 15:00
Talk
David ChristiansenIndiana University
pepm-workshop148457520000015:00 - 15:30
Talk
Nada AminEPFL, Tiark RompfPurdue University, Oleg Kiselyov, Aggelos BiboudisUniversity of Athens, Nick PalladinosNessos Information Technologies, SA, Yannis SmaragdakisUniversity of Athens
pepm-workshop148457520000015:00 - 15:30
Talk
Tatsuya KatsushimaTohoku University, Japan, Oleg Kiselyov
POPL-2017-catering
15:30 - 16:00: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148457700000015:30 - 16:00
Coffee break
PADL-2017
16:00 - 17:30: PADL - Applications I and Inference at Salle 116, Barre 44-54
PADL-2017148457880000016:00 - 16:30
Talk
Geoffrey MainlandDrexel University
PADL-2017148458060000016:30 - 17:00
Talk
PADL-2017148458240000017:00 - 17: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
VMCAI-2017-papers
16:00 - 17:30: VMCAI - Symbolic analysis and invariant synthesis at Amphitheater 44
Chair(s): Constantin EneaLIAFA, Université Paris Diderot
VMCAI-2017-papers148457880000016:00 - 16:30
Talk
VMCAI-2017-papers148458060000016:30 - 17:00
Talk
Yakir Vizel, Arie GurfinkelUniversity of Waterloo, Sharon ShohamTel Aviv university, Sharad MalikPrinceton University
VMCAI-2017-papers148458240000017:00 - 17:30
Talk
Lukas Holik, Martin HruskaBrno University of Technology , Ondrej LengalBrno University of Technology , Adam RogalewiczBrno University of Technology , Tomas VojnarBrno University of Technology
pepm-workshop
16:00 - 17:00: PEPM 2017 - Transformation (part I) at Salle 109, Barre 44-54
Chair(s): Chung-chieh ShanIndiana University, USA
pepm-workshop148457880000016:00 - 16:30
Talk
Takashi SuwaUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Atsushi IgarashiKyoto University
pepm-workshop148458060000016:30 - 17:00
Talk
Krishna NarasimhanGoethe University, Julia LawallInria/LIP6, Christoph ReichenbachGoethe University
VMCAI-2017-papers
19:30 - 22:00: VMCAI - Banquet at Procope

Tue 17 Jan

PLMW-2017
08:50 - 09:00: PLMW - Welcome Session at Salle 107, Barre 44-54
PLMW-2017148463940000008:50 - 09:00
Day opening
PADL-2017
09:00 - 10:00: PADL - Applications II at Salle 116, Barre 44-54
PADL-2017148464000000009:00 - 09:30
Talk
PADL-2017148464180000009:30 - 10:00
Talk
Stefania CostantiniDipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila, Giovanni De GasperisDipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Giulio NazziconeDipartimento di Ingegneria e Scienze dell'Informazione eMatematica
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
VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 3 at Amphitheater 44
Chair(s): Andreas PodelskiUniversity of Freiburg, Germany
VMCAI-2017-papers148464000000009:00 - 10:00
Talk
Jasmin FisherMicrosoft Research
pps-2017
09:00 - 10:00: PPS - Session 1 at Salle 105, Barre 44-54
Chair(s): Cameron FreerGamalon and Borelian
pps-2017148464000000009:00 - 10:00
Talk
PLMW-2017
09:00 - 10:00: PLMW - Session I at Salle 107, Barre 44-54
PLMW-2017148464000000009:00 - 09:30
Talk
Kathleen FisherTufts University
File Attached
PLMW-2017148464180000009:30 - 10:00
Talk
Isil DilligUT Austin
File Attached
pepm-workshop
09:00 - 10:00: PEPM 2017 - Tutorial: reversible computing at Salle 109, Barre 44-54
Chair(s): Ulrik SchultzUniversity of Southern Denmark
pepm-workshop148464000000009:00 - 10:00
Talk
POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148464360000010:00 - 10:30
Coffee break
VMCAI-2017-papers
10:30 - 12:00: VMCAI - Model Checking and Synthesis at Amphitheater 44
Chair(s): Ahmed BouajjaniIRIF, Université Paris Diderot
VMCAI-2017-papers148464540000010:30 - 11:00
Talk
Anca MuschollUniversité de Bordeaux / LaBRI, Helmut SeidlTechnische Universität München, Igor WalukiewiczCNRS, LaBRI
VMCAI-2017-papers148464720000011:00 - 11:30
Talk
Roderick BloemInstitute of Software Technology, Graz University of Technology , Hana Chockler, Masoud EbrahimiInstitute of Applied Information Processing and Communications, Graz University of Technology, Ofer StrichmanTechnion
File Attached
VMCAI-2017-papers148464900000011:30 - 12:00
Talk
Dejan JovanovićSRI International
PADL-2017
10:30 - 12:00: PADL - Programming Languages at Salle 116, Barre 44-54
PADL-2017148464540000010:30 - 11:00
Talk
Sergio AntoyKiel University, Michael HanusKiel University
PADL-2017148464720000011:00 - 11:30
Talk
Neng-Fa ZhouCUNY Brooklyn College and Graduate Center, Jonathan FruhmanCUNY Brooklyn College
PADL-2017148464900000011:30 - 12:00
Talk
Besik DunduaInstitute of Applied Mathematics, Tbilisi State University, Temur Kutsia, Klaus Reisenberger-HagmayerJohannes Kepler University Linz
pps-2017
10:30 - 12:00: PPS - Session 2 at Salle 105, Barre 44-54
Chair(s): Chad ScherrerGalois, Inc.
pps-2017148464540000010:30 - 10:50
Talk
Daniel HuangHarvard University, Greg MorrisettCornell University
pps-2017148464660000010:50 - 11:00
Meeting
pps-2017148464720000011:00 - 11:20
Talk
pps-2017148464840000011:20 - 11:30
Meeting
pps-2017148464900000011:30 - 11:50
Talk
Adam ŚcibiorUniversity of Cambridge, Yufei CaiUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany, Zoubin GhahramaniUniversity of Cambridge
pps-2017148465020000011:50 - 12:00
Meeting
PLMW-2017
10:30 - 12:00: PLMW - Session II at Salle 107, Barre 44-54
PLMW-2017148464540000010:30 - 11:00
Talk
Michael HicksUniversity of Maryland at College Park, USA
File Attached
PLMW-2017148464720000011:00 - 11:30
Talk
Brigitte PientkaMcGill University
File Attached
PLMW-2017148464900000011:30 - 12:00
Talk
Nikhil SwamyMicrosoft Research
File Attached
pepm-workshop
10:30 - 12:00: PEPM 2017 - Types at Salle 109, Barre 44-54
Chair(s): Robert Glück
pepm-workshop148464540000010:30 - 11:00
Talk
Levin FritzUtrecht University, Jurriaan HageUtrecht University
pepm-workshop148464720000011:00 - 11:30
Talk
Ivo Gabe de WolffUtrecht University, Jurriaan HageUtrecht University
pepm-workshop148464900000011:30 - 12:00
Talk
Markus KlinikRadboud University Nijmegen, Jurriaan HageUtrecht University, Jan Martin JansenNetherlands Defence Academy, Rinus PlasmeijerRadboud University Nijmegen
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
POPL-2017-catering
12:00 - 14:00: Catering - Buffet at Catering area
POPL-2017-catering148465080000012:00 - 14:00
Lunch
VMCAI-2017-papers
14:00 - 15:30: VMCAI - Abstract Interpretation at Amphitheater 44
Chair(s): Roberto GiacobazziUniversity of Verona, Italy
VMCAI-2017-papers148465800000014:00 - 14:30
Talk
Vijay D'SilvaGoogle, Marcelo SousaUniversity of Oxford
VMCAI-2017-papers148465980000014:30 - 15:00
Talk
David BühlerCEA LIST, Boris YakobowskiCEA - LIST, Sandrine BlazyUniversity of Rennes 1, France
Media Attached
VMCAI-2017-papers148466160000015:00 - 15:30
Talk
Mooly SagivTel Aviv University, Or OzeriTel Aviv university, Oded PadonTel Aviv University, Noam RinetzkyTel Aviv University
Media Attached
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
pps-2017
14:00 - 15:30: PPS - Session 3 at Salle 105, Barre 44-54
Chair(s): Sam StatonUniversity of Oxford
pps-2017148465800000014:00 - 14:20
Talk
Paul Blain Levy, Nathan BowlerUniversität Hamburg
pps-2017148465920000014:20 - 14:30
Meeting
pps-2017148465980000014:30 - 14:50
Talk
Ilias GarnierUniversity of Edinburgh, Fredrik DahlqvistUniversity College London, Florence ClercMcGill University, Vincent DanosENS Paris/CNRS
pps-2017148466100000014:50 - 15:00
Meeting
pps-2017148466160000015:00 - 15:20
Talk
Benjamin Lucien KaminskiRWTH Aachen University, Joost-Pieter KatoenRWTH Aachen University
pps-2017148466280000015:20 - 15:30
Meeting
PLMW-2017
14:00 - 15:30: PLMW - Session III at Salle 107, Barre 44-54
PLMW-2017148465800000014:00 - 15:00
Talk
Eva DarulovaMPI-SWS, Loris D'AntoniUniversity of Wisconsin–Madison, Alexandra SilvaUniversity College London, Dimitrios VytiniotisMicrosoft Research, Cambridge
PLMW-2017148466160000015:00 - 15:30
Talk
File Attached
pepm-workshop
14:00 - 15:30: PEPM 2017 - Tutorial: Partial Evaluation for Language Implementation at Salle 109, Barre 44-54
Chair(s): Jeremy YallopUniversity of Cambridge, UK
pepm-workshop148465800000014:00 - 15:30
Talk
POPL-2017-catering
15:30 - 16:00: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148466340000015:30 - 16:00
Coffee break
pps-2017
15:30 - 16:30: PPS - Poster Session at Salle 105, Barre 44-54
pps-2017148466340000015:30 - 16:30
Meeting
Alexander VandenbrouckeKU Leuven, Belgium, Tom SchrijversKU Leuven
pps-2017148466340000015:30 - 16:30
Meeting
Marco Cusumano-TownerMIT-CSAIL, Vikash MansinghkaMassachusetts Institute of Technology
pps-2017148466340000015:30 - 16:30
Meeting
Siddharth SrivastavaUTRC Berkeley, Nicholas HayVicarious, Yi WUUC Berkeley, Stuart RussellUniversity of California, Berkeley
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
Chandrakana NandiUniversity of Washington, USA, Adrian SampsonCornell University, Dan GrossmanUniversity of Washington, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research
pps-2017148466340000015:30 - 16:30
Meeting
Nathanael L. AckermanHarvard University, Jeremy AvigadCarnegie Mellon University, Cameron FreerGamalon and Borelian, Daniel Roy, Jason M. RutePennsylvania State University
pps-2017148466340000015:30 - 16:30
Meeting
Angelika KimmigKU Leuven, Luc De RaedtKU Leuven
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
Long OuyangStanford University
pps-2017148466340000015:30 - 16:30
Meeting
Robert CornishUniversity of Oxford, Frank WoodUniversity of Oxford, Hongseok YangUniversity of Oxford
VMCAI-2017-papers
16:00 - 17:30: VMCAI - Concurrency 2 at Amphitheater 44
Chair(s): David MonniauxCNRS, VERIMAG
VMCAI-2017-papers148466520000016:00 - 16:30
Talk
Pietro FerraraIBM Research, Omer TrippIBM Thomas J. Watson Research Center, Peng LiuPurdue University, Eric KoskinenYale University
VMCAI-2017-papers148466700000016:30 - 17:00
Talk
Suvam MukherjeeIndian Institute of Science, Arunkumar SIndian Institute of Science, Deepak D'Souza
VMCAI-2017-papers148466880000017:00 - 17:30
Talk
Raphaël MonatEcole Normale Supérieure de Lyon, Antoine MinéUPMC, France
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
PLMW-2017
16:00 - 18:00: PLMW - Session IV at Salle 107, Barre 44-54
PLMW-2017148466520000016:00 - 16:30
Talk
Martin VechevETH Zurich
File Attached
PLMW-2017148466700000016:30 - 17:00
Talk
Benjamin C. PierceUniversity of Pennsylvania
File Attached
PLMW-2017148466880000017:00 - 18:00
Talk
Roopsha SamantaPurdue University, Nada AminEPFL, Jonathan ProtzenkoMicrosoft Research, Zachary KincaidPrinceton University
pepm-workshop
16:00 - 17:00: PEPM 2017 - Transformation (part II) at Salle 109, Barre 44-54
Chair(s): Jurriaan HageUtrecht University
pepm-workshop148466520000016:00 - 16:30
Talk
Tiark RompfPurdue University, Kevin J. BrownStanford University
pepm-workshop148466700000016:30 - 17:00
Talk
Kazutaka Matsuda, Kazuyuki AsadaUniversity of Tokyo
pps-2017
16:30 - 18:00: PPS - Session 5 at Salle 105, Barre 44-54
Chair(s): Chung-chieh ShanIndiana University, USA
pps-2017148466700000016:30 - 16:50
Talk
Chad ScherrerGalois, Inc.
pps-2017148466820000016:50 - 17:00
Meeting
pps-2017148466880000017:00 - 17:20
Talk
pps-2017148467000000017:20 - 17:30
Meeting
pps-2017148467060000017:30 - 17:50
Talk
Sam StatonUniversity of Oxford, Hongseok YangUniversity of Oxford, Nathanael L. AckermanHarvard University, Cameron FreerGamalon and Borelian, Daniel Roy
pps-2017148467180000017:50 - 18:00
Meeting
pps-2017
18:15 - 19:15: PPS - Session 6 at Salle 105, Barre 44-54
Chair(s): Hongseok YangUniversity of Oxford
pps-2017148467330000018:15 - 18:35
Talk
Ernie CohenAmazon Web Services
pps-2017148467450000018:35 - 18:45
Meeting
pps-2017148467510000018:45 - 19:05
Talk
Edwin WestbrookGalois, Inc., Chad ScherrerGalois, Inc., Nathan CollinsGalois, Inc., Eric MertensGalois, Inc.
pps-2017148467630000019:05 - 19:15
Meeting

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-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148473000000010:00 - 10:30
Coffee break
POPL-2017-papers
10:30 - 12:10: POPL - Abstract Interpretation at Amphitheater 44
Chair(s): Isabella MastroeniUniversity of Verona, Italy
POPL-2017-papers148473180000010:30 - 10:55
Talk
Jade AlglaveUniversity College London, Patrick CousotNew York University
POPL-2017-papers148473330000010:55 - 11:20
Talk
Kimball GermaneUniversity of Utah, Matthew MightUniversity of Utah; Harvard Medical School; The White House
POPL-2017-papers148473480000011:20 - 11:45
Talk
Huisong LiINRIA/CNRS/ENS/PSL*, François BérengerINRIA/CNRS/ENS/PSL*, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Xavier RivalINRIA/CNRS/ENS Paris
POPL-2017-papers148473630000011:45 - 12:10
Talk
Gagandeep SinghETH Zurich, Switzerland, Markus PüschelETH Zurich, Martin VechevETH Zurich
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-catering
12:10 - 14:20: Catering - Buffet at Catering area
POPL-2017-catering148473780000012:10 - 14:20
Lunch
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
14:20 - 16:00: POPL - Probabilistic Programming at Amphitheater 44
Chair(s): Marco GaboardiSUNY Buffalo, USA
POPL-2017-papers148474560000014:20 - 14:45
Talk
Leonidas LampropoulosUniversity of Pennsylvania, Diane Gallois-WongInria Paris, ENS Paris, Cătălin HriţcuInria Paris, John HughesChalmers University of Technology, Benjamin C. PierceUniversity of Pennsylvania, Li-yao XiaENS Paris
Pre-print
POPL-2017-papers148474710000014:45 - 15:10
Talk
Chung-chieh ShanIndiana University, USA, Norman Ramsey
Pre-print
POPL-2017-papers148474860000015:10 - 15:35
Talk
Krishnendu ChatterjeeIST Austria, Petr NovotnyIST Austria, Djordje ZikelicUniversity of Cambridge
POPL-2017-papers148475010000015:35 - 16:00
Talk
POPL-2017-catering
16:00 - 16:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148475160000016:00 - 16:30
Coffee break
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
POPL-2017-papers
16:30 - 17:45: POPL - Logic at Amphitheater 44
Chair(s): Alexandra SilvaUniversity College London
POPL-2017-papers148475340000016:30 - 16:55
Talk
Loris D'AntoniUniversity of Wisconsin–Madison, Margus VeanesMicrosoft Research
POPL-2017-papers148475490000016:55 - 17:20
Talk
Naoki KobayashiUniversity of Tokyo, Japan, Etienne LozesENS Cachan, Florian BruseUniversity of Kassel
POPL-2017-papers148475640000017:20 - 17:45
Talk
Simon RobillardChalmers University of Technology, Andrei VoronkovUniversity of Manchester, Laura KovacsChalmers University of Technology
POPL-2017-catering
19:30 - 23:00: Catering - Social dinner at Musée des Arts Forains
POPL-2017-catering148476420000019:30 - 23:00
Dinner

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-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148481640000010:00 - 10:30
Coffee break
POPL-2017-papers
10:30 - 12:10: POPL - Program Analysis at Amphitheater 44
Chair(s): Francesco LogozzoFacebook
POPL-2017-papers148481820000010:30 - 10:55
Talk
Ezgi ÇiçekMPI-SWS, Germany, Gilles BartheIMDEA, Marco GaboardiSUNY Buffalo, USA, Deepak GargMPI-SWS, Germany, Jan HoffmannCarnegie Mellon University
POPL-2017-papers148481970000010:55 - 11:20
Talk
Ravichandhran MadhavanEPFL, Sumith KulalIIT Bombay, Viktor KuncakEPFL, Switzerland
POPL-2017-papers148482120000011:20 - 11:45
Talk
Qirun ZhangUniversity of California, Davis, Zhendong SuUniversity of California, Davis
POPL-2017-papers148482270000011:45 - 12:10
Talk
Jan HoffmannCarnegie Mellon University, Ankush DasCarnegie Mellon University, Shu-Chun WengYale University
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-catering
12:10 - 14:20: Catering - Buffet at Catering area
POPL-2017-catering148482420000012:10 - 14:20
Lunch
POPL-2017-papers
14:20 - 16:00: POPL - Concurrency 2 at Amphitheater 44
Chair(s): Nobuko YoshidaImperial College London, UK
POPL-2017-papers148483200000014:20 - 14:45
Talk
Shaked FlurUniversity of Cambridge, Susmit SarkarUniversity of St. Andrews, UK, Christopher PulteUniversity of Cambridge, Kyndylan NienhuisUniversity of Cambridge, Luc MarangetINRIA Rocquencourt, Kathryn E. GrayUniversity of Cambridge, Ali SezginUniversity of Cambridge, Mark BattyUniversity of Kent, Peter SewellUniversity of Cambridge
POPL-2017-papers148483350000014:45 - 15:10
Talk
Christopher LidburyImperial College London, Alastair DonaldsonImperial College London
POPL-2017-papers148483500000015:10 - 15:35
Talk
Lucas BrutschyETH Zurich, Dimitar DimitrovETH Zurich, Switzerland, Peter MüllerETH Zurich, Martin VechevETH Zurich
Pre-print
POPL-2017-papers148483650000015:35 - 16:00
Talk
Jochen HoenickeUniversität Freiburg, Rupak MajumdarMPI-SWS, Andreas PodelskiUniversity of Freiburg, Germany
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-catering
16:00 - 16:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148483800000016:00 - 16:30
Coffee break
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
16:30 - 17:20: POPL - Semantic Foundations at Amphitheater 44
Chair(s): Lars BirkedalAarhus University
POPL-2017-papers148483980000016:30 - 16:55
Talk
Arthur Azevedo de AmorimUniversity of Pennsylvania, USA, Ikram CheriguiENS Paris, Marco GaboardiSUNY Buffalo, USA, Justin Hsu, Shin-ya KatsumataKyoto University
POPL-2017-papers148484130000016:55 - 17:20
Talk
Steffen SmolkaCornell University, Praveen KumarCornell University, Nate FosterCornell University, Dexter KozenCornell University, Alexandra SilvaUniversity College London
DOI File Attached
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
POPL-2017-src
18:20 - 20:20: Student Research Competition - Poster Session at Auditorium Hall
Chair(s): Qirun ZhangUniversity of California, Davis, Matteo CiminiIndiana University, USA, Julien SignolesCEA LIST, Kim NguyễnLRI, Université Paris-Sud
POPL-2017-src148484640000018:20 - 18:30
Demonstration
Nicholas RiouxNortheastern University
POPL-2017-src148484700000018:30 - 18:40
Demonstration
Max S. NewNortheastern University
POPL-2017-src148484760000018:40 - 18:50
Demonstration
Daniel PattersonNortheastern University
POPL-2017-src148484820000018:50 - 19:00
Demonstration
Li-yao XiaENS Paris
POPL-2017-src148484880000019:00 - 19:10
Demonstration
Victor LanvinENS Paris-Saclay
POPL-2017-src148484940000019:10 - 19:20
Demonstration
Ahmad Salim Al-SibahiIT University of Copenhagen, Denmark
POPL-2017-src148485000000019:20 - 19:30
Demonstration
Samuel DrewsUniversity of Wisconsin-Madison
POPL-2017-src148485060000019:30 - 19:40
Demonstration
William J. BowmanNortheastern University
POPL-2017-src148485120000019:40 - 19:50
Demonstration
Anton XueYale University
POPL-2017-src148485180000019:50 - 20:00
Demonstration
Sunbeom SoKorea University
POPL-2017-src148485240000020:00 - 20:10
Demonstration
Weili FuUniversity of Edinburgh
POPL-2017-src148485300000020:10 - 20:20
Demonstration
Yuu IgarashiKyoto University

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-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148490280000010:00 - 10:30
Coffee break
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
10:30 - 12:10: POPL - Verification and Synthesis at Amphitheater 44
Chair(s): Benjamin DelawarePurdue University
POPL-2017-papers148490460000010:30 - 10:55
Talk
Yu FengUniversity of Texas at Austin, USA, Ruben Martins, Yuepeng WangUniversity of Texas at Austin, Isil DilligUT Austin, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
POPL-2017-papers148490610000010:55 - 11:20
Talk
Joshua MoermanRadboud University, Matteo SammartinoUniversity College London, Alexandra SilvaUniversity College London, Bartek KlinUniversity of Warsaw, Michał SzynwelskiUniversity of Warsaw
POPL-2017-papers148490760000011:20 - 11:45
Talk
Ahmed BouajjaniIRIF, Université Paris Diderot, Constantin EneaLIAFA, Université Paris Diderot, Rachid Guerraoui, Jad HamzaLIAFA, Université Paris Diderot
POPL-2017-papers148490910000011:45 - 12:10
Talk
Akhilesh SrikanthGeorgia Institute of Technology, Burak SahinGeorgia Institute of Technology, William Harris
POPL-2017-catering
12:10 - 14:20: Catering - Buffet at Catering area
POPL-2017-catering148491060000012:10 - 14:20
Lunch
POPL-2017-papers
14:20 - 16:00: POPL - Concurrency 3 at Amphitheater 44
Chair(s): Adam ChlipalaMIT
POPL-2017-papers148491840000014:20 - 14:45
Talk
Ananya Kumar, Guy E. BlellochCarnegie Mellon University, Robert Harper
POPL-2017-papers148491990000014:45 - 15:10
Talk
Igor KonnovTU Wien, Marijana LazićTU Wien, Helmut VeithTU Wien, Josef WidderTU Wien
DOI Pre-print
POPL-2017-papers148492140000015:10 - 15:35
Talk
Xinxin LiuInstitute of software, Chinese academy of sciences, Tingting Yu, Wenhui ZhangInstitute of software, Chinese academy of sciences
POPL-2017-papers148492290000015:35 - 16:00
Talk
Julien LangeImperial College London, Nicholas NgImperial College London, Bernardo ToninhoImperial College London, Nobuko YoshidaImperial College London, UK
Pre-print
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-catering
16:00 - 16:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148492440000016:00 - 16:30
Coffee break
POPL-2017-papers
16:30 - 17:45: POPL - Quantum at Amphitheater 44
Chair(s): Michele PaganiIRIF, Université Paris Diderot
POPL-2017-papers148492620000016:30 - 16:55
Talk
Mingsheng YingUniversity of Technology Sydney, Australia, Shenggang YingUniversity of Technology Sydney, Australia, Xiaodi WuUniversity of Oregon, USA
POPL-2017-papers148492770000016:55 - 17:20
Talk
Ugo Dal LagoUniversity of Bologna, France, Claudia Faggian, Benoit ValironLRI, CentraleSupelec, Univ. Paris Saclay, Akira YoshimizuUniv.Tokyo
POPL-2017-papers148492920000017:20 - 17:45
Talk
Jennifer Paykin, Robert RandUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
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

N40AI
08:45 - 09:00: Next 40 years of Abstract Interpretation - Opening at Amphitheater 44
Chair(s): Roberto GiacobazziUniversity of Verona, Italy
N40AI148498470000008:45 - 09:00
Day opening
PiP-2017
08:55 - 09:00: PiP 2017 - Welcome at Salle 105, Barre 44-54
PiP-2017148498530000008:55 - 09:00
Talk
N40AI
09:00 - 10:00: Next 40 years of Abstract Interpretation - Industrial Panel 1 at Amphitheater 44
Chair(s): Antoine MinéUPMC, France
N40AI148498560000009:00 - 09:30
Talk
N40AI148498740000009:30 - 10:00
Talk
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
PiP-2017
09:00 - 10:00: PiP 2017 - Session 1 at Salle 105, Barre 44-54
PiP-2017148498560000009:00 - 09:30
Talk
PiP-2017148498740000009:30 - 10:00
Talk
RDP-2017
09:00 - 10:00: RDP - Session I at Salle 107, Barre 44-54
Chair(s): Victor VianuUC San Diego
RDP-2017148498560000009:00 - 09:15
Talk
Nate FosterCornell University, Mooly SagivTel Aviv University, Victor VianuUC San Diego
RDP-2017148498650000009:15 - 10:00
Talk
OBT-2017
09:00 - 10:00: OBT - Session One at Salle 109, Barre 44-54
OBT-2017148498560000009:00 - 10:00
Talk
Moa JohanssonChalmers University of Technology
POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148498920000010:00 - 10:30
Coffee break
N40AI
10:30 - 12:00: Next 40 years of Abstract Interpretation - Industrial Panel 2 & Systems Biology at Amphitheater 44
Chair(s): Jerome FeretINRIA Paris
N40AI148499100000010:30 - 11:00
Talk
N40AI148499280000011:00 - 11:30
Talk
Aaron TombGalois, Inc.
N40AI148499460000011:30 - 12:00
Talk
Vincent DanosENS Paris/CNRS
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
RDP-2017
10:30 - 12:00: RDP - Session II at Salle 107, Barre 44-54
Chair(s): Mooly SagivTel Aviv University
RDP-2017148499100000010:30 - 11:00
Talk
Takaaki TateishiIBM Research - Tokyo
RDP-2017148499280000011:00 - 11:30
Talk
RDP-2017148499460000011:30 - 12:00
Talk
OBT-2017
10:30 - 12:10: OBT - Session Two at Salle 109, Barre 44-54
OBT-2017148499100000010:30 - 10:55
Talk
Dan GhicaUniversity of Birmingham, Khulood Alyahya, Victor Patentasu
File Attached
OBT-2017148499250000010:55 - 11:20
Talk
Ugo Dal LagoUniversity of Bologna, France
File Attached
OBT-2017148499400000011:20 - 11:45
Talk
File Attached
OBT-2017148499550000011:45 - 12:10
Talk
Michael GreenbergPomona College
File Attached
POPL-2017-catering
12:00 - 14:00: Catering - Buffet at Catering area
POPL-2017-catering148499640000012:00 - 14:00
Lunch
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
N40AI
14:00 - 15:30: Next 40 years of Abstract Interpretation - Security, Big Code and Synthesis at Amphitheater 44
Chair(s): Xavier RivalINRIA/CNRS/ENS Paris
N40AI148500360000014:00 - 14:30
Talk
Michael HicksUniversity of Maryland at College Park, USA
N40AI148500540000014:30 - 15:00
Talk
Bor-Yuh Evan ChangUniversity of Colorado Boulder
N40AI148500720000015:00 - 15:30
Talk
Eran YahavTechnion
RDP-2017
14:00 - 15:30: RDP - Session III at Salle 107, Barre 44-54
Chair(s): Nate FosterCornell University
RDP-2017148500360000014:00 - 14:45
Talk
Aws AlbarghouthiUniversity of Wisconsin - Madison
RDP-2017148500630000014:45 - 15:30
Talk
Alvin CheungUniversity of Washington
OBT-2017
14:00 - 15:25: OBT - Session Three at Salle 109, Barre 44-54
OBT-2017148500360000014:00 - 15:00
Talk
Alan BlackwellUniversity of Cambridge
OBT-2017148500720000015:00 - 15:25
Talk
File Attached
POPL-2017-catering
15:30 - 16:00: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148500900000015:30 - 16:00
Coffee break
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
PiP-2017
16:00 - 18:00: PiP 2017 - Session 4 at Salle 105, Barre 44-54
PiP-2017148501080000016:00 - 16:30
Talk
PiP-2017148501260000016:30 - 17:30
Talk
OBT-2017
16:00 - 18:05: OBT - Session Four at Salle 109, Barre 44-54
OBT-2017148501080000016:00 - 16:25
Talk
Katherine Ye, Keenan Crane, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
File Attached
OBT-2017148501230000016:25 - 16:50
Talk
File Attached
OBT-2017148501380000016:50 - 17:15
Talk
Markus Eger, Chris MartensCarnegie Mellon University
File Attached
OBT-2017148501530000017:15 - 17:40
Talk
Marco GaboardiSUNY Buffalo, USA
File Attached
OBT-2017148501680000017:40 - 18:05
Talk
Ian VoyseyCarnegie Mellon University, Cyrus OmarCarnegie Mellon University, Matthew HammerUniversity of Colorado, Boulder
File Attached
RDP-2017
16:00 - 18:00: RDP - Session IV at Salle 107, Barre 44-54
Chair(s): Victor VianuUC San Diego
RDP-2017148501080000016:00 - 16:30
Talk
RDP-2017148501260000016:30 - 17:00
Talk
Kathleen FisherTufts University
RDP-2017148501440000017:00 - 17:30
Talk
RDP-2017148501620000017:30 - 18:00
Talk
Nate FosterCornell University, Victor VianuUC San Diego, Mooly SagivTel Aviv University
N40AI
16:00 - 18:30: Next 40 years of Abstract Interpretation - System Verification and Patrick Cousot's Keynote at Amphitheater 44
Chair(s): Francesco RanzatoUniversity of Padova
N40AI148501080000016:00 - 16:30
Talk
Arie GurfinkelUniversity of Waterloo
N40AI148501260000016:30 - 17:45
Talk
Patrick CousotNew York University
N40AI148501710000017:45 - 18:30
Social Event
main
19:00 - 21:00: CoqPL 2017 - Social Event at CoqPL-social-event-room
main148502160000019:00 - 21:00
Social Event

Sun 15 Jan 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Amphitheater 44
09:00 - 10:00
14:00 - 15:30
Catering area
12:00 - 14:00
Salle 105, Barre 44-54
Salle 109, Barre 44-54
09:15 - 10:00
10:30 - 12:00
14:00 - 15:30
16:00 - 17:30

Wed 18 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Amphitheater 44
16:30 - 17:45
Auditorium
09:00 - 09:05
09:05 - 10:00
10:30 - 12:10
14:20 - 16:00
Auditorium Hall
Catering area
12:10 - 14:20
Musée des Arts Forains

Thu 19 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Amphitheater 44
14:20 - 16:00
Auditorium
09:15 - 10:00
10:30 - 12:10
Auditorium Hall
Catering area
12:10 - 14:20

Fri 20 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44
14:20 - 16:00
16:30 - 17:45
Auditorium