Skill UI

A comprehensive guide for researchers deciding the optimal venue for systems projects, such as OSDI, SOSP, or NSDI. It provides structured tests (built-and-measured, operational experience) and scoping criteria to help authors determine if their work is a research contribution or a production-level lesson, ensuring projects are routed to the correct academic conference before significant time is spent writing.

This skill provides comprehensive command-line interface (CLI) support for OpenViking, enabling agents to manage external resources, perform filesystem operations, and execute data tasks. It covers adding resources, importing/exporting data, browsing directories, reading/writing files, and advanced searching (find, grep, search). Use cases include data pipeline setup, knowledge graph manipulation, and system maintenance.

This comprehensive guide helps researchers decide the optimal venue for their ubiquitous computing (Ubicomp) paper. It provides detailed criteria for distinguishing contributions—such as human-centricity, core insight, and system focus—and advises on routing between major conferences (PerCom, MobiCom, SenSys) and journals (UbiComp/IMWUT) based on contribution shape and publication model.

This guide provides a detailed framework for researchers to determine the most suitable venue (e.g., PLDI, POPL, OOPSLA) for their programming language or systems research paper. It guides authors on whether their core evidence lies in theoretical proofs, working implementations with benchmarks, or empirical usage studies, ensuring optimal submission routing and maximizing acceptance chances.

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.

This guide details the standards for submitting theoretical computer science papers, focusing on the required "formal-claims package." It emphasizes that the deliverable is not a runnable systems artifact, but a rigorous academic package containing a complete, self-contained proof appendix, a clear mapping of every stated claim to its proof location, and a full, publicly available version on arXiv.

This guide provides strict guidelines for authors writing the "Related Work" section for top-tier programming language theory conferences like POPL. It emphasizes moving beyond general literature reviews to pinpoint precise, technical "delta sentences" that prove novelty against neighboring formal systems. It covers citation standards, venue mapping, and attribution verification for maximum academic impact.

A comprehensive guide for researchers detailing how to structure the 'Related Work' section for top-tier parallel computing conferences like PPoPP. It emphasizes 'delta-first' comparison, covering specific technical lanes (concurrent data structures, runtimes, GPU acceleration, memory models), and ensuring proper academic positioning against major parallel systems venues.

A comprehensive guide detailing the rigorous standards required for submitting parallel programming research to top-tier academic venues. It covers crucial topics such as proving concurrency correctness, demonstrating measurable scalability using speedup curves, adhering to strict formatting (10 pages, two-column layout), and structuring the technical contribution to satisfy expert reviewers.

This guide assists in building a robust theoretical framework for research policy manuscripts. It moves beyond simple empirical measurement by structuring the argument using the innovation-mechanism chain (antecedent → mechanism → outcome). It teaches how to connect firm-level findings up to the systemic policy or institutional level, ensuring the contribution is theoretically advanced and legible across disciplines (e.g., economic, managerial, STS).

A comprehensive guide detailing the required structure and technical rigor for writing papers in sensing and embedded systems (SenSys). It mandates replacing vague adjectives with concrete, measured metrics (e.g., energy in joules, latency in milliseconds) and structuring the argument around a clear 'pain $\to$ gap $\to$ mechanism $\to$ measured behavior' arc on the first page. Essential for academic researchers and engineers.