Skill UI

This guide details the crucial rules for structuring a scientific paper submitted to conferences like ITCS. It dictates how content—including main theorems, proofs, and motivation—must be distributed across three locations: the main body, the submitted appendix, and the external full version (arXiv). The core principle ensures that all decision-critical evidence for accepting the paper resides within the submitted PDF, preventing reviewers from relying on external or unread preprints.

A comprehensive guide for authors targeting top-tier security conferences like NDSS. This skill helps determine manuscript fit, refine the academic framing, strengthen evidence, and understand venue-specific expectations (e.g., realistic attacker models, empirical validation). It serves as a strategic tool for conference submission planning, comparing submissions against related venues like USENIX Security and CCS.

This guide helps researchers navigate the complex landscape of academic publishing in distributed computing. It provides detailed criteria to differentiate between major specialized venues (like PODC, DISC, SPAA) and general systems conferences (ICDCS, OSDI). By analyzing the model, cost measure, and nature of the proof (e.g., provable guarantees, impossibility results), users can determine the best fit for their theoretical contribution, thereby avoiding common submission mistakes and maximizing impact.

This guide outlines the stringent structural requirements for writing papers on distributed systems theory, specifically for top-tier conferences like PODC. It details how to front-load the core arguments, define the model box rigorously (network, timing, fault model), structure proofs logically, and ensure the key results are visible within the critical first 10 pages.

Guidelines for ensuring academic proofs are completely verifiable by third parties, especially when theorems are distributed across multiple documents (e.g., extended abstract and full version). It emphasizes single-source builds, preventing statement drift, and detailing computational determinism requirements for maximum rigor in theoretical computer science research.

This skill acts as a comprehensive guide for authors targeting the USENIX Symposium on Networked Systems Design and Implementation (NSDI). It helps authors assess the fit of their research in networked, distributed, or cloud systems, providing strategic advice on paper reframing, required levels of evidence (e.g., real-scale deployment), and accurate positioning relative to closely related conferences like OSDI and SIGCOMM. It is a critical tool for optimizing conference submission chances.

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.

A specialized downstream skill for CTF-sandbox workflows. Used to analyze complex security challenges driven by AI agent interactions, prompt injection, or infrastructure vulnerabilities. Focuses on tracing control chains involving untrusted input, tool side effects, deployment drift, container runtime issues, and CI/CD supply chain provenance. Ideal for rigorous vulnerability assessment in modern, distributed systems.

A specialized skill for analyzing and reproducing complex, timing-dependent bugs in concurrent systems. Use this to investigate race windows, ordering bugs, lock gaps, stale reads, or state inconsistencies where the final outcome depends critically on request timing or asynchronous execution order. Essential for deep security auditing and debugging of distributed transactions.

Review Protocol Buffer and gRPC API changes to ensure wire and JSON compatibility. This skill covers safe schema evolution, identifying rollout hazards, and maintaining RPC contract quality. It is used when reviewing proto diffs, modifying messages and services, planning migrations, or diagnosing cross-version failures in distributed systems.

Optimize end-to-end application performance through comprehensive profiling, observability, and tuning across backend, frontend, and infrastructure layers. Use this skill for coordinating performance improvements, establishing baselines, designing load tests, and ensuring scalability. It covers database optimization, API tuning, and distributed system enhancements to address real bottlenecks.

This skill provides expert-level review and guidance for complex software systems. It covers modern architecture patterns like microservices, event-driven design, and clean architecture. The architect evaluates scalability, resilience, security, and maintainability. It helps ensure architectural integrity and compliance with best practices across distributed systems and cloud-native environments.