Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning
No abstract available.
Related papers
- Specy: Learning Specifications for Distributed Systems from Event Traces OOPSLA 2026
- Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution) TACAS 2023
- Artemis: practical runtime monitoring of applications for execution anomalies PLDI 2006
- Learning refinement types ICFP 2015
- Object Lessons Learned from a Distributed System for Remote Building Monitoring and Operation OOPSLA 1998
- Perception Contracts for Safety of ML-Enabled Systems OOPSLA 2023
- Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned CAV 2024
- High performance distributed deep learning: a beginner's guide PPoPP 2019