Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  psychology  trump  health  apple  psypost.org  microsoft  video  linux  google  go  show  security  nature.com  arstechnica.com  youtube.com  game  meta 

Privacy implications of browsers’ (mis)implementations of Widevine EME (2023)

15 hours ago hal.science privacy

Last fifty years of integer linear programming: Recent practical advances (2024)

3 days ago inria.hal.science

CODE beyond FAIR

4 months ago inria.hal.science science

A Modern Compiler for the French Tax Code

4 months ago inria.hal.science compiler

Optimized Code Generation for Parallel and Polyhedral Loop Nests using MLIR

8 months ago inria.hal.science compiler

Modern C - C23 edition

8 months ago inria.hal.science c

Kronos: Soviet Processor Family for High-Level Languages (2006) [pdf]

7 months ago inria.hal.science hardware historical osdev pdf

Decriminalizing Homosexuality: A Global Overview Since the 18th Century

11 months ago hal.science

Children's mental models of recursive LOGO programs (1985)

11 months ago telearn.hal.science

Trap spaces of Boolean networks are conflict-free siphons of their Petri net [pdf]

14 months ago amu.hal.science pdf

New Applications of Clifford's Geometric Algebra

15 months ago hal.science

Understanding the performance of mutual exclusion algorithms on modern multicore machines - 2018 doctoral thesis by now Oracle staff engineer Hugo Guiroux

15 months ago theses.hal.science algorithm

Rage Against The Glue: Beyond Run-Time Media Frameworks with Modern C++

16 months ago cnrs.hal.science c++ media pdf plt

Merkle Search Trees: Efficient State-Based CRDTs in Open Networks

17 months ago inria.hal.science compsci database distributed pdf

Tortured conference series thriving in computer science

18 months ago hal.science

Bit-Stealing Made Legal: Compilation for Custom Memory Representations Of Algebraic Data Types

20 months ago inria.hal.science compiler compsci plt

Bit-Stealing Made Legal

23 months ago inria.hal.science pdf plt

Merge Strategies: from Merge Sort to TimSort [pdf]

22 months ago hal.science pdf

Testing a Formally Verified Compiler

2 years ago hal.science compiler

Specifying and Verifying Higher-order Rust Iterators

2 years ago hal.science formalmethods rust

Testing a Formally Verified Compiler

2 years ago hal.science compiler

Paper on formally verifying iterators in Rust

2 years ago hal.science rust

Translation Validation of Tensor Compilers

2 years ago theses.hal.science compiler