FMS 2018
co-located with PLDI 2018
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

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 W. Appel Princeton
10:00
30m
Talk
CakeML: from functions to machine code with proof all the way
DeepSpec
Magnus O. Myreen Chalmers University of Technology, Sweden
11:00 - 12:15
11:00
30m
Talk
Vellvm - Modular Semantics via Interaction Trees
DeepSpec
Steve Zdancewic University of Pennsylvania
11:30
30m
Talk
Crellvm
DeepSpec
Chung-Kil Hur Seoul 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. Pierce University of Pennsylvania
15:00
30m
Talk
QuickChick: Random Testing in Coq
DeepSpec
Leonidas Lampropoulos University of Pennsylvania

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 Weirich University 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 Kim Yale University, USA
14:30
30m
Talk
Verifying seL4 towards Concurrency
DeepSpec
Thomas Sewell UNSW, Australia
15:00
30m
Talk
Specifying and Verifying Concurrent Programs with Ghost State
DeepSpec
William Mansky Princeton University

Mon 18 Jun

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