Learning & Documentation Agent Skills for Microsoft Copilot

Use when deciding whether a data-management project belongs at ACM PODS (the database-theory symposium) or should be routed to…

Use when revising an ACM PODS paper for a precise model and result on the first page, exact theorem statements with matching bounds…

Use when articulating the real-world, policy, and practice implications of a Global Environmental Change (GEC) manuscript.

Use when packaging a POPL artifact — above all a mechanized proof development in Rocq/Coq, Lean, Agda, or Isabelle — for the…

Use when positioning a POPL paper in the semantics, type-systems, and verification literature — stating per-line technical deltas against…

Use when deciding whether a project is POPL-shaped — a principle about programming languages carried by definitions and theorems — or…

Use when drafting or revising POPL prose — building the informal-to-formal ramp from a motivating program to definitions to a sharply…

Use when revising a Perspectives on Psychological Science (PoPS) piece for the PoPS voice — broad, provocative, accessible to…

Curate and present creative/technical work for maximum impact.

Implement POSSE (Publish on Own Site, Syndicate Elsewhere) content distribution with canonical URLs, cross-platform syndication, backfeed…

Audit whether the corpus has enough initialized navigation, graph, metadata and source-state artifacts to honestly say that kickstart…

Use when packaging a PPoPP artifact for the post-acceptance, CGO-shared artifact-evaluation track, covering PPoPP's specific badge policy…

Use when preparing a PPoPP camera-ready, covering systematic de-anonymization, ACM rights/eRights and CCS concepts metadata, restoring the…

Use when designing or auditing a PPoPP paper's evaluation, covering the twin bar of concurrency correctness and measured scalability…

Use when writing or auditing a PPoPP paper's related-work and positioning, covering the parallel-programming literature lanes (concurrent…

Use when making a PPoPP paper's parallel-performance results reproducible, covering the hardware and topology description reviewers…

Use when reasoning about how a PPoPP submission is evaluated, covering double-blind review, the Program Committee plus External/Extended…

Use when deciding whether a parallel/concurrent-computing project belongs at PPoPP or should be routed to PLDI, CGO, POPL, ASPLOS, HPCA…

Use when drafting or tightening a PPoPP paper's prose and structure, covering the two-column acmart sigplan layout, the 10-page…

Guides academic authors in writing professional rebuttals and organizing revision packages for the Pattern Recognition and Artificial…

Structures main text and supplementary materials for Pattern Recognition and Artificial Intelligence journal submissions to balance…