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  web  go  arstechnica.com  microsoft  apple  youtube.com  release  chrome  theguardian.com  nature.com  show  psychology  game 

Inference Attacks on Property-Preserving Encrypted Databases

9 years ago research.microsoft.com database

Leslie Lamport, Lawrence Paulson: Should Your Specification Language Be Typed?

9 years ago research.microsoft.com

Diagnosing Type Errors with Class

9 years ago research.microsoft.com

The influence of organizational structure on software quality (2008)

9 years ago research.microsoft.com

A Live Programming Experience

9 years ago research.microsoft.com

A Deep Hybrid Model for Weather Forecasting

9 years ago research.microsoft.com

Koka – A function-oriented programming language

9 years ago research.microsoft.com

Tackling the Awkward Squad: Interaction with the world in Haskell (2010)

9 years ago research.microsoft.com haskell

How many months can it take to verify 30 assembly instructions?

9 years ago research.microsoft.com

A tutorial on learning with Bayesian networks (1996)

9 years ago research.microsoft.com tutorial

Higher-Order Functional Reactive Programming in Bounded Space

9 years ago research.microsoft.com

Concurrency Control and Recovery in Database Systems

9 years ago research.microsoft.com concurrency database

Coq: The world’s best macro assembler? [PDF]

9 years ago research.microsoft.com assembler pdf

A History of Haskell: being lazy with class (2007)

9 years ago research.microsoft.com haskell

What really happened on Mars?

9 years ago research.microsoft.com

The Night Watch (2013)

9 years ago research.microsoft.com

Arbitration-Free Synchronization (2002)

9 years ago research.microsoft.com

No one ever got fired for using Hadoop on a cluster (2012)

9 years ago research.microsoft.com hadoop

Replicated Data Consistency Explained Through Baseball (2011)

9 years ago research.microsoft.com

Kahawai: High-Quality Mobile Gaming Using GPU Offload

9 years ago research.microsoft.com gpu

The TLA+ Hyperbook

9 years ago research.microsoft.com

Microsoft Graph Engine 1.0 Preview Released

9 years ago research.microsoft.com microsoft release

A Scalable High-Bandwidth Architecture for Lossless Compression on FPGAs

9 years ago research.microsoft.com compression

Microsoft Hyperlapse released

9 years ago research.microsoft.com microsoft release

TrackPoint (2011)

9 years ago research.microsoft.com

Exploding Software-Engineering Myths (2009)

9 years ago research.microsoft.com

Going Against the Flow for Type-less Programming [PDF]

9 years ago research.microsoft.com pdf

Safe TypeScript: Safe and Efficient Gradual Typing for TypeScript

9 years ago research.microsoft.com typescript

This World of Ours (2014) [pdf]

9 years ago research.microsoft.com pdf

Computer Security in the Real World (2004)

9 years ago research.microsoft.com

More →