SSL is a seminar for discussing recent technical papers in systems and security. The goal is to foster technical discussions among the GW research community. The seminar is open to all GW students interested in research. First and second year PhD students are especially welcome.

Talks will be advertised on the ssl-lunch mailing list.

Previous semesters: [Fall 2011]

Date Paper Presenter
08/29/12 Introductions and elevator pitches.
09/05/12 Multi-core Real-Time Scheduling for Generalized Parallel Task Models.
Abusayeed Saifullah, Kunal Agrawal, Chenyang Lu, and Christopher Gill.
Qi Wang
09/12/12 Canceled for CS Fall Fiesta.
09/19/12 Shared Hardware Data Structures for Hard Real-Time Systems.
Gedare Bloom, Gabriel Parmer, Bhagirath Narahari, and Rahul Simha.
Gedare Bloom
09/26/12 Moved to the sixth floor conference room.
Application-aware Cross-layer Virtual Machine Resource Management.
Lixi Wang, Jing Xu, and Ming Zhao.
Jinho Hwang
10/03/12 Canceled for PI meetings.
10/10/12 Canceled because of illness.
10/17/12 Dr. Android and Mr. Hide: Fine-grained security policies on unmodi´Čüed Android.
Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, and Todd Millstein.
Kristopher Micinski (UMCP)
10/24/12 At 11 am in the CS conference room.
The Battle for Control of Online Communications.
Nick Feamster.
Nick Feamster (UMCP and Georgia Tech)
10/31/12 Scheduling Analysis under Fault Bursts.
Florian Many and David Doose.
Jiguo Song
11/07/12 Moved to Rome 771 (English dept. conference room).
seL4: Formal verification of an OS kernel.
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood.
Andrew Hirsch
11/14/12 Legally Authorized Telephone Surveillance: Problems and (Some) Solutions.
Adam Bates, Kevin Butler, Micah Sherr, Clay Shields, Patrick Traynor, and Dan Wallach.
Micah Sherr (Georgetown)
11/21/12 Thanksgiving Break
11/28/12 Generalized Resource Allocation for the Cloud.
Anshul Rai, Ranjita Bhagwan, and Saikat Guha.
Sundaresan Rajasekaran
12/05/12 Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System.
Jean Yang and Chris Hawblitzel.
Scotty Smith