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  health  google  javascript  security  go  web  arstechnica.com  show  microsoft  release  youtube.com  psychology  chrome  apple  nature.com  theregister.com  theguardian.com 

Exploding Software-Engineering Myths (2009)

8 years ago research.microsoft.com

Dafny: A language and program verifier for functional correctness

8 years ago research.microsoft.com

A History of Haskell: Being Lazy With Class [Whitepaper]

8 years ago research.microsoft.com haskell

Is there any way to get source code and scene files of this research paper?

8 years ago research.microsoft.com

Leslie Lamport: Computer Science and State Machines (2008)

8 years ago research.microsoft.com

Future Microprocessors Driven by Dataflow Principles

8 years ago research.microsoft.com

Windows Kernel Architecture Internals (2010)

8 years ago research.microsoft.com kernel windows

How to Write a 21 st Century Proof (2011)

8 years ago research.microsoft.com

How to Tell a Program from an Automobile (1977)

8 years ago research.microsoft.com

Ironclad Apps: End-to-End Security via Automated Full-System Verification

8 years ago research.microsoft.com

The Sybil Attack (2002)

8 years ago research.microsoft.com

Experiments in Code Typography (2014)

8 years ago research.microsoft.com

Buridan’s Principle (1984)

8 years ago research.microsoft.com

VISC: Virtual Instruction Set Computing

8 years ago research.microsoft.com

Implementing functional languages: a tutorial

8 years ago research.microsoft.com tutorial

Real Programming in Functional Languages (1982)

9 years ago research.microsoft.com

Deep Neural Decision Forests

9 years ago research.microsoft.com

The Implementation of Functional Programming Languages (1987)

9 years ago research.microsoft.com

A Better Way to Store Data (2012)

8 years ago research.microsoft.com

Foveated 3D Graphics (2012)

9 years ago research.microsoft.com 3d graphics

An Administrator’s Guide to Internet Password Research

9 years ago research.microsoft.com

IronFleet: Proving Practical Distributed Systems Correct

9 years ago research.microsoft.com

High-Level Specifications: Lessons from Industry (2003)

9 years ago research.microsoft.com

GADTs Meet Their Match

9 years ago research.microsoft.com

Mercury: Hybrid Centralized and Distributed Scheduling in Large Shared Clusters

9 years ago research.microsoft.com

IronFleet: Proving Practical Distributed Systems Correct

9 years ago research.microsoft.com

Teaching Concurrency (2009)

9 years ago research.microsoft.com concurrency

Implementing condition variables with semaphores [PDF]

9 years ago research.microsoft.com pdf

Software Developers’ Perceptions of Productivity

9 years ago research.microsoft.com

Rumor Propagation in Online Social Media (2013)

9 years ago research.microsoft.com media

More →