progscrape: dl.acm.org

Empowering WebAssembly with Thin Kernel Interfaces

14 months ago dl.acm.org kernel linux wasm

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

15 months ago dl.acm.org

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

15 months ago dl.acm.org editors pdf vcs

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

15 months ago dl.acm.org aws formalmethods

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

15 months ago dl.acm.org

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

15 months ago dl.acm.org compiler

Principles of a reversible programming language

16 months ago dl.acm.org pdf plt

Verus: A Practical Foundation for Systems Verification

16 months ago dl.acm.org rust

Study Examines How to Thoughtfully Represent ADHD in Video Games Through Teen Perspectives

16 months ago dl.acm.org game video

The Ultimate Conditional Syntax

16 months ago dl.acm.org