VenueHilton Philadelphia at Penn's Landing
Room nameColumbus Ballroom B
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 18 Jun

deepspec-2018-papers
09:00 - 10:30: DeepSpec 2018 - Deep Specifications at Columbus Ballroom B
deepspec-2018-papers152930520000009:00 - 10:00
Talk
Andrew AppelPrinceton
deepspec-2018-papers152930880000010:00 - 10:30
Talk
Magnus O. MyreenChalmers University of Technology, Sweden
deepspec-2018-papers
11:00 - 12:15: DeepSpec 2018 - LLVM at Columbus Ballroom B
deepspec-2018-papers152931240000011:00 - 11:30
Talk
Steve ZdancewicUniversity of Pennsylvania
deepspec-2018-papers152931420000011:30 - 12:00
Talk
Chung-Kil HurSeoul National University
deepspec-2018-papers
14:00 - 15:40: DeepSpec 2018 - From Testing to Verification at Columbus Ballroom B
deepspec-2018-papers152932320000014:00 - 14:30
Talk
deepspec-2018-papers152932500000014:30 - 15:00
Talk
Benjamin C. PierceUniversity of Pennsylvania
deepspec-2018-papers152932680000015:00 - 15:30
Talk
Leonidas LampropoulosUniversity of Pennsylvania
deepspec-2018-papers
16:10 - 17:35: DeepSpec 2018 - Hardware and Low-Level OS Verification at Columbus Ballroom B
deepspec-2018-papers152933100000016:10 - 16:40
Talk
Zhong ShaoYale University
deepspec-2018-papers152933280000016:40 - 17:10
Talk
Adam ChlipalaMassachusetts Institute of Technology, USA
deepspec-2018-papers152933460000017:10 - 17:35
Talk

Tue 19 Jun

deepspec-2018-papers
09:00 - 10:30: DeepSpec 2018 - Distributed Systems and Cryptography at Columbus Ballroom B
deepspec-2018-papers152939160000009:00 - 10:00
Talk
Mooly SagivTel Aviv University
deepspec-2018-papers152939520000010:00 - 10:30
Talk
deepspec-2018-papers
11:00 - 12:15: DeepSpec 2018 - Haskell Core and Debugging Debuggers at Columbus Ballroom B
deepspec-2018-papers152939880000011:00 - 11:30
Talk
Stephanie WeirichUniversity of Pennsylvania, USA
deepspec-2018-papers152940060000011:30 - 12:00
Talk
deepspec-2018-papers
14:00 - 15:40: DeepSpec 2018 - Concurrency and Concurrent Operating Systems at Columbus Ballroom B
deepspec-2018-papers152940960000014:00 - 14:30
Talk
Jieung KimYale University, USA
deepspec-2018-papers152941140000014:30 - 15:00
Talk
Thomas SewellUNSW, Australia
deepspec-2018-papers152941320000015:00 - 15:30
Talk
William ManskyPrinceton University
deepspec-2018-papers
16:10 - 17:35: DeepSpec 2018 - Lightning Talks at Columbus Ballroom B
deepspec-2018-papers152941740000016:10 - 16:15
Talk
deepspec-2018-papers152941770000016:15 - 16:20
Talk
deepspec-2018-papers152941800000016:20 - 16:25
Talk
Gordon StewartOhio University
deepspec-2018-papers152941830000016:25 - 16:30
Talk
deepspec-2018-papers152941860000016:30 - 16:35
Talk
deepspec-2018-papers152941890000016:35 - 16:40
Talk
deepspec-2018-papers152941920000016:40 - 16:45
Talk
Christine RizkallahUniversity of New South Wales
deepspec-2018-papers152941950000016:45 - 16:50
Talk
Joonwon ChoiMassachusetts Institute of Technology, USA
deepspec-2018-papers152941980000016:50 - 16:55
Talk
Sam GruetterMassachusetts Institute of Technology

Mon 18 Jun 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Columbus Ballroom B
11:00 - 12:15