Skill UI

This guide provides a comprehensive audit checklist for designing and evaluating sensor-based systems (SenSys). It mandates rigorous, real-world measurements across five core axes: energy efficiency, on-device latency distribution, ground truth accuracy, deployment realism, and embedded AI footprint. It ensures that research results are based on measured hardware performance, not simulations or idealized baselines.

This guide outlines the rigorous standards required for submitting top-tier academic papers, such as those for ACM SIGCOMM. It instructs authors on how to transition from general claims to highly evidence-based arguments by focusing on measured operational pain, defining design principles, and pairing every performance claim with concrete testbed, trace, or deployment evidence. Essential for researchers in networking and systems.

This comprehensive guide outlines best practices for designing data systems evaluations, ensuring results are robust, reproducible, and convincing to expert reviewers. It covers workload realism, baseline fairness, necessary ablation studies, and advanced metric visualization techniques (e.g., sweeping curves, failure analysis) required for top-tier data systems research.

A comprehensive guide for writing the evaluation section of a systems paper for top-tier conferences. It teaches authors how to map every technical claim to verifiable experiments, establish fair state-of-the-art baselines, utilize mixed workloads (microbenchmarks, E2E applications, and traces), and honestly report critical metrics like performance tails, variance, and overheads. The goal is to maximize credibility and withstand rigorous peer review.

Provides comprehensive guidelines for designing rigorous technical evaluations for interactive systems, specifically tailored for top-tier venues like UIST. It emphasizes matching evaluation methods to specific artifact claims, reporting distributions over means, closing the interaction loop, and performing thorough ablations against real-world baselines. This framework ensures the scientific rigor and credibility of submitted 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 comprehensive audit checklist for designing and evaluating security experiments, adhering to the highest academic standards (e.g., USENIX Security). It guides users through verifying adaptive attacker models, calculating precision at realistic base rates, ensuring statistical honesty for stochastic results, and maintaining ethical compliance when working with live systems.

A detailed guide for revising academic papers, specifically tailored for systems and database conferences like VLDB. It emphasizes establishing a strong 'page-one contract,' quantifying all performance claims with scoped metrics and baselines, and maintaining rigorous candor regarding design trade-offs and terminology throughout the manuscript.

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.

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.