An OOPSLA paper is read twice by design: once by a committee choosing among four outcomes, and again — possibly by the same people — if a revision comes back. Style at this venue therefore optimizes for checkability: a paper whose claims can be verified paragraph by paragraph collects bounded revision demands (or none), while a paper that argues by adjective collects unbounded ones. The published form is a journal article (PACMPL), and the prose should carry that register: measured, self-contained, built to be cited.
| Draft habit | OOPSLA replacement |
|---|---|
| "We present NovelTool, a novel system for..." | Name the design question and your answer; the tool arrives as evidence (see resources/worked-examples/01-introduction.md) |
| "Our approach significantly outperforms..." | The number, the baseline, the workload, the dispersion — or nothing |
| "To the best of our knowledge, first..." | A positioning sentence naming the nearest prior work and the delta (oopsla-related-work) |
| "Due to space limitations, details are in the appendix" | A body-level statement of what the appendix establishes (oopsla-supplementary) |
| A wall of formalism before any example | A running example that motivates each definition as it appears |
OOPSLA's classic papers — from type-system counterexamples to
language-experience reports (resources/exemplars/library.md) — are built
around concrete programs. Choose one small example early and make it do
three jobs: expose the problem, exercise the mechanism, and mark the
boundary (show the case the mechanism does not handle). If your example
cannot demonstrate the limitation honestly, the limitation section will read
as boilerplate — reviewers notice.
Write each contribution as a sentence with a built-in test:
Weak: "We propose an efficient analysis for X."
Strong: "The analysis decides X for programs in fragment F in O(n log n);
outside F it degrades to a sound approximation, evaluated in §6.3."
Weak: "Our semantics is more expressive."
Strong: "Every program typable under [prior] remains typable (Thm 4.1);
the converse fails on the example of §2.2."
The strong forms give a Minor-Revision reviewer something bounded to check — which is exactly the outcome ladder you want to be standing on.
oopsla-supplementary for the layering rule).When revising for a second round, mark the diff in prose quality too: the change log tells reviewers where you changed; the writing must make each change locally self-justifying, because continuity means your examiners remember the old text. Never quietly weaken a claim a reviewer challenged — weaken it visibly, with the reason.
[Register] design-insight-led: yes/no + first page diagnosis
[Adjective sweep] unquantified evaluatives found: <count + worst three>
[Claim audit] contributions rewritten in falsifiable form
[Example] running example present / missing / does not mark boundaries
[Pacing] mechanism-evidence alternation + limitations specificity