A view from the rooftop of the GCC building.

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