VenueHilton Philadelphia at Penn's Landing
Room nameColumbus Ballroom B
Floor0
Room InformationNo extra information available
Program

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

Conference Day
Mon 18 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Deep SpecificationsDeepSpec at Columbus Ballroom B
09:00
60m
Talk
The Science of Deep Specification
DeepSpec
Andrew AppelPrinceton
10:00
30m
Talk
CakeML: from functions to machine code with proof all the way
DeepSpec
Magnus O. MyreenChalmers University of Technology, Sweden
11:00 - 12:15
11:00
30m
Talk
Vellvm - Modular Semantics via Interaction Trees
DeepSpec
Steve ZdancewicUniversity of Pennsylvania
11:30
30m
Talk
Crellvm
DeepSpec
Chung-Kil HurSeoul National University
14:00 - 15:40
From Testing to VerificationDeepSpec at Columbus Ballroom B
14:00
30m
Talk
Verifiable C, a logic and system for proving C programs correct
DeepSpec
14:30
30m
Talk
Progress Report on the DeepSpec Web Server
DeepSpec
Benjamin C. PierceUniversity of Pennsylvania
15:00
30m
Talk
QuickChick: Random Testing in Coq
DeepSpec
Leonidas LampropoulosUniversity of Pennsylvania

Conference Day
Tue 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:15
Haskell Core and Debugging DebuggersDeepSpec at Columbus Ballroom B
11:00
30m
Talk
Towards a formal semantics for GHC Core
DeepSpec
Stephanie WeirichUniversity of Pennsylvania, USA
11:30
30m
Talk
Debugging Debug Information and Beyond
DeepSpec
14:00 - 15:40
Concurrency and Concurrent Operating SystemsDeepSpec at Columbus Ballroom B
14:00
30m
Talk
Multicore and Multithreaded Linking for Concurrent CertiKOS
DeepSpec
Jieung KimYale University, USA
14:30
30m
Talk
Verifying seL4 towards Concurrency
DeepSpec
Thomas SewellUNSW, Australia
15:00
30m
Talk
Specifying and Verifying Concurrent Programs with Ghost State
DeepSpec
William ManskyPrinceton University

Conference Day
Mon 18 Jun

Displayed time zone: Eastern Time (US & Canada) change

Conference Day
Tue 19 Jun

Displayed time zone: Eastern Time (US & Canada) change