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

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 10 Jan
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:10: StringsResearch Papers at Bunker Hill
Chair(s): Zachary TatlockUniversity of Washington, Seattle
10:30 - 10:55
Talk
Research Papers
Anders MiltnerPrinceton University, Kathleen FisherTufts University, Benjamin C. PierceUniversity of Pennsylvania, David WalkerPrinceton University, Steve ZdancewicUniversity of Pennsylvania
10:55 - 11:20
Talk
Research Papers
Jeevana Priya InalaMIT, Rishabh SinghMicrosoft Research
11:20 - 11:45
Talk
Research Papers
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
11:45 - 12:10
Talk
Research Papers
Lukáš HolíkBrno University of Technology, Anthony Widjaja LinOxford University, Petr JankůBrno University of Technology, Philipp RuemmerUppsala University, Tomáš VojnarBrno University of Technology
13:40 - 15:20: Verification IResearch Papers at Bunker Hill
Chair(s): Zhong ShaoYale University
13:40 - 14:05
Talk
Research Papers
Quang-Trung TaNational University of Singapore, Ton Chanh LeNational University of Singapore, Siau-Cheng KhooNational University of Singapore, Wei-Ngan ChinNational University of Singapore
14:05 - 14:30
Talk
Research Papers
Christof LödingRWTH Aachen University, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Lucas PeñaUniversity of Illinois at Urbana-Champaign
14:30 - 14:55
Talk
Research Papers
Toby Cathcart BurnUniversity of Oxford, C.-H. Luke OngUniversity of Oxford, Steven RamsayUniversity of Bristol
14:55 - 15:20
Talk
Research Papers
Hiroshi UnnoUniversity of Tsukuba, Yuki SatakeUniversity of Tsukuba, Tachio TerauchiWaseda University
15:50 - 17:30: Memory and ConcurrencyResearch Papers at Bunker Hill
Chair(s): Azadeh FarzanUniversity of Toronto
15:50 - 16:15
Talk
Research Papers
Michalis KokologiannakisNational Technical University of Athens, Greece, Ori LahavTel Aviv University, Israel, Konstantinos (Kostis) Sagonas, Viktor VafeiadisMPI-SWS, Germany
16:15 - 16:40
Talk
Research Papers
Brijesh DongolBrunel University London, Radha JagadeesanDePaul University, James RielyDePaul University
Link to publication DOI Pre-print Media Attached
16:40 - 17:05
Talk
Research Papers
Christopher PulteUniversity of Cambridge, Shaked FlurUniversity of Cambridge, Will DeaconARM Ltd., Jon FrenchUniversity of Cambridge, Susmit SarkarUniversity of St. Andrews, Peter SewellUniversity of Cambridge
17:05 - 17:30
Talk
Research Papers
Hongjin LiangUniversity of Science and Technology of China, Xinyu FengUniversity of Science and Technology of China

Thu 11 Jan
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:10: ConsistencyResearch Papers at Bunker Hill
Chair(s): Xinyu FengUniversity of Science and Technology of China
10:30 - 10:55
Talk
Research Papers
Michael EmmiNokia Bell Labs, Constantin EneaUniversité Paris Diderot
10:55 - 11:20
Talk
Research Papers
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
11:20 - 11:45
Talk
Research Papers
Gowtham KakiPurdue University, Kartik NagarPurdue University, Mahsa NajafzadehPurdue University, Suresh JagannathanPurdue University
11:45 - 12:10
Talk
Research Papers
Ilya SergeyUniversity College London, James R. WilcoxUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle
DOI Pre-print
13:40 - 15:20: TerminationResearch Papers at Bunker Hill
Chair(s): Constantin EneaUniversité Paris Diderot
13:40 - 14:05
Talk
Research Papers
Annabelle McIverMacquarie University, Carroll MorganUniversity of New South Wales; Data 61, Benjamin Lucien KaminskiRWTH Aachen University; University College London, Joost-Pieter KatoenRWTH Aachen University
14:05 - 14:30
Talk
Research Papers
Sheshansh AgrawalIIT Bombay, Krishnendu ChatterjeeIST Austria, Petr NovotnyIST Austria
14:30 - 14:55
Talk
Research Papers
Yangjia LiInstitute of Software, Chinese Academy of Sciences, Mingsheng YingUniversity of Technology Sydney
14:55 - 15:20
Talk
Research Papers
Ivan RadicekTU Vienna, Gilles BartheIMDEA Software Institute, Marco GaboardiUniversity at Buffalo, SUNY, Deepak GargMax Planck Institute for Software Systems, Florian ZulegerTU Vienna
15:50 - 16:40: Language DesignResearch Papers at Bunker Hill
Chair(s): Zachary TatlockUniversity of Washington, Seattle
15:50 - 16:15
Talk
Research Papers
Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan, Zhenjiang HuNational Institute of Informatics
Link to publication DOI Pre-print Media Attached File Attached
16:15 - 16:40
Talk
Research Papers
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
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:10: Testing and VerificationResearch Papers at Bunker Hill
Chair(s): Santosh NagarakatteRutgers University, USA
10:30 - 10:55
Talk
Research Papers
Leonidas LampropoulosUniversity of Pennsylvania, Zoe ParaskevopoulouPrinceton University, Benjamin C. PierceUniversity of Pennsylvania
10:55 - 11:20
Talk
Research Papers
11:20 - 11:45
Talk
Research Papers
Wonyeol LeeStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University
11:45 - 12:10
Talk
Research Papers
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
13:30 - 15:20: Program Analysis IIResearch Papers at Bunker Hill
Chair(s): Isil DilligUT Austin
13:30 - 13:40
Awards
Research Papers
Benjamin DelawarePurdue University
13:30 - 13:52
Talk
Research Papers
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
14:05 - 14:30
Talk
Research Papers
Zachary KincaidPrinceton University, John CyphertUniversity of Wisconsin - Madison, Jason BreckUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
14:30 - 14:55
Talk
Research Papers
14:55 - 15:20
Talk
Research Papers
Yuepeng WangUniversity of Texas at Austin, Isil DilligUT Austin, Shuvendu K. LahiriMicrosoft Research, William CookUniversity of Texas at Austin
15:50 - 17:05: SynthesisResearch Papers at Bunker Hill
Chair(s): Nadia PolikarpovaUniversity of California, San Diego
15:50 - 16:15
Talk
Research Papers
Azadeh FarzanUniversity of Toronto, Zachary KincaidPrinceton University
16:15 - 16:40
Talk
Research Papers
Kartik ChandraStanford University, Rastislav BodikUniversity of Washington
16:40 - 17:05
Talk
Research Papers
Xinyu WangUT Austin, Isil DilligUT Austin, Rishabh SinghMicrosoft Research

Wed 10 Jan
Times are displayed in time zone: Tijuana, Baja California change

Thu 11 Jan
Times are displayed in time zone: Tijuana, Baja California change

Fri 12 Jan
Times are displayed in time zone: Tijuana, Baja California change