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-papers09:00 - 10:00
Talk
Andrew AppelPrinceton
deepspec-2018-papers10: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-papers11:00 - 11:30
Talk
Steve ZdancewicUniversity of Pennsylvania
deepspec-2018-papers11: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-papers14:00 - 14:30
Talk
deepspec-2018-papers14:30 - 15:00
Talk
Benjamin C. PierceUniversity of Pennsylvania
deepspec-2018-papers15: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-papers16:10 - 16:40
Talk
Zhong ShaoYale University
deepspec-2018-papers16:40 - 17:10
Talk
Adam ChlipalaMassachusetts Institute of Technology, USA
deepspec-2018-papers17: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-papers09:00 - 10:00
Talk
Mooly SagivTel Aviv University
deepspec-2018-papers10:00 - 10:30
Talk
deepspec-2018-papers
11:00 - 12:15: DeepSpec 2018 - Haskell Core and Debugging Debuggers at Columbus Ballroom B
deepspec-2018-papers11:00 - 11:30
Talk
Stephanie WeirichUniversity of Pennsylvania, USA
deepspec-2018-papers11:30 - 12:00
Talk
deepspec-2018-papers
14:00 - 15:40: DeepSpec 2018 - Concurrency and Concurrent Operating Systems at Columbus Ballroom B
deepspec-2018-papers14:00 - 14:30
Talk
Jieung KimYale University, USA
deepspec-2018-papers14:30 - 15:00
Talk
Thomas SewellUNSW, Australia
deepspec-2018-papers15:00 - 15:30
Talk
William ManskyPrinceton University
deepspec-2018-papers
16:10 - 17:35: DeepSpec 2018 - Lightning Talks at Columbus Ballroom B
deepspec-2018-papers16:10 - 16:15
Talk
deepspec-2018-papers16:15 - 16:20
Talk
deepspec-2018-papers16:20 - 16:25
Talk
Gordon StewartOhio University
deepspec-2018-papers16:25 - 16:30
Talk
deepspec-2018-papers16:30 - 16:35
Talk
deepspec-2018-papers16:35 - 16:40
Talk
deepspec-2018-papers16:40 - 16:45
Talk
Christine RizkallahUniversity of New South Wales
deepspec-2018-papers16:45 - 16:50
Talk
Joonwon ChoiMassachusetts Institute of Technology, USA
deepspec-2018-papers16: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

Tue 19 Jun 2018