Write a Blog >>
VenueHilton St. Petersburg Bayfront
Room nameGrand Bay North
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Wed 20 Jan

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-papers145328220000010:30 - 10:55
Talk
Akihiro Murase, Tachio TerauchiJAIST, Naoki KobayashiUniversity of Tokyo, Ryosuke SatoUniversity of Tokyo, Hiroshi UnnoUniversity of Tsukuba
POPL-2016-papers145328370000010:55 - 11:20
Talk
Gordon Plotkin, Nikolaj BjørnerMicrosoft Research, Nuno P. LopesMicrosoft Research, Andrey RybalchenkoMicrosoft Research, George VargheseMicrosoft Research
POPL-2016-papers145328520000011:20 - 11:45
Talk
POPL-2016-papers145328670000011:45 - 12:10
Talk
Eric KoskinenYale University, Junfeng YangColumbia University
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-papers145329600000014:20 - 14:45
Talk
Xin ZhangGeorgia Tech, Ravi MangalGeorgia Institute of Technology, Aditya NoriMicrosoft Research, UK, Mayur NaikGeorgia Tech
File Attached
POPL-2016-papers145329750000014:45 - 15:10
Talk
Anthony Widjaja LinYale-NUS College, Singapore, Pablo BarceloUniversity of Chile, Chile
Media Attached
POPL-2016-papers145329900000015: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-papers145330050000015: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
16:30 - 17:45: Research Papers - Track 1: Language Design at Grand Bay North
Chair(s): David WalkerPrinceton University
POPL-2016-papers145330380000016: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-papers145330530000016: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-papers145330680000017: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

Thu 21 Jan

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-papers145336860000010:30 - 10:55
Talk
Media Attached
POPL-2016-papers145337010000010: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-papers145337160000011:20 - 11:45
Talk
Hongjin LiangUniversity of Science and Technology of China, Xinyu FengUniversity of Science and Technology of China
Media Attached
POPL-2016-papers145337310000011: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
14:20 - 16:00: Research Papers - Track 1: Learning and verification at Grand Bay North
Chair(s): David MonniauxCNRS, VERIMAG
POPL-2016-papers145338240000014: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-papers145338390000014:45 - 15:10
Talk
Radu GrigoreUniversity of Oxford, Hongseok YangUniversity of Oxford, UK
Media Attached
POPL-2016-papers145338540000015: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-papers145338690000015:35 - 16:00
Talk
Michael EmmiIMDEA Software Institute, Constantin EneaLIAFA, Université Paris Diderot
Media Attached
POPL-2016-papers
16:30 - 17:45: Research Papers - Track 1: Optimization at Grand Bay North
Chair(s): Mayur NaikGeorgia Tech
POPL-2016-papers145339020000016: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-papers145339170000016: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-papers145339320000017: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
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

Fri 22 Jan

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-papers145345500000010: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-papers145345650000010: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-papers145345800000011: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-papers145345950000011:45 - 12:10
Talk
Matthew FlattUniversity of Utah
Pre-print Media 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-papers145346880000014: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-papers145347030000014: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-papers145347180000015:10 - 15:35
Talk
Aws AlbarghouthiUniversity of Wisconsin–Madison, Isil DilligUniversity of Texas, Austin, Arie GurfinkelCarnegie Mellon University
Pre-print Media Attached
POPL-2016-papers145347330000015:35 - 16:00
Talk
Jonathan FranklePrinceton University, Peter-Michael OseraGrinnell College, David WalkerPrinceton University, Steve ZdancewicUniversity of Pennsylvania
Pre-print Media Attached File Attached

Wed 20 Jan 2016

Fri 22 Jan 2016

Room10:003011:003012:003013:003014:003015:003016:0030
Grand Bay North