HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
61.
▲
Use of Formal Methods at Amazon Web Services (2014) [pdf]
research.microsoft.com
5 comments
10 years ago
Tomte
84 points
62.
▲
The Night Watch (2013) [pdf]
research.microsoft.com
21 comments
11 years ago
Manishearth
83 points
63.
▲
Usable Live Programming
research.microsoft.com
25 comments
12 years ago
ryanbrush
82 points
64.
▲
Project Natick – Underwater datacenter with live cameras
natick.research.microsoft.com
33 comments
8 years ago
kerng
81 points
65.
▲
Liquid Types, static verification: deduction, model checking, type systems
research.microsoft.com
14 comments
14 years ago
gtani
79 points
66.
▲
A History of Haskell
research.microsoft.com
3 comments
15 years ago
prtk
79 points
67.
▲
Speech Recognition Leaps Forward
research.microsoft.com
33 comments
15 years ago
Garbage
77 points
68.
▲
Trinity - Distributed Graph Database from Microsoft Research
research.microsoft.com
30 comments
15 years ago
LiveTheDream
75 points
69.
▲
Experiments in Code Typography (2014)
research.microsoft.com
26 comments
11 years ago
Flenser
73 points
70.
▲
New extension to Haskell -- data types and polymorphism at the type level
research.microsoft.com
13 comments
15 years ago
dons
73 points
71.
▲
Deep Neural Networks for Acoustic Modelling and Speech Recognition [pdf] (2012)
research.microsoft.com
9 comments
10 years ago
Jasamba
73 points
72.
▲
Nobody ever got fired for buying a cluster
research.microsoft.com
55 comments
13 years ago
jpmc
72 points
73.
▲
A New, Deep-Learning Take on Image Recognition
research.microsoft.com
8 comments
12 years ago
ot
70 points
74.
▲
Programming with Managed Time: Essay and Videos
research.microsoft.com
17 comments
12 years ago
seanmcdirmid
69 points
75.
▲
Hints for Computer System Design (1983)
research.microsoft.com
9 comments
10 years ago
martincmartin
69 points
76.
▲
What really happened on Mars? (1997)
research.microsoft.com
19 comments
11 years ago
noir_lord
67 points
77.
▲
Touch based WP7 programing environment and language by Microsoft Research
research.microsoft.com
15 comments
15 years ago
lukencode
67 points
78.
▲
Is Everything We Know About Password-Stealing Wrong? [pdf]
research.microsoft.com
27 comments
13 years ago
thirsteh
64 points
79.
▲
Programming with Managed Time [pdf]
research.microsoft.com
10 comments
12 years ago
seanmcdirmid
64 points
80.
▲
A Live Programming Experience
research.microsoft.com
11 comments
11 years ago
seanmcdirmid
60 points
81.
▲
Infer.NET: A .NET Library for Machine Learning
research.microsoft.com
16 comments
14 years ago
brudgers
59 points
82.
▲
"Z3" - World’s fastest theorem prover
research.microsoft.com
2 comments
16 years ago
Garbage
59 points
83.
▲
Compiler Construction Using Flex and Bison (2004) [pdf]
research.microsoft.com
discuss
11 years ago
GmeSalazar
59 points
84.
▲
Dafny: A Language and Program Verifier for Functional Correctness
research.microsoft.com
10 comments
10 years ago
kushti
56 points
85.
▲
Top organizations in CS research
academic.research.microsoft.com
38 comments
16 years ago
ssn
55 points
86.
▲
Patience is a Virtue: Revisiting Merge and Sort on Modern Processors [pdf]
research.microsoft.com
3 comments
12 years ago
luu
54 points
87.
▲
Ironclad Apps: End-to-End Security via Automated Full-System Verification
research.microsoft.com
19 comments
12 years ago
pjmlp
52 points
88.
▲
Simon Peyton Jones: How to write a great research paper
research.microsoft.com
13 comments
17 years ago
mace
52 points
89.
▲
Introducing F*: Secure Distributed Programming with Value-Dependent Types
research.microsoft.com
12 comments
15 years ago
buro9
51 points
90.
▲
The TLA+ Hyperbook
research.microsoft.com
7 comments
11 years ago
luu
51 points
More