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  web  health  show  go  theguardian.com  psypost.org  apple  game  theverge.com  security  google  theregister.com  javascript  database  linux  release  c 
Loading...

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

Bril: An Intermediate Language for Teaching Compilers

2 months ago cs.cornell.edu compiler education

Automated Test-Case Reduction

3 months ago cs.cornell.edu

Flattening abstract syntax trees (and other compiler data structures) to make use of memory arenas

4 months ago cs.cornell.edu compiler rust

CS 6120: Advanced Compilers: The Self-Guided Online Course

7 months ago cs.cornell.edu compiler

Flattening ASTs and other compiler data structures

17 months ago cs.cornell.edu compiler plt rust

Advanced Compilers: Self-Guided Online Course

19 months ago cs.cornell.edu compiler llvm

Foundations of Data Science (2018) [pdf]

20 months ago cs.cornell.edu pdf

Program Synthesis is Possible (2018)

2 years ago cs.cornell.edu

Try Snapshot Testing for Compilers and Compiler-Like Things

2 years ago cs.cornell.edu compiler

Artistic Radiance Fields

2 years ago cs.cornell.edu

A Flexible Type System for Fearless Concurrency

2 years ago cs.cornell.edu concurrency

The Cult of Posits

2 years ago cs.cornell.edu

Verifying Dynamic Trait Objects in Rust

2 years ago cs.cornell.edu rust

A gossip-style failure detection service (2009)

2 years ago cs.cornell.edu

Polyglot: Compiler Framework for Extending Java || Type Theory 101

2 years ago cs.cornell.edu compiler java

Functional Programming in OCaml

3 years ago cs.cornell.edu ocaml

Reticle: A Virtual Machine for Programming Modern FPGAs

3 years ago cs.cornell.edu

Calyx: A Compiler Infrastructure for Accelerator Generators

3 years ago capra.cs.cornell.edu compiler

Advanced Compilers: Self-Guided Online Course

3 years ago cs.cornell.edu compiler

The Cult of Posits

3 years ago cs.cornell.edu

Seeing is believing: a client-centric specification of database isolation

3 years ago cs.cornell.edu database

The Meta-Circular Evaluator (1998)

4 years ago cs.cornell.edu

Masked Types for Sound Object Initialization (2009)

4 years ago cs.cornell.edu

"The Great ISAs" reading list

4 years ago cs.cornell.edu

Actual Causality (2016)

4 years ago cs.cornell.edu

Functional Programming in OCaml – Spring 2020 Edition

4 years ago cs.cornell.edu ocaml

Hyperproperties

4 years ago cs.cornell.edu

Moser's Algorithm and the Lovász Local Lemma

4 years ago cs.cornell.edu algorithm

Foundations of Data Science

5 years ago cs.cornell.edu

Measuring Computer Systems is Almost Certainly Harder Than You Think

5 years ago cs.cornell.edu

More →