By venue
A conference, workshop or journal: the thing that recurs, across all its years.
A
SIGCOMM's quarterly, and the venue where a good deal of the internet's architecture was argued out in print — editorials, measurement notes and short technical papers alongside the conference proceedings it once carried.
SIGPLAN's newsletter, which for decades doubled as the proceedings of its conferences — so a great deal of programming-language research from the 1970s to the 2010s is cited as a Notices issue. It stopped carrying proceedings when PACMPL took that over.
The ACM's journal on computer systems — operating systems, distributed systems, storage and the measurement of real machines. Short volumes, long papers, and the place several of the field's defining systems papers were published.
The ACM's journal for programming languages and systems: semantics, type systems, compilation, program analysis and verification. Where a POPL or PLDI result goes when it is written up in full.
B
The ASL's companion to the Journal of Symbolic Logic, carrying surveys, expository articles and communications rather than primary results — which makes it the better citation when what is wanted is an account of a field rather than a theorem.
C
The ACM's flagship monthly, read across the whole of computing rather than by one speciality. It carries Turing lectures, position pieces and survey-style articles, and historically published research that became foundational — which is why a bibliography reaching back to the 1960s meets it so often.
The IEEE Computer Society's general-audience monthly, covering the whole field at survey depth. Written to be read across specialities, which is why the classic overview of a topic is often a Computer article.
E
Elsevier's series for workshop proceedings in theoretical computer science, running from the late 1990s until it was discontinued in 2021. Many workshops of that period are citable only through an ENTCS volume, which is what keeps it in a bibliography.
F
A journal on the mathematics of software construction: specification languages, refinement, proof and their application to real systems. Founded under Springer and now published by the ACM, it is one of the long-standing homes of the formal-methods literature.
Formal Methods in Computer-Aided Design, the conference where hardware verification and synthesis were argued about from 1996 onwards. It began as a merger of two earlier series, TPCD (Theorem Provers in Circuit Design) and CHARME, both of which appear in the reference lists of the corpus's members here rather than as sets of their own. The 1996 proceedings are LNCS 1166; FMCAD later left Springer and now publishes its own open proceedings, so a reader should not expect the series number to continue.
One member so far, and the set exists mainly so that FMCAD is not filed under Lecture Notes in Computer Science, which is a series spanning forty years and every subject in the field rather than a venue.
G
An ACM symposium on VLSI design, covering circuits, architecture and the design automation between them. Held in the Great Lakes region, hence the name.
I
IBM's own research journal, published since 1957 and now distributed through IEEE. A great deal of foundational work on computer architecture, physics of computation and early systems appeared here rather than at a conference.
The IEEE's quarterly on the history of computing: machines, companies, people and the documentary record. The place to cite for how something actually happened, as against how it is remembered.
The practitioner-facing magazine of the IEEE Communications Society. Tutorial and survey articles on networking and telecommunications, aimed at engineers who build the things rather than at theorists.
A journal of nothing but surveys and tutorials in communications and networking. Its articles are long, heavily cited entry points into a subject, which is what a bibliography usually wants them for.
A journal about tools rather than only techniques — verification and analysis tools, their engineering, and what happens when they meet industrial systems. Closely tied to the TACAS and ISoLA communities.
J
Springer's journal on automated reasoning: theorem provers, proof assistants, decision procedures and the systems built from them. The journal counterpart to CADE and IJCAR.
A theory journal covering complexity, automata, databases and the mathematical side of systems. Its back catalogue holds several results that defined their subfields, which is usually why a bibliography reaches for it.
The Association for Symbolic Logic's main research journal, published since 1936: model theory, set theory, recursion theory and proof theory. The venue where a good deal of what computer science later borrowed from logic first appeared.
The ACM's oldest and most selective journal, taking major results across the whole of computer science. Papers here are long, thoroughly refereed and expected to matter for decades rather than for a conference cycle.
P
The journal form of ACM SIGPLAN's conferences: POPL, ICFP, OOPSLA and PLDI each appear as an issue. Papers are refereed on a journal cycle and then presented at the conference, which is why a citation here names an issue rather than a proceedings volume.
The IEEE's oldest journal, publishing broad review articles across all of electrical engineering and computing. Issues are often themed, and a Proceedings article is typically the standard survey of its subject.
The multidisciplinary journal of the US National Academy of Sciences. Rarely a computing venue, so a record from it is usually here for a specific episode rather than for a subject.
T
The Mathematical Association of America's monthly, written for mathematicians generally rather than for specialists. Its articles are expository by design, so it is where a clean account of a classical result usually lives.
A journal published by the Army Cyber Institute at West Point, on cyber conflict and defence policy as much as on technology. Peer reviewed, and freely readable — held here for the strategic literature rather than the technical.
A reference work maintained by the Metaphysics Research Lab at Stanford, in which every entry is written by a specialist and kept up to date rather than frozen at publication. Entries are refereed by a subject editor and revised over time, which makes it citable in a way an encyclopaedia usually is not — and it is free to read.
Elsevier's broad theory journal, split into sections covering algorithms and complexity, logic and semantics, and formal languages. Large, long-running, and where a conference paper in theory is often expanded into its definitive form.