Skip to content

@GLaDOS-Michigan GLaDOS@Michigan

All

    Repositories list

    20 repositories

    • eecs498-f26

      Public
      A repository with the assignments, demos and lab exercises for EECS498-003/CSE598-008 in Fall 2026
      Dafny
      •0•1•0•0•Updated Sep 18, 2026Sep 18, 2026

    • Basilisk

      Public
      Artifact for the OSDI'2025 paper
      C#
      •3•16•0•0•Updated Sep 9, 2026Sep 9, 2026

    • eecs498-f25

      Public
      A repository with the assignments, demos and lab exercises for EECS498-003/CSE598-008 in Fall 2025
      Dafny
      •1•1•0•0•Updated Sep 4, 2026Sep 4, 2026

    • boost-2025

      Public
      A repository with the assignments for BOOST 2025 in Oropa
      Dafny
      •1•0•0•0•Updated Jul 18, 2025Jul 18, 2025

    • verification-class

      Public
      Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
      Dafny
      •
      MIT License
      •1•12•0•0•Updated Feb 7, 2025Feb 7, 2025

    • Kondo

      Public
      C#
      •3•7•0•0•Updated May 27, 2024May 27, 2024

    • IronSpec

      Public
      C#
      •2•7•1•0•Updated May 21, 2024May 21, 2024

    • IronSpec-dafny-grpc-server

      Public
      C++
      •
      MIT License
      •0•0•0•0•Updated Apr 12, 2024Apr 12, 2024

    • GLaDOS-Michigan.github.io

      Public
      HTML
      •0•0•0•0•Updated Jul 1, 2023Jul 1, 2023

    • pitometer

      Public
      Verifying real-time performance guarantees for distributed systems
      Go
      •0•0•0•0•Updated Feb 24, 2023Feb 24, 2023

    • Sift

      Public
      The code base for the Sift prototype, as described in the ATC '22 paper "Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems"
      C++
      •1•1•0•0•Updated Jun 6, 2022Jun 6, 2022

    • ivy

      Public
      IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and exper…
      Python
      •
      Other
      •89•0•0•0•Updated May 9, 2022May 9, 2022

    • MC-Evals

      Public
      Python
      •0•2•0•0•Updated Apr 28, 2022Apr 28, 2022

    • dafnyMC

      Public
      Integrating protocol debugging workflows into dafny
      C#
      •
      Other
      •327•0•3•0•Updated Apr 28, 2022Apr 28, 2022

    • proof-user-study

      Public
      Dafny
      •0•0•0•0•Updated Feb 22, 2022Feb 22, 2022

    • I4

      Public
      The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protoc…
      Python
      •2•27•0•0•Updated May 25, 2021May 25, 2021

    • Aegean

      Public
      The source code for the implementation and evaluation of the Aegean replication framework
      Java
      •4•8•0•3•Updated Apr 26, 2021Apr 26, 2021

    • IronFleet

      Public
      C#
      •0•1•0•0•Updated May 5, 2020May 5, 2020

    • CodeLab-ToyLock

      Public
      C#
      •1•0•0•0•Updated Dec 4, 2019Dec 4, 2019

    • avr

      Public
      Reads a Verilog file and performs property checking.
      Python
      •24•0•0•0•Updated Aug 21, 2019Aug 21, 2019
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.