Write a Blog >>
ISMM 2018
co-located with PLDI 2018
VenueHilton Philadelphia at Penn's Landing
Room nameColumbus Ballroom B
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

Mon 18 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

09:00 - 10:30: Deep SpecificationsDeepSpec at Columbus Ballroom B
09:00 - 10:00
Talk
DeepSpec
Andrew AppelPrinceton
10:00 - 10:30
Talk
DeepSpec
Magnus O. MyreenChalmers University of Technology, Sweden
11:00 - 12:15: LLVMDeepSpec at Columbus Ballroom B
11:00 - 11:30
Talk
DeepSpec
Steve ZdancewicUniversity of Pennsylvania
11:30 - 12:00
Talk
DeepSpec
Chung-Kil HurSeoul National University
14:00 - 15:40: From Testing to VerificationDeepSpec at Columbus Ballroom B
14:00 - 14:30
Talk
DeepSpec
14:30 - 15:00
Talk
DeepSpec
Benjamin C. PierceUniversity of Pennsylvania
15:00 - 15:30
Talk
DeepSpec
Leonidas LampropoulosUniversity of Pennsylvania

Tue 19 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

11:00 - 12:15: Haskell Core and Debugging DebuggersDeepSpec at Columbus Ballroom B
11:00 - 11:30
Talk
DeepSpec
Stephanie WeirichUniversity of Pennsylvania, USA
11:30 - 12:00
Talk
DeepSpec
14:00 - 15:40: Concurrency and Concurrent Operating SystemsDeepSpec at Columbus Ballroom B
14:00 - 14:30
Talk
DeepSpec
Jieung KimYale University, USA
14:30 - 15:00
Talk
DeepSpec
Thomas SewellUNSW, Australia
15:00 - 15:30
Talk
DeepSpec
William ManskyPrinceton University
16:10 - 17:35: Lightning TalksDeepSpec at Columbus Ballroom B
16:10 - 16:15
Talk
DeepSpec
16:15 - 16:20
Talk
DeepSpec
16:20 - 16:25
Talk
DeepSpec
Gordon StewartOhio University
16:25 - 16:30
Talk
DeepSpec
16:30 - 16:35
Talk
DeepSpec
16:35 - 16:40
Talk
DeepSpec
16:40 - 16:45
Talk
DeepSpec
Christine RizkallahUniversity of New South Wales
16:45 - 16:50
Talk
DeepSpec
Joonwon ChoiMassachusetts Institute of Technology, USA
16:50 - 16:55
Talk
DeepSpec
Sam GruetterMassachusetts Institute of Technology

Mon 18 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Tue 19 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change