CCS Colloquium
Description
This is the schedule for the School of Computer and Cyber Sciences (CCS) Colloquium Series. This course brings weekly researchers in CCS related areas to Augusta University to introduce their work, and provide an opportunity for networking.
This semester the seminar is completely online, and thus, we will be opening the talks up to the wider research community.
This page will be updated with the details of each talk including their abstracts.
Format
Each talk will be over Zoom. If you are interested in attending one of the presentations please RSVP a few days in advance by sending Harley Eades an email.
Videos
All of the talks are recorded and posted to Youtube and can be found here: https://www.youtube.com/playlist?list=PLTq59cBPOhWJK2QW9jtXEwhqT-S4I4vwE
Schedule
Each talk is between 1pm and 2pm EDT on their respective day, unless stated otherwise.
- 8/21/2020: Dependable Systems for Managing Valuable Data by Edward Tremel
- 8/28/2020: Identification and Extraction of Content-hiding iOS Applications by Gokila Dorai
- 9/4/2020: Language-Integrated Verification by Ranjit Jhala
- 9/11/2020: From Scripting to Proving: Gradual Verification for Expressive Programming Languages by David Van Horn
- 9/18/2020: Algorithmic Game Theory for Network Bottlenecks by Costas Busch
- 9/25/2020: Making Types More Descriptive via Grading by Dominic Orchard
- 10/2/2020: Benchmarking Theorems of Implicational Linear Logic by Valeria de Paiva
- 10/16/2020: Developing Distinct IT Use Constructs: Literature Analysis, Theory, and an Empirical Test by Jason Williams
- 10/23/2020: Category Theory in Communication, Cryptography, and Security by Peter Hines
- 10/30/2020: Achieving Programmability and Performance for Data-Intensive Computations Using Reduction Based APIs by Gagan Agrawal
- 11/6/2020: On Adversarial Testing of Cellular Network Protocols by Omar Chowdury
- 11/13/2020: Dependent Type Driven Program Synthesis by Edwin Brady
- 11/20/2020: Resource Constrained Programming with Full Dependent Types by Robert Atkey
- 12/4/2020: RustBelt: Logical Foundations for the Future of Safe Systems Programming by Derek Dreyer
