Skill UI

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 details the unique two-deadline review model of SenSys. It provides authors with a comprehensive roadmap for interpreting complex rejection outcomes, structuring substantive revisions, formulating effective responses to reviewers, and understanding critical systems review criteria, such as energy measurement and baseline fairness. Essential reading for systems researchers.

A comprehensive methodology for rigorous scientific research in operating systems and complex systems. This guide details how to pin environments (OS, firmware, hardware), automate data capture, and script all figures to ensure that experimental results are auditable and fully reproducible, protecting findings against review challenges.

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.

SymPy is a powerful Python library designed for symbolic mathematics. Unlike numerical solvers, it performs exact calculations using mathematical symbols, allowing users to model and solve complex problems across various domains. Core capabilities include symbolic calculus (derivatives, integrals, limits), advanced algebra, solving systems of equations, linear algebra (determinants, eigenvalues), and specialized modules for physics and number theory. It can also generate executable code in languages like C and Fortran, making it invaluable for academic research and scientific computing.

Provides a comprehensive, quantitative auditing system for AI agents, skills, and commands. It evaluates these components against industry best practices using a multi-criteria weighted scoring model and assign a production readiness grade (A-F). Ideal for validating complex AI systems before deployment, identifying gaps, and ensuring robust, maintainable code.

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.

This specialized skill traces the complete lifecycle of an uploaded or imported file through complex backend systems. It maps the sequence from ingress to final consumer, tracking every derived artifact, archive extraction, format conversion, parser invocation, and deserialization step. It is crucial for security analysis, vulnerability research, and understanding how a file reaches a decisive backend effect after initial sandbox assumptions are made.

A specialized downstream skill for analyzing security vulnerabilities in complex agentic systems. This tool is designed for red teaming and penetration testing, focusing on detecting prompt injection, retrieval poisoning, memory contamination, planner drift, and tool boundary abuse within multi-step LLM chains. Use when proving how untrusted inputs compromise system integrity.

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.

This skill guides a thorough, adversarial review of development plans across four key dimensions: Architecture, Code Quality, Testing, and Performance. It forces explicit consideration of trade-offs, risks, and user approval before any code is written, ensuring robust and well-engineered solutions for complex systems.

A comprehensive methodology for diagnosing complex systems where problems are emergent across multiple components. It guides the user to map system boundaries, stocks and flows, feedback loops, and underlying structural drivers. By identifying the highest feasible leverage point, it recommends structural interventions that address root causes rather than superficial symptoms.