Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Publication
EVX: Vector Execution on Low Power EDGE Cores
Microsoft Research Blog
Leslie Lamport Receives Turing Award
Leslie Lamport first began dabbling in computers while he was still in high school. Nothing too unusual about that—until you consider that this was in the mid-1950s. Lamport was attending the Bronx High School of…
Video
Turing Award winner Leslie Lamport
Leslie Lamport of Microsoft Research is rewarded for his outstanding contributions to computer science with the 2013 ACM A.M. Turing Award. Lamport is well known to computer scientists around the world for his foundational work…
