Display options

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

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  github.com  rust  show  trump  microsoft  health  theverge.com  apple  arstechnica.com  web  google  psypost.org  javascript  release  psychology  nature.com  china  windows  security 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

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

11 days ago dl.acm.org reddit

Ada in China (1994)

14 days 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

12 days ago dl.acm.org media

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

29 days ago dl.acm.org compiler

Unikernel Linux (UKL) (2023)

35 days ago dl.acm.org linux

Investigating the Luna-Terra Collapse as a Temporal Multilayer Graph

38 days ago dl.acm.org

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

49 days ago dl.acm.org pdf

A Relational Model of Data (1969)

38 days ago dl.acm.org compsci database pdf

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

44 days ago dl.acm.org compiler meta

Data Race Freedom à la Mode

49 days ago dl.acm.org

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

2 months ago dl.acm.org c

File Systems Unfit as Distributed Storage Back Ends (2019)

54 days ago dl.acm.org distributed pdf

Empowering WebAssembly with Thin Kernel Interfaces

53 days 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

2 months ago dl.acm.org

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

2 months ago dl.acm.org editors pdf vcs

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

2 months ago dl.acm.org aws formalmethods

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

2 months ago dl.acm.org

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

2 months ago dl.acm.org compiler

Principles of a reversible programming language

3 months ago dl.acm.org pdf plt

Verus: A Practical Foundation for Systems Verification

2 months ago dl.acm.org rust

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

3 months ago dl.acm.org game video

The Ultimate Conditional Syntax

3 months ago dl.acm.org

An Experimental Study of Bitmap Compression vs. Inverted List Compression

2 months ago dl.acm.org compression

APL since 1978

2 months ago dl.acm.org apl historical

Role of Composition in Computer Programming (1995)

3 months ago dl.acm.org apl pdf plt

Towards an API for the Real Numbers Hans

3 months ago dl.acm.org api

Arithmetic Coding for Data Compression

3 months ago dl.acm.org compression compsci pdf

Derivative grammars: a symbolic approach to parsing with derivatives

4 months ago dl.acm.org pdf plt

C Is Not a Low-level Language (2018)

4 months ago dl.acm.org c hardware pdf

TensorRight: Automated Verification of Tensor Graph Rewrites

4 months ago dl.acm.org compiler

More →