Use when building or auditing tables and figures for a Quantitative Economics (QE) manuscript so exhibits follow QE house rules — no…
Use when exhibits in a World Development (WD) manuscript are dense, asterisk-laden, or fail a multidisciplinary reader — including maps…
Use when building or revising the exhibits of a The Review of Economics and Statistics (REStat) manuscript so the main result is legible…
Use when the exhibits are the bottleneck for a Review of Accounting Studies (RAST) manuscript — building self-contained accounting panel…
Use when designing the PRISMA flow diagram, forest/funnel plots, and coding/evidence tables for a Review of Educational Research (RER)…
Use when main-paper exhibits are the bottleneck for a The Review of Financial Studies (RFS) manuscript — table layout, standard-error…
Use when building tables and figures for a Social Forces (SF) manuscript.
Use when building or cleaning up the tables and figures of a Strategic Management Journal (SMJ) manuscript.
Use when building or pruning the exhibits of a Journal of International Marketing (JIM) manuscript — the invariance table, per-country…
Tabular Editor documentation search and configuration file guidance (.tmuo, Preferences.json, UiPreferences.json, Layouts.json).
Control Chrome browser via 71 MCP tools - screenshots, clicks, forms, downloads, network capture, TTS, history, cookies, emulation.
Use when packaging a TACAS (ETAPS) artifact for the ETAPS Artifact Badges (Available, Functional, Reusable), covering the two-round model…
Use when preparing an accepted TACAS (ETAPS) paper for its Springer LNCS camera-ready, covering de-anonymization of a double-blind…
Use when designing or auditing a TACAS (ETAPS) evaluation, covering shared verification benchmarks (SV-COMP-style task sets), fair…
Use when positioning a TACAS (ETAPS) submission against the verification literature across TACAS, CAV, VMCAI, FMCAD, SPIN, and journals…
Use when reasoning about how a TACAS (ETAPS) submission is evaluated, covering the per-category blind model (double-blind research vs…
Use when auditing a TACAS (ETAPS) submission for EasyChair readiness, covering the choice among the four paper categories (research…
Use when deciding what belongs in a TACAS (ETAPS) paper body versus its appendix, supplementary website, and artifact, covering the…
Use when deciding whether a formal-methods / verification project belongs at TACAS (ETAPS) or a sibling like CAV, VMCAI, FMCAD, SPIN, or a…
Use when planning a TACAS (ETAPS) project timeline from category choice and venue fit through the EasyChair paper deadline, the mandatory…
Use when revising a TACAS (ETAPS) paper for a clear construction-or-analysis contribution on the first page, a stated…