TLA+ Logo
  • Home
  • 2025 - TLA+ Community Event
  • 2024 - TLA+ Community Event
  • 2024 - TLA+ Conf
  • 2023 - TLA+ Community Event
  • 2022 - TLA+ Conf
    • 2021 - TLA+ Tutorial
    • 2021 - TLA+ Conf
      • 2020 - TLA+ Community Event
      • 2019 - TLA+ Conf
        • 2018 - TLA+ Community Event
          • 2014 - TLA+ Community Event
            • 2012 - TLA+ Community Event

            Contact

            "tla2024" \o "@" \o "tlapl.us"
            TLA+ Community Event & Conference > 2019 - TLA+ Conf

            TLA+ Conf 2019

            timetitlespeakerslidesrecording
            9:00Keynote: TLA+ at Microsoft: 16 Years in ProductionDavid Langworthypptxvideo
            9:45Building Hyperscale IoT Services With TLA+Vaibhav Sharmapptxvideo
            10:30Coffee break
            11:00Compiling Distributed System Models into Implementations with PGoIvan Beschastnikhpdfvideo
            11:45S-expressions for Actions with Logic TemporalDavid McNeilpdfvideo
            12:30Lunch
            14:00Exposing Design Flaws in Shared-Clock Systems with TLA+Russell Mullpdfvideo
            14:25Using TLA+ for fun and profit in the development of ElasticsearchYannick Welschpptxvideo
            14:45Fixing a MongoDB Replication Protocol Bug with TLA+William Schultzpdfvideo
            15:30Coffee Break
            16:00Alloy for TLA+ usersJay Parlar
            16:45On Advocacy and InstructionHillel Wayne
            17:30Discussion and wrap-up
            18:00End of the conference
            19:00Further networking during the Strange Loop Party at the City Museeum