Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  apple  web  psychology  theguardian.com  game  show  aws  china  openai  amazon  tomshardware.com  cancer  release  javascript  psypost.org  linux 

StarMalloc: verified memory allocator

4 months ago dl.acm.org compsci formalmethods security

The Ubiquitous Skiplist: A Survey of What Cannot be Skipped About the Skiplist and its Applications in Data Systems

4 months ago dl.acm.org

Handling bidirectional control flow

4 months ago dl.acm.org pdf plt

A Case for Feminism in Programming Language Design (2024)

4 months ago dl.acm.org

New Reddit post analysis identifies potentially harmful online actors based solely on their behavioral patterns

5 months ago dl.acm.org reddit

Ada in China (1994)

5 months ago dl.acm.org china historical pdf plt

Study investigates motivational foundations of digital self control in social media: Both high and low personal investment lead to regret and negative outcomes

5 months ago dl.acm.org media

War on JITs: Software-Based Attacks and Hybrid Defenses for JIT Compilers

6 months ago dl.acm.org compiler

Unikernel Linux (UKL) (2023)

6 months ago dl.acm.org linux

Investigating the Luna-Terra Collapse as a Temporal Multilayer Graph

6 months ago dl.acm.org

Efficient Computation of LALR(1) Look-Ahead Sets (1982) [pdf]

6 months ago dl.acm.org pdf

A Relational Model of Data (1969)

6 months ago dl.acm.org compsci database pdf

Meta II a syntax-oriented compiler writing language (1964)

6 months ago dl.acm.org compiler meta

Data Race Freedom à la Mode

6 months ago dl.acm.org

C Is Not a Low-level Language: Your computer is not a fast PDP-11 (2018)

7 months ago dl.acm.org c

File Systems Unfit as Distributed Storage Back Ends (2019)

6 months ago dl.acm.org distributed pdf

Empowering WebAssembly with Thin Kernel Interfaces

6 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

7 months ago dl.acm.org

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

7 months ago dl.acm.org editors pdf vcs

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

7 months ago dl.acm.org aws formalmethods

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

7 months ago dl.acm.org

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

7 months ago dl.acm.org compiler

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

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

8 months ago dl.acm.org game video

The Ultimate Conditional Syntax

8 months ago dl.acm.org

An Experimental Study of Bitmap Compression vs. Inverted List Compression

7 months ago dl.acm.org compression

APL since 1978

8 months ago dl.acm.org apl historical

Role of Composition in Computer Programming (1995)

8 months ago dl.acm.org apl pdf plt

Towards an API for the Real Numbers Hans

8 months ago dl.acm.org api

More →