Denver Cowan

Papers

A collection of research papers and technical reports I find interesting or keep as reference. (Psst click the title for key takeaways)

I recommend checking out this paper on how to read a paper to get started; I would only add to consult your favorite LLM if you have some knowledge gaps or shortcomings that are preventing you from understanding a paper.

Software Engineering

• On the Criteria to Be Used in Decomposing Systems into Modules by David L. Parnas — The seminal paper introducing information hiding and modularization.
• Programming with Abstract Data Types by Barbara Liskov & Stephen Zilles — Introduces abstract data types (ADTs) and language constructs for specification and modular encapsulation.

Concurrency

• Communicating Sequential Processes by C.A.R. Hoare — Introduces the CSP model of concurrent computation based on message passing.
• Understanding Real-World Concurrency Bugs in Go by Tengfei Tu, Xiaoyu Liu, Linhai Song, and Yiying Zhang — An empirical study of concurrency bugs in open-source Go applications.

← Back to Home