Search: research.microsoft.com | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Use of Formal Methods at Amazon Web Services (2014) [pdf] (research.microsoft.com)

84 points

10 years ago

62.

The Night Watch (2013) [pdf] (research.microsoft.com)

83 points

11 years ago

63.

Usable Live Programming (research.microsoft.com)

82 points

12 years ago

64.

Project Natick – Underwater datacenter with live cameras (natick.research.microsoft.com)

81 points

8 years ago

65.

Liquid Types, static verification: deduction, model checking, type systems (research.microsoft.com)

79 points

14 years ago

66.

A History of Haskell (research.microsoft.com)

79 points

15 years ago

67.

Speech Recognition Leaps Forward (research.microsoft.com)

77 points

15 years ago

68.

Trinity - Distributed Graph Database from Microsoft Research (research.microsoft.com)

75 points

15 years ago

69.

Experiments in Code Typography (2014) (research.microsoft.com)

73 points

11 years ago

70.

New extension to Haskell -- data types and polymorphism at the type level (research.microsoft.com)

73 points

15 years ago

71.

Deep Neural Networks for Acoustic Modelling and Speech Recognition [pdf] (2012) (research.microsoft.com)

73 points

10 years ago

72.

Nobody ever got ﬁred for buying a cluster (research.microsoft.com)

72 points

13 years ago

73.

A New, Deep-Learning Take on Image Recognition (research.microsoft.com)

70 points

12 years ago

74.

Programming with Managed Time: Essay and Videos (research.microsoft.com)

69 points

12 years ago

75.

Hints for Computer System Design (1983) (research.microsoft.com)

69 points

10 years ago

76.

What really happened on Mars? (1997) (research.microsoft.com)

67 points

11 years ago

77.

Touch based WP7 programing environment and language by Microsoft Research (research.microsoft.com)

67 points

15 years ago

78.

Is Everything We Know About Password-Stealing Wrong? [pdf] (research.microsoft.com)

64 points

13 years ago

79.

Programming with Managed Time [pdf] (research.microsoft.com)

64 points

12 years ago

80.

A Live Programming Experience (research.microsoft.com)

60 points

11 years ago

81.

Infer.NET: A .NET Library for Machine Learning (research.microsoft.com)

59 points

14 years ago

82.

"Z3" - World’s fastest theorem prover (research.microsoft.com)

59 points

16 years ago

83.

Compiler Construction Using Flex and Bison (2004) [pdf] (research.microsoft.com)

59 points

11 years ago

84.

Dafny: A Language and Program Verifier for Functional Correctness (research.microsoft.com)

56 points

10 years ago

85.

Top organizations in CS research (academic.research.microsoft.com)

55 points

16 years ago

86.

Patience is a Virtue: Revisiting Merge and Sort on Modern Processors [pdf] (research.microsoft.com)

54 points

12 years ago

87.

Ironclad Apps: End-to-End Security via Automated Full-System Verification (research.microsoft.com)

52 points

12 years ago

88.

Simon Peyton Jones: How to write a great research paper (research.microsoft.com)

52 points

17 years ago

89.

Introducing F*: Secure Distributed Programming with Value-Dependent Types (research.microsoft.com)

51 points

15 years ago

90.

The TLA+ Hyperbook (research.microsoft.com)

51 points

11 years ago