progscrape: acm.org

A systematic review of CS degree requirements of 250 programs worldwide finds only half offer a computing ethics class, and only a third require it

8 months ago dl.acm.org

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

8 months ago dl.acm.org editors pdf vcs

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods

8 months ago dl.acm.org aws formalmethods

On the criteria to be used in decomposing systems into modules (1972)

8 months ago dl.acm.org

A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Applications

8 months ago dl.acm.org compiler

21st Century C++

9 months ago cacm.acm.org c++ programming

It is time to standardize principles and practices for software memory safety

9 months ago cacm.acm.org rust security

Principles of a reversible programming language

8 months ago dl.acm.org pdf plt

Verus: A Practical Foundation for Systems Verification

8 months ago dl.acm.org rust

Questioning the Criteria for Evaluating Non-Cryptographic Hash Functions

8 months ago cacm.acm.org hash performance