TACAS Camera-Ready Preparation
Prepares accepted TACAS and ETAPS research papers for Springer LNCS camera-ready publication with full metadata, de-anonymization, and artifact compliance.
The TACAS Camera-Ready Preparation skill guides authors through the final publication stage for accepted TACAS (ETAPS) papers published under Springer LNCS open access (CC-BY). It systematically checks de-anonymization for double-blind submissions, enforces strict llncs.cls formatting and metadata requirements (including ORCID integration and reference DOIs), incorporates reviewer-requested revisions without scope creep, handles CC-BY consent-to-publish rights forms, and manages artifact badge placement and Zenodo DOI archival links.
Key Features
01Performs systematic de-anonymization sweeps across author blocks, tool names, acknowledgements, and citations
02Validates Springer LNCS LaTeX template compliance, running headers, and ORCID metadata
03Ensures faithful integration of reviewer feedback without unvalidated claim expansion
04Facilitates permanent artifact archival link replacement (Zenodo, figshare, Software Heritage)
05Guides title-page placement of official ETAPS artifact evaluation badges (Available, Functional, Reusable)
061,090 GitHub stars
Use Cases
01De-anonymizing accepted double-blind TACAS research papers while restoring grant funding and real tool names
02Finalizing artifact badges, DOI links, and Springer CC-BY consent-to-publish forms for final proceedings release
03Auditing Springer LNCS camera-ready LaTeX source files against ETAPS formatting guidelines and page limits