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  health  apple  psychology  video  psypost.org  youtube.com  techcrunch.com  web  linux  show  neuroscience  theguardian.com  trump  security  release  javascript  theverge.com 

Type Tailoring

24 days ago users.cs.utah.edu lisp pdf plt

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer [pdf]

24 days ago users.cs.utah.edu pdf

Hydra: Generalizing peephole optimizations with program synthesis [pdf]

5 months ago users.cs.utah.edu pdf

Hydra: Generalizing Peephole Optimizations with Program Synthesis

8 months ago users.cs.utah.edu compiler

High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf]

10 months ago users.cs.utah.edu compiler llvm pdf

Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages

19 months ago users.cs.utah.edu compiler c++

~Subject: Viruses and System Security (a story) (1988)

19 months ago users.cs.utah.edu historical security

Swarm Testing

21 months ago users.cs.utah.edu pdf testing