Add 16 refs for the Kiewit PLF proposal and companion whitepaper

[jeremymanning]

Summary

Adds 16 new bibliography entries supporting the Kiewit proposal (a Dartmouth Provost Leadership Fellows 2026–2027 application) and its companion whitepaper on distributed diffusion-LM inference.

All entries were individually web-verified against primary sources and formatted to pass python bibcheck.py verify cdl.bib.

Historical Dartmouth references

key	paper	verified via
KemeKurt68	Kemeny & Kurtz, "Dartmouth time-sharing", Science 162(3850):223–228 (1968)	PubMed 5675464
Keme72	Kemeny, Man and the Computer (Scribner's, 1972)	Open Library OL5282840M
McCaEtal06	McCarthy, Minsky, Rochester & Shannon, AI Magazine 27(4):12–14 (2006 reprint of 31 Aug 1955 proposal)	AAAI OJS PDF (page range read directly)
Rank18	Rankin, A People's History of Computing in the United States (HUP, 2018)	HUP catalog
Kurt81	Kurtz, "BASIC", in History of Programming Languages, Wexelblat ed., Academic Press, pp. 515–537	ACM DL 10.1145/800025.1198404

Kurt81 uses Force = {True} because bibcheck's sentence-case rule would render the acronym "BASIC" as "Basic".

Systems / distributed-inference references

key	paper
KwonEtal23	PagedAttention, SOSP 2023 (pp. 611–626)
LiEtal24	DistriFusion, CVPR 2024 Highlight
HanEtal24	David helps Goliath, NAACL 2024 long (pp. 8385–8400)
BorzEtal23a	Petals demo, ACL 2023 demos (pp. 558–568)
BorzEtal23b	Follow-up NeurIPS 2023 paper on distributed inference/fine-tuning of LLMs over the internet (pp. 12312–12331). Distinct from the ACL demo above; note the different transliteration of "Ryabinin" (this paper) vs "Riabinin" (the ACL demo)
ShihEtal23	Parallel sampling of diffusion models (ParaDiGMS), NeurIPS 2023 Spotlight (pp. 4263–4276)

Diffusion-LM references

key	paper
YeEtal25	Dream 7B (arXiv:2508.15487)
NieEtal25	LLaDA (arXiv:2502.09992)
TrauEtal25	DCUtR NAT-traversal measurement campaign (arXiv:2510.27500). The project's local refs.bib had abbreviated the author list with "and others"; this entry carries the verified 4-author list
BradNakk25	Classifier-free guidance is a predictor-corrector, TMLR 2025 (OpenReview forum zrWNtzSZsf)
RazaEtal26	When are two scores better than one? (full title includes "investigating ensembles of diffusion models"), TMLR 2026 (OpenReview forum 4iRx9b0Csu)

Integrity check

python bibcheck.py verify cdl.bib
→ looks good!

Test plan

• python bibcheck.py verify cdl.bib passes cleanly on this branch
• Each new entry's primary source URL was opened and the field values were compared line-by-line
• No existing cdl.bib entries were modified
• No duplicate keys introduced (bibcheck duplicate check passed)
• Key-naming convention: 4-author-prefix + 2-digit year, with a/b suffixes on collision (BorzEtal23a / BorzEtal23b)

🤖 Generated with Claude Code