Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Publications by Sebastian Schweizer

Publications by Sebastian Schweizer

Conference contributions

  1. Locality and Singularity for Store-Atomic Memory Models, with Egor Derevenetc and Roland Meyer.
    In Proceedings of NETYS 2017.
    DOI | arXiv


  1. Lifetime Analysis for Whiley. Master's Thesis.
    Technische Universität Kaiserslautern, 2016.
    PDF | Slides | More on Whiley | Code Contribution