Write a Blog >>
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 17 Jan

VMCAI-2016-papers
08:50 - 09:00: VMCAI - Welcome at Room St Petersburg I
Chair(s): K. Rustan M. LeinoMicrosoft Research
VMCAI-2016-papers
09:00 - 10:00: VMCAI - Invited Talk I at Room St Petersburg I
Chair(s): Sharon Shoham
VMCAI-2016-papers09:00 - 10:00
Talk
Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
VMCAI-2016-papers
10:30 - 12:00: VMCAI - Abstract Interpretation at Room St Petersburg I
Chair(s): Peter MüllerETH Zurich
VMCAI-2016-papers10:30 - 11:00
Talk
VMCAI-2016-papers11:00 - 11:30
Talk
Alexander Bakst, Ranjit JhalaUniversity of California, San Diego
VMCAI-2016-papers11:30 - 12:00
Talk
VMCAI-2016-papers
16:00 - 17:00: VMCAI - Abstraction II at Room St Petersburg I
Chair(s): David Pichardie
VMCAI-2016-papers16:00 - 16:30
Talk
VMCAI-2016-papers16:30 - 17:00
Talk

Mon 18 Jan

pepm-2016-invited
08:30 - 10:00: Invited Talks - Invited talks 0 & 1 at Room Demens
pepm-2016-invited08:30 - 09:15
Talk
Martin VechevETH Zurich
pepm-2016-invited09:15 - 10:00
Talk
Sam Tobin-HochstadtIndiana University
POPL-2016-tutorials
08:30 - 10:00: Tutorials - T1: An Introduction to Redex with Abstracting Abstract Machines at Room HTC 1
POPL-2016-tutorials08:30 - 10:00
Talk
David Van HornUniversity of Maryland, College Park
Link to publication
POPL-2016-tutorials
08:30 - 10:00: Tutorials - T3: Syntax-Guided Synthesis (SyGuS) at Room HTC 2
POPL-2016-tutorials08:30 - 10:00
Talk
Rajeev AlurUniversity of Pennsylvania, Dana FismanUniversity of Pennsylvania, Rishabh SinghMicrosoft Research, Armando Solar-LezamaMIT
Link to publication
POPL-2016-tutorials
08:30 - 10:00: Tutorials - T5: Higher-Order Model Checking at Room HTC 3
POPL-2016-tutorials08:30 - 10:00
Talk
Naoki KobayashiUniversity of Tokyo, C.-H. Luke OngUniversity of Oxford, UK
PADL-2016-papers
08:45 - 09:00: PADL - Welcome at Room Bayboro
Chair(s): John ReppyUniversity of Chicago
PADL-2016-papers
09:00 - 10:00: PADL - Invited Talk at Room Bayboro
PADL-2016-papers09:00 - 10:00
Talk
Ravi ChughUniversity of Chicago
VMCAI-2016-papers
09:00 - 10:00: VMCAI - Invited Talk II at Room St Petersburg I
Chair(s): K. Rustan M. LeinoMicrosoft Research
VMCAI-2016-papers09:00 - 10:00
Talk
Bryan ParnoMicrosoft Research
CPP-2016-main
09:00 - 10:00: CPP - Session 1: Invited talk by Harvey Friedman at Room St Petersburg II
CPP-2016-main09:00 - 10:00
Talk
Harvey FriedmanOhio State University
PADL-2016-papers
10:30 - 12:00: PADL - Functional Programming I at Room Bayboro
PADL-2016-papers10:30 - 11:00
Talk
Jacques CaretteMcMaster University, Chung-chieh ShanIndiana University
PADL-2016-papers11:00 - 11:30
Talk
Mark GrebeUniversity of Kansas, Andy GillUniversity of Kansas
PADL-2016-papers11:30 - 12:00
Talk
Niki VazouUC San Diego, Daan LeijenMicrosoft Research
VMCAI-2016-papers
10:30 - 12:00: VMCAI - Hybrid and Timed Systems at Room St Petersburg I
Chair(s): David MonniauxCNRS, VERIMAG
VMCAI-2016-papers10:30 - 11:00
Talk
Kengo Kido, Swarat ChaudhuriRice University, Ichiro HasuoUniversity of Tokyo
VMCAI-2016-papers11:00 - 11:30
Talk
Thomas A. HenzingerIST Austria, Jan OtopUniversity of Wrocław, Roopsha SamantaIST Austria
VMCAI-2016-papers11:30 - 12:00
Talk
pepm-2016-invited
10:30 - 12:00: Invited Talks - Invited talks 2 & 3 at Room Demens
pepm-2016-invited10:30 - 11:15
Talk
Kathleen FisherTufts University
pepm-2016-invited11:15 - 12:00
Talk
Sebastian ErdwegTU Darmstadt, Germany
POPL-2016-tutorials
10:30 - 12:00: Tutorials - T2: Declare Your Language: Part 1 at Room HTC 1
POPL-2016-tutorials10:30 - 12:00
Talk
Eelco VisserDelft University of Technology
POPL-2016-tutorials
10:30 - 12:00: Tutorials - T3: Syntax-Guided Synthesis (SyGuS) at Room HTC 2
POPL-2016-tutorials10:30 - 12:00
Talk
Rajeev AlurUniversity of Pennsylvania, Dana FismanUniversity of Pennsylvania, Rishabh SinghMicrosoft Research, Armando Solar-LezamaMIT
Link to publication
POPL-2016-tutorials
10:30 - 12:00: Tutorials - T4: Programs and Proofs in the Coq Proof Assistant at Room HTC 3
POPL-2016-tutorials10:30 - 12:00
Talk
Robert RandUniversity of Pennsylvania, Arthur Azevedo de AmorimUniversity of Pennsylvania
Link to publication
POPL-2016-tutorials
10:30 - 12:00: Tutorials - T6: Security and Privacy by Typing in Cryptographic Systems at Room HTC 4
POPL-2016-tutorials10:30 - 12:00
Talk
Matteo MaffeiSaarland University
POPL-2016-tutorials
14:00 - 15:30: Tutorials - T6: Security and Privacy by Typing in Cryptographic Systems at Room HTC 4
POPL-2016-tutorials14:00 - 15:30
Talk
Matteo MaffeiSaarland University
PADL-2016-papers
14:00 - 15:30: PADL - Constraints at Room Bayboro
PADL-2016-papers14:00 - 14:30
Talk
Agostino DovierUniversity of Udine, Andrea FormisanoUniversità di Perugia , Enrico PontelliNew Mexico State University, Flavio VellaSapienza University of Rome, Italy
PADL-2016-papers14:30 - 15:00
Talk
Jan JelínekCharles University in Prague, Roman BartákCharles University in Prague
PADL-2016-papers15:00 - 15:30
Talk
Neng-Fa ZhouCUNY Brooklyn College and Graduate Center, Håkan KjellerstrandCUNY Brooklyn College and Graduate Center
VMCAI-2016-papers
14:00 - 15:30: VMCAI - Dynamic and Static Verification at Room St Petersburg I
Chair(s): Aarti GuptaPrinceton University
VMCAI-2016-papers14:00 - 14:30
Talk
Pavel ParizekCharles University in Prague
VMCAI-2016-papers14:30 - 15:00
Talk
VMCAI-2016-papers15:00 - 15:30
Talk
pepm-2016-invited
14:00 - 15:30: Invited Talks - Invited talks 4 & 5 at Room Demens
pepm-2016-invited14:00 - 14:45
Talk
Rastislav BodikUniversity of Washington, USA
pepm-2016-invited14:45 - 15:30
Talk
CPP-2016-main
14:00 - 15:30: CPP - Session 3: Design and Implementation of Theorem Provers at Room St Petersburg II
CPP-2016-main14:00 - 14:30
Talk
Evgenii KotelnikovChalmers University of Technology, Laura KovacsChalmers University of Technology, Giles RegerUniversity of Manchester, Andrei VoronkovUniversity of Manchester
CPP-2016-main14:30 - 15:00
Talk
Lukasz CzajkaUniversity of Innsbruck
CPP-2016-main15:00 - 15:30
Talk
Cezary KaliszykUniversity of Innsbruck, Karol PąkUniversity of Bialystok, Institute of Computer Science, Josef Urban
POPL-2016-tutorials
14:00 - 15:30: Tutorials - T1: An Introduction to Redex with Abstracting Abstract Machines at Room HTC 1
POPL-2016-tutorials14:00 - 15:30
Talk
David Van HornUniversity of Maryland, College Park
Link to publication
POPL-2016-tutorials
14:00 - 15:30: Tutorials - T4: Programs and Proofs in the Coq Proof Assistant at Room HTC 3
POPL-2016-tutorials14:00 - 15:30
Talk
Robert RandUniversity of Pennsylvania, Arthur Azevedo de AmorimUniversity of Pennsylvania
Link to publication
POPL-2016-tutorials
14:00 - 15:30: Tutorials - T7: Trace-based Synchronization Synthesis for Concurrent Programs at Room HTC 2
POPL-2016-tutorials14:00 - 15:30
Talk
Arjun RadhakrishnaMicrosoft, Roopsha SamantaIST Austria
pepm-2016-invited
16:00 - 17:30: Invited Talks - Invited talks 6 & 7 at Room Demens
pepm-2016-invited16:00 - 16:45
Talk
pepm-2016-invited16:45 - 17:30
Talk
William E. ByrdUniversity of Utah
PADL-2016-papers
16:00 - 17:00: PADL - Logic Programming at Room Bayboro
PADL-2016-papers16:00 - 16:30
Talk
Pieter Van HertumKU Leuven, Ingmar DassevilleKU Leuven, Gerda JanssensKU Leuven, Marc DeneckerKU Leuven
PADL-2016-papers16:30 - 17:00
Talk
Sergio AntoyKiel University, Michael HanusKiel University
CPP-2016-main
16:00 - 18:00: CPP - Session 4: Mathematics at Room St Petersburg II
CPP-2016-main16:00 - 16:30
Talk
Wenda LiUniversity of Cambridge, Lawrence PaulsonCambridge University
CPP-2016-main16:30 - 17:00
Talk
Sophie BernardINRIA, Yves BertotINRIA, Laurence RideauINRIA, Pierre-Yves StrubIMDEA Software Institute
CPP-2016-main17:00 - 17:30
Talk
René ThiemannUniversity of Innsbruck, Akihisa Yamada
CPP-2016-main17:30 - 18:00
Talk
POPL-2016-tutorials
16:00 - 17:30: Tutorials - T2: Declare Your Language: Part 2 at Room HTC 1
POPL-2016-tutorials16:00 - 17:30
Talk
Eelco VisserDelft University of Technology
Link to publication DOI Media Attached
POPL-2016-tutorials
16:00 - 17:30: Tutorials - T5: Higher-Order Model Checking at Room HTC 3
POPL-2016-tutorials16:00 - 17:30
Talk
Naoki KobayashiUniversity of Tokyo, C.-H. Luke OngUniversity of Oxford, UK
POPL-2016-tutorials
16:00 - 17:30: Tutorials - T7: Trace-based Synchronization Synthesis for Concurrent Programs at Room HTC 2
POPL-2016-tutorials16:00 - 17:30
Talk
Arjun RadhakrishnaMicrosoft, Roopsha SamantaIST Austria

Tue 19 Jan

PLMW-2016-home
08:50 - 09:00: PLMW - Welcome Session at Room St Petersburg III
VMCAI-2016-papers
09:00 - 10:00: VMCAI - Invited Talk III at Room St Petersburg I
Chair(s): Bor-Yuh Evan ChangUniversity of Colorado Boulder
VMCAI-2016-papers09:00 - 10:00
Talk
Peter MüllerETH Zurich
pepm-2016-invited
09:00 - 10:00: Invited Talks - Keynote at Room Demens
pepm-2016-invited09:00 - 10:00
Talk
Matthew FlattUniversity of Utah
CPP-2016-main
09:00 - 10:00: CPP - Session 5: Invited talk by Leonardo de Moura at Room St Petersburg II
CPP-2016-main09:00 - 10:00
Talk
Leonardo De MouraMicrosoft Research, Redmond
PLMW-2016-home
09:00 - 10:00: PLMW - Session I at Room St Petersburg III
PLMW-2016-home09:00 - 09:30
Talk
Matthew MightUniversity of Utah, USA
Media Attached
PLMW-2016-home09:30 - 10:00
Talk
Media Attached
VMCAI-2016-papers
10:30 - 12:00: VMCAI - Concurrent Programs at Room St Petersburg I
Chair(s): Noam Rinetzky
VMCAI-2016-papers10:30 - 11:00
Talk
Frédéric Haziza, Lukas Holik, Roland Meyer, Sebastian WolffFraunhofer ITWM and TU Kaiserslautern
VMCAI-2016-papers11:00 - 11:30
Talk
Marko DokoMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
VMCAI-2016-papers11:30 - 12:00
Talk
Kamil Dudka, Lukas Holik, Petr Peringer, Tomas VojnarBrno University of Technology
PADL-2016-papers
10:30 - 12:00: PADL - Functional Programming II at Room Bayboro
PADL-2016-papers10:30 - 11:00
Talk
Paul TarauUniversity of North Texas
PADL-2016-papers11:00 - 11:30
Talk
Paul TarauUniversity of North Texas
PADL-2016-papers11:30 - 12:00
Talk
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University
pepm-2016-main
10:30 - 12:00: PEPM - Parsing & Domain-Specific Languages I at Room Harbor View
Chair(s): Kenichi AsaiOchanomizu University
pepm-2016-main10:30 - 11:00
Talk
Anastasia IzmaylovaCentrum Wiskunde & Informatica, Ali AfroozehCentrum Wiskunde & Informatica, Tijs van der StormCWI
DOI Pre-print
pepm-2016-main11:00 - 11:30
Talk
Ali AfroozehCentrum Wiskunde & Informatica, Anastasia IzmaylovaCentrum Wiskunde & Informatica
DOI Pre-print
pepm-2016-main11:30 - 12:00
Talk
Shayan Najd, Sam LindleyUniversity of Edinburgh, Josef SvenningssonChalmers University of Technology, Sweden, Philip WadlerUniversity of Edinburgh
DOI
CPP-2016-main
10:30 - 12:00: CPP - Session 6: Foundations at Room St Petersburg II
CPP-2016-main10:30 - 11:00
Talk
Nathan FultonCarnegie Mellon University, André Platzer
CPP-2016-main11:00 - 11:30
Talk
Floris van DoornCarnegie Mellon University
CPP-2016-main11:30 - 12:00
Talk
Vincent RahliSnT, Mark BickfordCornell University
PLMW-2016-home
10:30 - 12:00: PLMW - Session II at Room St Petersburg III
PLMW-2016-home10:30 - 11:00
Talk
Aarti GuptaPrinceton University
Media Attached
PLMW-2016-home11:00 - 11:30
Talk
Ranjit JhalaUniversity of California, San Diego
Media Attached
PLMW-2016-home11:30 - 12:00
Talk
Media Attached
pepm-2016-main
14:00 - 15:30: PEPM - Domain-Specific Languages II at Room Harbor View
Chair(s): Sebastian ErdwegTU Darmstadt, Germany
pepm-2016-main14:00 - 14:30
Talk
Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Tao ZanSokendai, Japan, Zhenjiang HuNational Institute of Informatics
DOI Pre-print
pepm-2016-main14:30 - 15:00
Talk
Hendrik van AntwerpenDelft University of Technology, Netherlands, Pierre NeronTU Delft, Andrew TolmachPortland State University, Eelco VisserDelft University of Technology, Guido WachsmuthDelft University of Technology
Link to publication DOI Pre-print
pepm-2016-main15:00 - 15:30
Talk
Kenichi SuzukiUniversity of Tsukuba, Japan, Oleg Kiselyov, Yukiyoshi Kameyama
DOI
VMCAI-2016-papers
14:00 - 15:30: VMCAI - Parameterized and Component-Based Systems at Room St Petersburg I
Chair(s): Arie GurfinkelCarnegie Mellon University
VMCAI-2016-papers14:00 - 14:30
Talk
Anthony Widjaja LinYale-NUS College, Singapore, Truong Khanh Nguyen, Philipp RuemmerUppsala University, Jun Sun
VMCAI-2016-papers14:30 - 15:00
Talk
VMCAI-2016-papers15:00 - 15:30
Talk
CPP-2016-main
14:00 - 15:30: CPP - Session 7: Verification for Concurrent and Distributed Systems at Room St Petersburg II
CPP-2016-main14:00 - 14:30
Talk
Johannes Å. PohjolaUppsala University, Joachim ParrowUppsala University
CPP-2016-main14:30 - 15:00
Talk
Doug WoosUniversity of Washington, James R. WilcoxUniversity of Washington, Steve AntonUniversity of Washington, Zachary TatlockUniversity of Washington, Michael D. ErnstUniversity of Washington, Thomas AndersonUniversity of Washington
Pre-print
CPP-2016-main15:00 - 15:30
Talk
Michel St-MartinUniversity of Ottawa, Amy FeltyUniversity of Ottawa
PLMW-2016-home
14:00 - 15:30: PLMW - Session III at Room St Petersburg III
PLMW-2016-home14:00 - 14:30
Talk
Isil DilligUniversity of Texas, Austin, Ross TateCornell University
PLMW-2016-home14:30 - 15:00
Talk
Alexandra SilvaRadboud University Nijmegen
Media Attached
PLMW-2016-home15:00 - 15:30
Talk
John HughesChalmers University of Technology
Media Attached
CPP-2016-main
16:00 - 17:00: CPP - Session 8: Compiler Verification at Room St Petersburg II
CPP-2016-main16:00 - 16:30
Talk
Sandrine BlazyIRISA / University of Rennes 1, Alix TrieuENS Rennes
CPP-2016-main16:30 - 17:00
Talk
Steven Schäfer, Sigurd SchneiderSaarland University, Gert SmolkaSaarland University
PLMW-2016-home
16:00 - 17:00: PLMW - Session IV at Room St Petersburg III
PLMW-2016-home16:00 - 16:30
Talk
Robert HarperCarnegie Mellon University
Media Attached
PLMW-2016-home16:30 - 17:00
Talk
Greg MorrisettCornell University
Media Attached
VMCAI-2016-papers
16:00 - 17:00: VMCAI - Solver Improvements at Room St Petersburg I
Chair(s): Roopsha SamantaIST Austria
VMCAI-2016-papers16:00 - 16:30
Talk
VMCAI-2016-papers16:30 - 17:00
Talk
pepm-2016-main
16:00 - 17:40: PEPM - Staging at Room Harbor View
Chair(s): Jacques CaretteMcMaster University
pepm-2016-main16:00 - 16:30
Talk
Jeremy YallopUniversity of Cambridge, UK
DOI
pepm-2016-main16:30 - 17:00
Talk
Jon Brandvein, Yanhong A. LiuStony Brook University, USA
DOI
pepm-2016-main17:00 - 17:20
Talk
Kenichi AsaiOchanomizu University
DOI
pepm-2016-main17:20 - 17:40
Talk
Jun InoueNational Institute of Advanced Industrial Science and Technology, Japan, Oleg Kiselyov, Yukiyoshi Kameyama
DOI
CPP-2016-main
18:00 - 21:00: CPP - CPP Reception, sponsored by the DeepSpec project at Room St Petersburg I
CPP-2016-main18:00 - 21:00
Social Event

Wed 20 Jan

POPL-2016-invited-speakers
09:00 - 10:00: Invited Speakers - Invited Wed at Grand Bay Ballroom
Chair(s): Rastislav BodikUniversity of Washington, USA
POPL-2016-invited-speakers09:00 - 10:00
Talk
Kathryn S McKinleyMicrosoft Research
POPL-2016-papers
10:30 - 12:10: Research Papers - Track 1: Algorithmic Verification at Grand Bay North
Chair(s): Arie GurfinkelCarnegie Mellon University
POPL-2016-papers10:30 - 10:55
Talk
Akihiro Murase, Tachio TerauchiJAIST, Naoki KobayashiUniversity of Tokyo, Ryosuke SatoUniversity of Tokyo, Hiroshi UnnoUniversity of Tsukuba
POPL-2016-papers10:55 - 11:20
Talk
Gordon Plotkin, Nikolaj BjørnerMicrosoft Research, Nuno P. LopesMicrosoft Research, Andrey RybalchenkoMicrosoft Research, George VargheseMicrosoft Research
POPL-2016-papers11:20 - 11:45
Talk
POPL-2016-papers11:45 - 12:10
Talk
Eric KoskinenYale University, Junfeng YangColumbia University
POPL-2016-papers
10:30 - 12:10: Research Papers - Track 2: Types and Foundations at Grand Bay South
Chair(s): Robert AtkeyUniversity of Strathclyde
POPL-2016-papers10:30 - 10:55
Talk
Matt BrownUCLA, Jens PalsbergUniversity of California, Los Angeles
Media Attached File Attached
POPL-2016-papers10:55 - 11:20
Talk
Thorsten AltenkirchUniversity of Nottingham, Ambrus KaposiUniversity of Nottingham
Media Attached File Attached
POPL-2016-papers11:20 - 11:45
Talk
Yufei CaiUniversity of Tübingen, Germany, Paolo G. GiarrussoUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
Media Attached
POPL-2016-papers11:45 - 12:10
Talk
Pierre-Louis CurienUniv. Paris Diderot and INRIA Paris-Rocquencourt, Marcelo FioreComputer Laboratory, University of Cambridge, Guillaume Munch-MaccagnoniComputer Laboratory, University of Cambridge
POPL-2016-papers
14:20 - 16:00: Research Papers - Track 1: Decision Procedures at Grand Bay North
Chair(s): Loris D'AntoniUniversity of Pennsylvania
POPL-2016-papers14:20 - 14:45
Talk
Xin ZhangGeorgia Tech, Ravi MangalGeorgia Institute of Technology, Aditya NoriMicrosoft Research, UK, Mayur NaikGeorgia Tech
File Attached
POPL-2016-papers14:45 - 15:10
Talk
Anthony Widjaja LinYale-NUS College, Singapore, Pablo BarceloUniversity of Chile, Chile
Media Attached
POPL-2016-papers15:10 - 15:35
Talk
Luca CardelliMicrosoft Research and University of Oxford, Mirco TribastoneIMT Institute for Advanced Studies Lucca, Italy, Max TschaikowskiIMT Institute for Advanced Studies Lucca, Italy, Andrea VandinIMT Institute for Advanced Studies Lucca, Italy
Media Attached
POPL-2016-papers15:35 - 16:00
Talk
Matthew HagueRoyal Holloway University of London, UK, Jonathan KochemsDepartment of Computer Science, University of Oxford, C.-H. Luke OngUniversity of Oxford, UK
Media Attached
POPL-2016-papers
14:20 - 16:00: Research Papers - Track 2: Correct Compilation at Grand Bay South
Chair(s): Jens PalsbergUniversity of California, Los Angeles
POPL-2016-papers14:20 - 14:45
Talk
Dominique DevrieseiMinds - Distrinet, KU Leuven, Marco PatrignaniKU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven
Pre-print Media Attached
POPL-2016-papers14:45 - 15:10
Talk
Jeehoon KangSeoul National University, Yoonseung KimSeoul National University (South Korea), Chung-Kil HurSeoul National University, Derek DreyerMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
Media Attached File Attached
POPL-2016-papers15:10 - 15:35
Talk
Media Attached
POPL-2016-papers15:35 - 16:00
Talk
Florian LorenzenTU Berlin, Sebastian ErdwegTU Darmstadt, Germany
Pre-print Media Attached File Attached
POPL-2016-papers
16:30 - 17:45: Research Papers - Track 1: Language Design at Grand Bay North
Chair(s): David WalkerPrinceton University
POPL-2016-papers16:30 - 16:55
Talk
Nikhil SwamyMicrosoft Research, Cătălin HriţcuINRIA Paris, Chantal KellerMSR-INRIA, Aseem RastogiUniversity of Maryland, College Park, Antoine Delignat-LavaudINRIA, Simon ForestENS, Karthikeyan BhargavanINRIA, Cédric FournetMicrosoft Research, Pierre-Yves StrubIMDEA Software Institute, Markulf KohlweissMicrosoft Research, Jean-Karim ZinzindohouéINRIA, Santiago Zanella-BéguelinMicrosoft Research
Pre-print Media Attached
POPL-2016-papers16:55 - 17:20
Talk
Johannes BorgströmUppsala University, Andrew D. GordonMicrosoft Research and University of Edinburgh, Long OuyangStanford University, Claudio RussoMicrosoft Research, Adam ŚcibiorUniversity of Cambridge, Marcin SzymczakUniversity of Edinburgh
Media Attached
POPL-2016-papers17:20 - 17:45
Talk
Bjørn Bugge GrathwohlDIKU, University of Copenhagen, Fritz HengleinDIKU, Denmark, Ulrik Terp RasmussenDIKU, University of Copenhagen, Kristoffer Aalund SøholmJobindex, Denmark, Sebastian Paaske TørholmJobindex, Denmark
Media Attached
POPL-2016-papers
16:30 - 17:45: Research Papers - Track 2: Decidability and complexity at Grand Bay South
Chair(s): C.-H. Luke OngUniversity of Oxford, UK
POPL-2016-papers16:30 - 16:55
Talk
Oded PadonTel Aviv University, Neil ImmermanUniversity of Massachusetts, Amherst, Sharon Shoham, Aleksandr KarbyshevTel Aviv University, Mooly SagivTel Aviv University
Media Attached
POPL-2016-papers16:55 - 17:20
Talk
Rahman Lavaee, Chen DingUniversity of Rochester
Media Attached
POPL-2016-papers17:20 - 17:45
Talk
Stéphane GimenezUniversity of Innsbruck, Georg MoserUniversity of Innsbruck
Media Attached
POPL-2016-papers
19:00 - 22:00: Research Papers - Banquet at Dali Museum

Thu 21 Jan

POPL-2016-invited-speakers
09:00 - 10:00: Invited Speakers - Invited Speaker Thu at Grand Bay Ballroom
Chair(s): Rupak MajumdarMPI-SWS
POPL-2016-invited-speakers09:00 - 10:00
Talk
Richard M. MurrayCalifornia Institute of Technology
Media Attached
POPL-2016-papers
10:30 - 12:10: Research Papers - Track 1: Foundations of distributed systems at Grand Bay North
Chair(s): Mooly SagivTel Aviv University
POPL-2016-papers10:30 - 10:55
Talk
Media Attached
POPL-2016-papers10:55 - 11:20
Talk
Alexey GotsmanIMDEA, Hongseok YangUniversity of Oxford, UK, Carla FerreiraUniversidade Nova Lisboa, Mahsa NajafzadehUPMC & INRIA, Marc ShapiroInria & LIP6
Media Attached
POPL-2016-papers11:20 - 11:45
Talk
Hongjin LiangUniversity of Science and Technology of China, Xinyu FengUniversity of Science and Technology of China
Media Attached
POPL-2016-papers11:45 - 12:10
Talk
Cezara DrăgoiINRIA, ENS, CNRS, Thomas A. HenzingerIST Austria, Damien ZuffereyMIT
Link to publication DOI Pre-print Media Attached File Attached
POPL-2016-papers
10:30 - 12:10: Research Papers - Track 2: Probabilistic and statistical analysis at Grand Bay South
Chair(s): Aditya NoriMicrosoft Research, UK
POPL-2016-papers10:30 - 10:55
Talk
Fan LongMIT CSAIL, Martin RinardMassachusetts Institute of Technology, USA
Media Attached
POPL-2016-papers10:55 - 11:20
Talk
Omer KatzTechnion, Israel Institute of Technology, Ran El-YanivTechnion, Israel Institute of Technology, Eran YahavTechnion
Media Attached File Attached
POPL-2016-papers11:20 - 11:45
Talk
Krishnendu ChatterjeeIST Austria, Hongfei FuIST Austria, Rouzbeh HasheminezhadSharif University, Petr NovotnyIST Austria
Media Attached
POPL-2016-papers11:45 - 12:10
Talk
Rishabh SinghMicrosoft Research, Sumit GulwaniMicrosoft Research
Media Attached
POPL-2016-papers
14:20 - 16:00: Research Papers - Track 1: Learning and verification at Grand Bay North
Chair(s): David MonniauxCNRS, VERIMAG
POPL-2016-papers14:20 - 14:45
Talk
Damien OcteauUniversity of Wisconsin and Pennsylvania State University, Somesh JhaUniversity of Wisconsin, Madison, Matthew DeringPennsylvania State University, Patrick McDanielPennsylvania State University, Alexandre BartelTechnical University Darmstadt, Hongyu LiRice University, Jacques KleinUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg
Media Attached
POPL-2016-papers14:45 - 15:10
Talk
Radu GrigoreUniversity of Oxford, Hongseok YangUniversity of Oxford, UK
Media Attached
POPL-2016-papers15:10 - 15:35
Talk
Pranav GargUniversity of Illinois at Urbana-Champaign, Daniel NeiderUniversity of Illinois at Urbana-Champaign, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Dan RothUniversity of Illinois at Urbana-Champaign
Media Attached
POPL-2016-papers15:35 - 16:00
Talk
Michael EmmiIMDEA Software Institute, Constantin EneaLIAFA, Université Paris Diderot
Media Attached
POPL-2016-papers
14:20 - 16:00: Research Papers - Track 2: Types, Generally or Gradually at Grand Bay South
Chair(s): Tiark RompfPurdue & Oracle Labs
POPL-2016-papers14:20 - 14:45
Talk
Sheng ChenUniversity of louisiana at Lafayette, Martin ErwigOregon State University
Media Attached
POPL-2016-papers14:45 - 15:10
Talk
Ronald GarciaUniversity of British Columbia, Alison M. Clark, Éric TanterUniversity of Chile, Chile
Link to publication Media Attached
POPL-2016-papers15:10 - 15:35
Talk
Matteo CiminiIndiana University, Jeremy G. SiekIndiana University
Media Attached
POPL-2016-papers15:35 - 16:00
Talk
Asumu TakikawaNortheastern University, Daniel FelteyNortheastern University, Ben GreenmanNortheastern University, Max New, Jan VitekNortheastern University, Matthias FelleisenNortheastern University
Pre-print Media Attached File Attached
POPL-2016-papers
16:30 - 17:45: Research Papers - Track 1: Optimization at Grand Bay North
Chair(s): Mayur NaikGeorgia Tech
POPL-2016-papers16:30 - 16:55
Talk
Somashekaracharya G BhaskaracharyaIndian Institute of Science and National Instruments, Uday BondhugulaIndian Institute of Science, Albert CohenINRIA
Media Attached File Attached
POPL-2016-papers16:55 - 17:20
Talk
Wenlei Bao, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noel PouchetOhio State University, Fabrice RastelloINRIA, France, P. SadayappanOhio State University
Media Attached
POPL-2016-papers17:20 - 17:45
Talk
Marc AndryscoUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego, Sorin LernerUniversity of California, San Diego
Media Attached
POPL-2016-papers
16:30 - 17:45: Research Papers - Track 2: Sessions and processes at Grand Bay South
Chair(s): Matteo MaffeiSaarland University
POPL-2016-papers16:30 - 16:55
Talk
Dominic OrchardImperial College London, Nobuko YoshidaImperial College London, UK
Pre-print Media Attached
POPL-2016-papers16:55 - 17:20
Talk
Limin JiaCarnegie Mellon University, Hannah GommerstadtCarnegie Mellon University, Frank PfenningCarnegie Mellon University
Media Attached File Attached
POPL-2016-papers17:20 - 17:45
Talk
Davide SangiorgiUniversity of Bologna, Valeria VignudelliUniversity of Bologna/INRIA
Media Attached
POPL-2016-papers
18:00 - 19:00: Research Papers - SIGPLAN Awards; Program Chair's Report; and SIGPLAN Business Meeting at Grand Bay North
Chair(s): Michael HicksUniversity of Maryland at College Park, USA
POPL-2016-SRC
19:00 - 20:00: SRC - POPL SRC Posters and Reception at Lobby III
Chair(s): Zachary TatlockUniversity of Washington

Fri 22 Jan

POPL-2016-invited-speakers
09:00 - 10:00: Invited Speakers - Invited Speaker Fri at Grand Bay Ballroom
Chair(s): Steve ZdancewicUniversity of Pennsylvania
POPL-2016-invited-speakers09:00 - 10:00
Talk
David WalkerPrinceton University
Media Attached
POPL-2016-papers
10:30 - 12:10: Research Papers - Track 1: Program Design and Analysis at Grand Bay North
Chair(s): Manu SridharanSamsung Research America
POPL-2016-papers10:30 - 10:55
Talk
Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc., Emma TuretskyCS Dept., Univ. of Wisconsin-Madison, Prathmesh PrabhuGoogle
Media Attached
POPL-2016-papers10:55 - 11:20
Talk
Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Xiao XiaoThe Hong Kong University of Science and Technology, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hongyu ZhangMicrosoft Research, Charles ZhangHKUST
Media Attached
POPL-2016-papers11:20 - 11:45
Talk
Thomas GilrayUniversity of Utah, Steven Lyde, Michael D. AdamsUniversity of Utah, Matthew MightUniversity of Utah, USA, David Van HornUniversity of Maryland, College Park
Pre-print Media Attached
POPL-2016-papers11:45 - 12:10
Talk
Matthew FlattUniversity of Utah
Pre-print Media Attached
POPL-2016-papers
10:30 - 12:10: Research Papers - Track 2: Semantics and memory models at Grand Bay South
Chair(s): Alexey GotsmanIMDEA
POPL-2016-papers10:30 - 10:55
Talk
Shaked FlurUniversity of Cambridge, Kathryn E. GrayUniversity of Cambridge, Christopher PulteUniversity of Cambridge, Susmit SarkarUniversity of St Andrews, Luc MarangetINRIA Rocquencourt, Ali SezginUniversity of Cambridge, Will DeaconARM Ltd., Peter SewellUniversity of Cambridge
Media Attached File Attached
POPL-2016-papers10:55 - 11:20
Talk
Jean Pichon-PharabodUniversity of Cambridge, Peter SewellUniversity of Cambridge
File Attached
POPL-2016-papers11:20 - 11:45
Talk
John WickersonImperial College London, Mark BattyUniversity of Cambridge, Alastair DonaldsonImperial College London
Pre-print File Attached
POPL-2016-papers11:45 - 12:10
Talk
Ori LahavMPI-SWS, Nick GiannarakisMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
Pre-print Media Attached File Attached
POPL-2016-papers
14:20 - 16:00: Research Papers - Track 1: Synthesis at Grand Bay North
Chair(s): Roberto GiacobazziUniversity of Verona, Italy
POPL-2016-papers14:20 - 14:45
Talk
Veselin RaychevETH Zurich, Pavol BielikETH Zurich, Switzerland, Martin VechevETH Zurich, Andreas KrauseETH Zurich
Link to publication DOI Pre-print Media Attached File Attached
POPL-2016-papers14:45 - 15:10
Talk
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington, Dan GrossmanUniversity of Washington, USA, Luis CezeUniversity of Washington, USA
Pre-print Media Attached
POPL-2016-papers15:10 - 15:35
Talk
Aws AlbarghouthiUniversity of Wisconsin–Madison, Isil DilligUniversity of Texas, Austin, Arie GurfinkelCarnegie Mellon University
Pre-print Media Attached
POPL-2016-papers15:35 - 16:00
Talk
Jonathan FranklePrinceton University, Peter-Michael OseraGrinnell College, David WalkerPrinceton University, Steve ZdancewicUniversity of Pennsylvania
Pre-print Media Attached File Attached
POPL-2016-papers
14:20 - 15:35: Research Papers - Track 2: Foundations of Model Checking at Grand Bay South
Chair(s): Alexandra SilvaRadboud University Nijmegen
POPL-2016-papers14:20 - 14:45
Talk
Ichiro HasuoUniversity of Tokyo, Shunsuke ShimizuUniversity of Tokyo, Corina CirsteaUniversity of Southampton
Media Attached
POPL-2016-papers14:45 - 15:10
Talk
Media Attached
POPL-2016-papers15:10 - 15:35
Talk
Koko MuroyaUniversity of Tokyo, Naohiko HoshinoKyoto University, Ichiro HasuoUniversity of Tokyo
Media Attached

Sat 23 Jan

pps-2016
09:00 - 10:00: PPS 2016 - Session 1 at Room St Petersburg II
Chair(s): Cameron FreerGamalon
pps-201609:00 - 09:20
Talk
Pre-print
pps-201609:20 - 09:30
Meeting
pps-201609:30 - 09:50
Talk
Jan-Willem van de MeentUniversity of Oxford, Brooks PaigeUniversity of Oxford, David TolpinUniversity of Oxford, Frank WoodUniversity of Oxford
Pre-print
pps-201609:50 - 10:00
Meeting
CoqPL-2016-main
09:00 - 10:00: CoqPL - Session I at Room St Petersburg III
CoqPL-2016-main09:00 - 10:00
Talk
OBT-2016-talks
09:00 - 10:00: Off the Beaten Track - Session One at Room St Petersburg I
Chair(s): Lindsey KuperIntel Labs
OBT-2016-talks09:00 - 09:15
Day opening
Lindsey KuperIntel Labs
OBT-2016-talks09:15 - 10:00
Talk
Chris MartensCarnegie Mellon University
pps-2016
10:30 - 12:15: PPS 2016 - Session 2 at Room St Petersburg II
Chair(s): Chad ScherrerGalois, Inc.
pps-201610:30 - 10:50
Talk
Robert RandUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
Pre-print
pps-201610:50 - 11:00
Meeting
pps-201611:00 - 11:20
Talk
Avi PfefferCharles River Analytics, Brian RuttenbergCharles River Analytics
Pre-print
pps-201611:20 - 11:30
Meeting
pps-201611:30 - 12:15
Meeting
Angelika KimmigKU Leuven, Oleg Kiselyov, Jan-Willem van de MeentUniversity of Oxford, Avi PfefferCharles River Analytics, Frank WoodUniversity of Oxford
pps-2016
14:00 - 15:30: PPS 2016 - Session 3 at Room St Petersburg II
Chair(s): Mitchell WandNortheastern University
pps-201614:00 - 14:20
Talk
Johannes BorgströmUppsala University, Ugo Dal LagoUniversity of Bologna, Andrew D. GordonMicrosoft Research and University of Edinburgh, Marcin SzymczakUniversity of Edinburgh
Pre-print
pps-201614:20 - 14:30
Meeting
pps-201614:30 - 14:50
Talk
Leonidas LampropoulosUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Cătălin HriţcuINRIA Paris, John HughesChalmers University of Technology, Zoe ParaskevopoulouPrinceton University, Li-yao XiaENS Paris
Pre-print
pps-201614:50 - 15:00
Meeting
pps-201615:00 - 15:20
Talk
Sam StatonUniversity of Oxford, Hongseok YangUniversity of Oxford, UK, Chris HeunenUniversity of Edinburgh, Ohad KammarUniversity of Cambridge, Frank WoodUniversity of Oxford
Pre-print
pps-201615:20 - 15:30
Meeting
CoqPL-2016-main
14:00 - 15:25: CoqPL - Session III at Room St Petersburg III
CoqPL-2016-main14:00 - 15:00
Talk
Chung-Kil HurSeoul National University
CoqPL-2016-main15:00 - 15:25
Talk
Marek MaterzokUniversity of Wroclaw
Link to publication
OBT-2016-talks
14:00 - 15:35: Off the Beaten Track - Session Three at Room St Petersburg I
Chair(s): Limin JiaCarnegie Mellon University
OBT-2016-talks14:00 - 14:45
Talk
Robert AtkeyUniversity of Strathclyde
OBT-2016-talks14:45 - 15:10
Talk
Pre-print
OBT-2016-talks15:10 - 15:35
Talk
Pre-print
pps-2016
15:30 - 16:30: PPS 2016 - Poster Session at Room St Petersburg II
pps-201615:30 - 16:30
Meeting
Aleksey KligerXamarin, Inc., Sean StromstenBAE Systems, Inc.
Pre-print
pps-201615:30 - 16:30
Meeting
Theophilos GiannakopoulosBAE Systems, Inc., Mitchell WandNortheastern University, Andrew CobbNortheastern University
Pre-print
pps-201615:30 - 16:30
Meeting
Larry MossIndiana University, Chung-chieh ShanIndiana University, Alexandra SilvaRadboud University Nijmegen
Pre-print
pps-201615:30 - 16:30
Meeting
Faris Abou-SalehUniversity of Oxford, Kwok-Ho CheungUniversity of Oxford, Jeremy GibbonsUniversity of Oxford, UK
Pre-print
pps-201615:30 - 16:30
Meeting
Johannes HölzlTechnische Universität München
Pre-print
pps-201615:30 - 16:30
Meeting
Yohei MiyamotoGraduate School of Informatics, Kyoto University, Kohei Suenaga, Koji NakazawaGraduate School of Information Science, Nagoya University
Pre-print
pps-201615:30 - 16:30
Meeting
Ryan CulpepperNortheastern University
Pre-print
pps-201615:30 - 16:30
Meeting
Pre-print
pps-201615:30 - 16:30
Meeting
Adam ŚcibiorUniversity of Cambridge, Andrew D. GordonMicrosoft Research and University of Edinburgh
Pre-print
pps-201615:30 - 16:30
Meeting
Adam ŚcibiorUniversity of Cambridge, Bernhard SchölkopfMPI Tuebingen
Pre-print
CoqPL-2016-main
16:00 - 18:00: CoqPL - Session IV at Room St Petersburg III
CoqPL-2016-main16:00 - 16:25
Talk
Amin Timany, Bart JacobsiMinds - Distrinet, KU Leuven
Link to publication
CoqPL-2016-main16:25 - 16:50
Talk
Pre-print
CoqPL-2016-main16:50 - 17:15
Talk
Matthew Chan, Daniel RickettsUniversity of California, San Diego, Sorin LernerUniversity of California, San Diego, Gregory MalechaUCSD
Link to publication
CoqPL-2016-main17:15 - 17:45
Talk
Andrew AppelPrinceton
CoqPL-2016-main17:45 - 18:00
Talk
pps-2016
16:30 - 18:00: PPS 2016 - Session 5 at Room St Petersburg II
Chair(s): Chung-chieh ShanIndiana University
pps-201616:30 - 16:50
Talk
Nathanael L. AckermanHarvard University, Cameron FreerGamalon, Daniel RoyUniversity of Toronto
Pre-print
pps-201616:50 - 17:00
Meeting
pps-201617:00 - 17:20
Talk
Daniel HuangHarvard University, Greg MorrisettCornell University
Pre-print
pps-201617:20 - 17:30
Meeting
pps-201617:30 - 17:50
Talk
Friedrich GretzRWTH Aachen University, Nils JansenRWTH Aachen University, Benjamin Lucien KaminskiRWTH Aachen University, Joost-Pieter KatoenRWTH Aachen University, Federico OlmedoRWTH Aachen University
Pre-print
pps-201617:50 - 18:00
Meeting

Sun 17 Jan 2016

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room St Petersburg I
08:50 - 09:00
09:00 - 10:00
14:00 - 15:30
16:00 - 17:00

Mon 18 Jan 2016

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Room Bayboro
08:45 - 09:00
09:00 - 10:00
14:00 - 15:30
Room Demens
Room HTC 1
Room HTC 2
Room HTC 3
Room HTC 4
Room St Petersburg I
Room St Petersburg II

Sat 23 Jan 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Room St Petersburg I
Room St Petersburg II
09:00 - 10:00
10:30 - 12:15
14:00 - 15:30
15:30 - 16:30
16:30 - 18:00
Room St Petersburg III
09:00 - 10:00
10:30 - 12:05
14:00 - 15:25
16:00 - 18:00

Mon 18 Jan 2016

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Room Bayboro
Room Demens
Room HTC 1
Room HTC 2
Room HTC 3
Room HTC 4
Room St Petersburg I
Room St Petersburg II

Tue 19 Jan 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Room Bayboro
Room Demens
Room Harbor View
Room St Petersburg I
Room St Petersburg II
Room St Petersburg III

Wed 20 Jan 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Bay Ballroom
Grand Bay North
Grand Bay South

Thu 21 Jan 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Bay Ballroom
Grand Bay North
Grand Bay South