Loading view.
- There are no upcoming events.
- There are no upcoming events.
Session 1
Latest Past Events
How Is Software Security Engineering Different from Software Engineering?
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkJustin Smith (North Carolina State University), Chris Theisen (Microsoft), and Titus Barik (Microsoft)
Weak-Consistency Specification via Visibility Relaxation
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkMichael Emmi (SRI International) (slides)
Designing Self-Certifying Compilers
Hunter West 3rd Floor Small Cafeteria 695 Park Avenue, New YorkKedar Namjoshi (Bell Labs, Nokia) (slides)
