Display options

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

Feedback? Email matthew@mastracci.com

progscrape https://progscrape.com/?
Trending tags: ai  github.com  rust  trump  psychology  health  show  microsoft  psypost.org  linux  apple  environment  vibecoding  brain  arstechnica.com  go  web  theregister.com  java  theguardian.com 

Memory Renaming: Fast and Accurate Processing of Memory Communication (1999) [pdf]

16 months ago web.eecs.umich.edu pdf

The Power of 10: Rules for Developing Safety-Critical Code [pdf]

24 months ago web.eecs.umich.edu pdf

Implementing remote procedure calls – Birrel and Nelson (1981) [pdf]

2 years ago web.eecs.umich.edu pdf

A Decade of Lattice Cryptography

4 years ago web.eecs.umich.edu

NASA JPL’s rules for safety-critical C code

4 years ago web.eecs.umich.edu c nasa

Morpheus: A Vulnerability-Tolerant Secure Architecture

5 years ago web.eecs.umich.edu

The Power of 10: Rules for Developing Safety-Critical Code (2006)

5 years ago web.eecs.umich.edu

NDA: Preventing Speculative Execution Attacks at Their Source

5 years ago web.eecs.umich.edu

Language Support for Memory Persistency

6 years ago web.eecs.umich.edu

Building Consistent Transactions with Inconsistent Replication (2015)

6 years ago web.eecs.umich.edu

Prof Benjamin Kuipers- No Military Funding

6 years ago web.eecs.umich.edu

Alchemy: A Language and Compiler for Homomorphic Encryption Made Easy

6 years ago web.eecs.umich.edu compiler encryption

A Decade of Lattice Cryptography (2016)

6 years ago web.eecs.umich.edu

Race Detection for Event-Driven Mobile Applications (2014)

6 years ago web.eecs.umich.edu

A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each (2012)

7 years ago web.eecs.umich.edu

Why don't I take military funding? (2004)

9 years ago web.eecs.umich.edu

ReVirt: Intrusion analysis through VM logging and replay (2002)

10 years ago web.eecs.umich.edu