A conference, workshop or journal: the thing that recurs, across all its years.
A
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.ACM SIGCOMM Computer Communication Review
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.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.ACM SIGPLAN Notices
ACM SIGPLAN Notices: SIGPLAN's newsletter, which carried its conference proceedings from the 1970s to the 2010s until PACMPL took over.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.ACM Transactions on Computer Systems (TOCS)
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
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Bulletin of Symbolic Logic
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
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Communications of the ACM
Communications of the ACM: the ACM's flagship monthly across all of computing - Turing lectures, position pieces, surveys, and historically much foundational research.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Computer (IEEE)
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
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Electronic Notes in Theoretical Computer Science
Electronic Notes in Theoretical Computer Science: Elsevier's workshop-proceedings series, late 1990s to 2021. Many workshops of that era are citable only through an ENTCS volume.
F
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Formal Aspects of Computing
Formal Aspects of Computing: a journal on the mathematics of software construction - specification, refinement, proof and their application. Founded under Springer, now published by the ACM.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Formal Methods in Computer-Aided Design (FMCAD)
venue · 5 references
Formal Methods in Computer-Aided Design (FMCAD), since 1996: hardware verification and synthesis. Formed from TPCD and CHARME; the 1996 proceedings are LNCS 1166, later volumes are self-published and open.
G
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Great Lakes Symposium on VLSI (GLSVLSI)
venue · 7 references
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
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.IBM Journal of Research and Development
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.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.IEEE Annals of the History of Computing
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.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.IEEE Communications Magazine
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.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.IEEE Communications Surveys & Tutorials
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
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Journal of Automated Reasoning
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.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Journal of Computer and System Sciences
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.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Journal of Symbolic Logic
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.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Journal of the ACM
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
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Proceedings of the ACM on Programming Languages (PACMPL)
Proceedings of the ACM on Programming Languages (PACMPL): the journal form of POPL, ICFP, OOPSLA and PLDI, so citations name an issue rather than a proceedings volume.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Proceedings of the IEEE
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.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Proceedings of the National Academy of Sciences
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
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.The American Mathematical Monthly
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.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.The Cyber Defense Review
venue · 6 references
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.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.The Stanford Encyclopedia of Philosophy
The Stanford Encyclopedia of Philosophy: a refereed reference work whose entries are written by specialists and revised over time, free to read.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.Theoretical Computer Science
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.