Loading view.
Session 1
Designing Self-Certifying Compilers
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesKedar Namjoshi (Bell Labs, Nokia) (slides)
Weak-Consistency Specification via Visibility Relaxation
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesMichael Emmi (SRI International) (slides)
How Is Software Security Engineering Different from Software Engineering?
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New York, NY, United StatesJustin Smith (North Carolina State University), Chris Theisen (Microsoft), and Titus Barik (Microsoft)
