Skill UI

This guide provides detailed guidelines for authors submitting to top-tier formal methods conferences (like TACAS). It emphasizes moving beyond simple literature summaries by employing a "delta-first" approach. Authors must precisely position their algorithm or tool by contrasting its novel features, guarantees, or scaling benefits against the nearest prior work, while also crediting underlying infrastructure and covering major verification venues.

This skill provides a comprehensive guide for authors targeting the USENIX Symposium on Operating Systems Design and Implementation (OSDI). It helps in positioning complex systems research, covering core scope areas like operating systems, distributed systems, and cloud infrastructure. It details how to frame the contribution, build evidence (artifacts, baselines), and distinguish the work from similar top-tier venues like SOSP and NSDI.

This workflow performs a comprehensive review against the Azure Well-Architected Framework (WAF) using your existing Infrastructure as Code (IaC) and deployed resources. It systematically checks the five pillars—Reliability, Security, Cost Optimization, Operational Excellence, and Performance Efficiency—identifying architectural risks, drift, and compliance gaps. Findings are automatically logged and converted into actionable GitHub issues for streamlined remediation.