VenueOmni Hotel
Room nameBunker Hill
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Wed 10 Jan

POPL-2018-papers
10:30 - 12:10: Research Papers - Strings at Bunker Hill
Chair(s): Zachary TatlockUniversity of Washington
POPL-2018-papers151557660000010:30 - 10:55
Talk
Anders MiltnerPrinceton University, Kathleen FisherTufts University, Benjamin C. PierceUniversity of Pennsylvania, David WalkerPrinceton University, Steve ZdancewicUniversity of Pennsylvania
POPL-2018-papers151557810000010:55 - 11:20
Talk
Jeevana Priya InalaMIT, Rishabh SinghMicrosoft Research
POPL-2018-papers151557960000011:20 - 11:45
Talk
Taolue ChenBirkbeck, University of London, Yan ChenState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Matthew HagueRoyal Holloway, University of London, Anthony Widjaja LinOxford University, Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
POPL-2018-papers151558110000011:45 - 12:10
Talk
Lukas HolikBrno University of Technology, Anthony Widjaja LinOxford University, Petr JankuBrno University of Technology, Philipp RuemmerUppsala University, Tomas VojnarBrno University of Technology
POPL-2018-papers
13:40 - 15:20: Research Papers - Verification I at Bunker Hill
Chair(s): Zhong ShaoYale University
POPL-2018-papers151558800000013:40 - 14:05
Talk
Quang-Trung TaNational University of Singapore, Ton Chanh LeNational University of Singapore, Siau-Cheng KhooNational University of Singapore, Wei-Ngan ChinNational University of Singapore
POPL-2018-papers151558950000014:05 - 14:30
Talk
Christof LödingRWTH Aachen University, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Lucas PeñaUniversity of Illinois at Urbana-Champaign
POPL-2018-papers151559100000014:30 - 14:55
Talk
Toby Cathcart BurnUniversity of Oxford, C.-H. Luke OngUniversity of Oxford, Steven RamsayUniversity of Bristol
POPL-2018-papers151559250000014:55 - 15:20
Talk
Hiroshi UnnoUniversity of Tsukuba, Yuki SatakeUniversity of Tsukuba, Tachio TerauchiWaseda University
POPL-2018-papers
15:50 - 17:30: Research Papers - Memory and Concurrency at Bunker Hill
Chair(s): Azadeh FarzanUniversity of Toronto
POPL-2018-papers151559580000015:50 - 16:15
Talk
Michalis KokologiannakisNational Technical University of Athens, Greece, Ori LahavTel Aviv University, Israel, Konstantinos SagonasUppsala University, Sweden, Viktor VafeiadisMPI-SWS, Germany
POPL-2018-papers151559730000016:15 - 16:40
Talk
Brijesh DongolBrunel University London, Radha JagadeesanDePaul University, James RielyDePaul University
Link to publication DOI Pre-print Media Attached
POPL-2018-papers151559880000016:40 - 17:05
Talk
Christopher PulteUniversity of Cambridge, Shaked FlurUniversity of Cambridge, Will DeaconARM Ltd., Jon FrenchUniversity of Cambridge, Susmit SarkarUniversity of St. Andrews, Peter SewellUniversity of Cambridge
POPL-2018-papers151560030000017:05 - 17:30
Talk
Hongjin LiangUniversity of Science and Technology of China, Xinyu FengUniversity of Science and Technology of China

Thu 11 Jan

POPL-2018-papers
10:30 - 12:10: Research Papers - Consistency at Bunker Hill
Chair(s): Xinyu FengUniversity of Science and Technology of China
POPL-2018-papers151566300000010:30 - 10:55
Talk
Michael EmmiNokia Bell Labs, Constantin EneaUniversité Paris Diderot
POPL-2018-papers151566450000010:55 - 11:20
Talk
Oded PadonTel Aviv University, Jochen HoenickeUniversität Freiburg, Giuliano LosaUniversity of California at Los Angeles, USA, Andreas PodelskiUniversity of Freiburg, Germany, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university
POPL-2018-papers151566600000011:20 - 11:45
Talk
Gowtham KakiPurdue University, Kartik NagarPurdue University, Mahsa NajafzadehPurdue University, Suresh JagannathanPurdue University
POPL-2018-papers151566750000011:45 - 12:10
Talk
Ilya SergeyUniversity College London, James R. WilcoxUniversity of Washington, Zachary TatlockUniversity of Washington
DOI Pre-print
POPL-2018-papers
13:40 - 15:20: Research Papers - Termination at Bunker Hill
Chair(s): Constantin EneaUniversité Paris Diderot
POPL-2018-papers151567440000013:40 - 14:05
Talk
Annabelle McIverMacquarie University, Carroll MorganUniversity of New South Wales; Data 61, Benjamin Lucien KaminskiRWTH Aachen University; University College London, Joost-Pieter KatoenRWTH Aachen University
POPL-2018-papers151567590000014:05 - 14:30
Talk
Sheshansh AgrawalIIT Bombay, Krishnendu ChatterjeeIST Austria, Petr NovotnyIST Austria
POPL-2018-papers151567740000014:30 - 14:55
Talk
Yangjia LiInstitute of Software, Chinese Academy of Sciences, Mingsheng YingUniversity of Technology Sydney
POPL-2018-papers151567890000014:55 - 15:20
Talk
Ivan RadicekTU Vienna, Gilles BartheIMDEA Software Institute, Marco GaboardiUniversity at Buffalo, SUNY, Deepak GargMax Planck Institute for Software Systems, Florian ZulegerTU Vienna
POPL-2018-papers
15:50 - 16:40: Research Papers - Language Design at Bunker Hill
Chair(s): Zachary TatlockUniversity of Washington
POPL-2018-papers151568220000015:50 - 16:15
Talk
Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan, Zhenjiang HuNational Institute of Informatics
DOI Pre-print
POPL-2018-papers151568370000016:15 - 16:40
Talk
Martin OderskyEPFL, Switzerland, Olivier BlanvillainEPFL, Fengyun LiuEPFL, Switzerland, Aggelos BiboudisEcole Polytechnique Federale de Lausanne, Heather MillerEcole Polytechnique Federale de Lausanne, Sandro StuckiEPFL

Fri 12 Jan

POPL-2018-papers
10:30 - 12:10: Research Papers - Testing and Verification at Bunker Hill
Chair(s): Santosh NagarakatteRutgers University, USA
POPL-2018-papers151574940000010:30 - 10:55
Talk
Leonidas LampropoulosUniversity of Pennsylvania, Zoe ParaskevopoulouPrinceton University, Benjamin C. PierceUniversity of Pennsylvania
POPL-2018-papers151575090000010:55 - 11:20
Talk
POPL-2018-papers151575240000011:20 - 11:45
Talk
Wonyeol LeeStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University
POPL-2018-papers151575390000011:45 - 12:10
Talk
Shelly GrossmanTel Aviv University, Ittai AbrahamVMWare Research, Guy Golan-GuetaVMWare Research, Yan MichalevskyStanford University, Noam RinetzkyTel Aviv University, Mooly SagivTel Aviv University, Yoni ZoharTel Aviv University
POPL-2018-papers
13:30 - 15:20: Research Papers - Program Analysis II at Bunker Hill
Chair(s): Isil DilligUT Austin
POPL-2018-papers151576020000013:30 - 13:40
Awards
Benjamin DelawarePurdue University
POPL-2018-papers151576020000013:30 - 13:52
Talk
Niki VazouUniversity of Maryland, Anish TondwalkarUCSD, Vikraman Choudhury, Ryan ScottIndiana University, Ryan R. NewtonIndiana University, Philip WadlerUniversity of Edinburgh, UK, Ranjit JhalaUniversity of California, San Diego
POPL-2018-papers151576230000014:05 - 14:30
Talk
Zachary KincaidPrinceton University, John CyphertUniversity of Wisconsin - Madison, Jason BreckUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
POPL-2018-papers151576380000014:30 - 14:55
Talk
POPL-2018-papers151576530000014:55 - 15:20
Talk
Yuepeng WangUniversity of Texas at Austin, Isil DilligUT Austin, Shuvendu K. LahiriMicrosoft Research, William CookUniversity of Texas at Austin
POPL-2018-papers
15:50 - 17:05: Research Papers - Synthesis at Bunker Hill
Chair(s): Nadia PolikarpovaUniversity of California, San Diego
POPL-2018-papers151576860000015:50 - 16:15
Talk
Azadeh FarzanUniversity of Toronto, Zachary KincaidPrinceton University
POPL-2018-papers151577010000016:15 - 16:40
Talk
Kartik ChandraStanford University, Rastislav BodikUniversity of Washington
POPL-2018-papers151577160000016:40 - 17:05
Talk
Xinyu WangUT Austin, Isil DilligUT Austin, Rishabh SinghMicrosoft Research

Wed 10 Jan 2018

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Bunker Hill

Thu 11 Jan 2018

Room10:003011:003012:003013:003014:003015:003016:0030
Bunker Hill

Fri 12 Jan 2018

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Bunker Hill