| layout | title |
|---|---|
page |
SERPL 2019 - Programme |
Rooms:
- Workshop: RV 2201
- Quiet Room: RV 2501
- Lunch: GCC Rooftop (take elevator 1)
SERPL Programme on May 11, 2019:
-
8:30 - 9:15 : Registration and Snacks
-
9:15 - 9:25 : Opening Remarks from the Dean of the School of Computer and Cyber Sciences, Alex Schwarzmann
-
9:30 - 10:30 : (Keynote) "Metaprogramming Haskell, The Racket Way", Alexis King
Abstract, Slides, Picture -
10:35 - 11:05 : "On Optimally Combining Static and Dynamic Analyses For Intensional Program Properties", Ravi Mangal (Georgia Tech)
Abstract, Slides, Picture -
11:10 - 11:40 : "Semantic-Aware Synchronization Determinism and Beyond", Qi Zhao (North Carolina State University)
Abstract, Slides (in pptx), Picture -
11:45 - 12:20 : "Structural Equivalence in Reversible Calculus of Communicating Systems", Clément Aubert (Augusta University)
Abstract, Slides -
12:30 - 13:25 : Lunch on the rooftop of the GCC
-
13:30 - 14:00 : "Escaping the Clone Zone: Java Runtime-Managed Snapshots Current and Future Work", Matt Davis (East Carolina University)
Abstract, Slides (in pptx), Picture -
14:05 - 14:35 : "On the Internal and External View of Graded Linear Logic", Preston Keel (Augusta University)
Abstract, Slides (in key), Picture -
14:40 - 15:10 : "The Granule Project", Harley Eades (Augusta University)
Abstract, Slides -
15:10 - 15:40 : Break
-
15:40 - 16:10 : "Language-Level Support for Co-Creative Programming", Chris Martens (North Carolina State University)
Abstract, Slides, Picture -
16:15 - 16:45 : "Understanding Database Usage in PHP Systems: Current and Future Work", Mark Hills (East Carolina University)
Abstract, Slides, Picture -
16:45 - ???? : Gather a group for dinner
| From left to right: | |
|---|---|
| Aubrey Bryant, Mark Hills, Shivan Bhatt, Matt Davis, Alexis King, Aleksei Vilkomir, Harley Eades, | |
| Qi Zhao, Ravi Mangal, Clément Aubert, James O'meara |