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  techcrunch.com  youtube.com  theguardian.com  show  linux  neuroscience  web  trump  javascript  release  security  china 
Loading...

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

Verified Programming in Dafny

28 days ago doc.ic.ac.uk formalmethods pdf plt

Algorithm = Logic and Control [pdf]

17 days ago doc.ic.ac.uk algorithm pdf

RustSmith: Random Differential Compiler Testing for Rust

16 months ago doc.ic.ac.uk compiler pdf rust testing

GrayC: Greybox Fuzzing of Compilers and Analysers for C

17 months ago srg.doc.ic.ac.uk c compiler testing

GrayC: Greybox Fuzzing of Compilers and Analysers for C [pdf]

17 months ago srg.doc.ic.ac.uk c compiler pdf

Program Reconditioning: Avoiding Undefined Behavior When Finding and Reducing [pdf]

19 months ago doc.ic.ac.uk compiler pdf

Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages

19 months ago doc.ic.ac.uk compiler gpu

Putting Randomized Compiler Testing into Production

4 years ago doc.ic.ac.uk compiler

Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour

4 years ago srg.doc.ic.ac.uk compiler

LPS: Logic Production Systems

4 years ago lps.doc.ic.ac.uk

High Coverage Testing of Haskell Programs

5 years ago doc.ic.ac.uk haskell

Too Unique to Hide

5 years ago cpg.doc.ic.ac.uk

Learning higher order programs through abstraction and invention

5 years ago doc.ic.ac.uk

How to Be a Programmer: A Short, Comprehensiv E, and Personal Summary

5 years ago doc.ic.ac.uk

Multiparty Session C: Safe Parallel Programming with Message Optimisation

5 years ago doc.ic.ac.uk c

Distributed Programming using Role-Parametric Session Types in Go (pdf)

5 years ago doc.ic.ac.uk go pdf

JaVerT 2.0: Symbolic Execution for JavaScript

5 years ago doc.ic.ac.uk javascript

Symbolic Crosschecking of Floating-Point and SIMD Code (2011)

6 years ago srg.doc.ic.ac.uk

Do We Need Distributed Stream Processing?

6 years ago lsds.doc.ic.ac.uk

Automatic Testing of Symbolic Execution Engines via Program Generation and Testing (2017)

6 years ago srg.doc.ic.ac.uk

Orca: GC and Type System Co-Design for Actor Languages (2017)

6 years ago doc.ic.ac.uk

Automated Testing of Graphics Shader Compilers (2017)

7 years ago doc.ic.ac.uk compiler graphics

A Guide to Alloy (2007)

7 years ago doc.ic.ac.uk

"A Brief History of Quantum Computing" by Simon Bone and Matias Castro

7 years ago doc.ic.ac.uk

KLEE - Unassisted, Automatic Generation of High-Coverage Tests for System Programs (2008)

7 years ago doc.ic.ac.uk

The Event Calculus Explained (1999)

8 years ago doc.ic.ac.uk

CLsmith

8 years ago multicore.doc.ic.ac.uk

Thermal-Join: A Scalable Spatial Join for Dynamic Workloads

9 years ago wp.doc.ic.ac.uk

How to Write Unmaintainable Code (1999)

9 years ago doc.ic.ac.uk

Advanced Computer Architecture

9 years ago doc.ic.ac.uk

More →