{"id":144927,"date":"2014-12-15T00:14:17","date_gmt":"2014-12-15T00:14:17","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/group\/systems-research-group-redmond\/"},"modified":"2026-03-29T16:50:14","modified_gmt":"2026-03-29T23:50:14","slug":"systems-research-group-redmond","status":"publish","type":"msr-group","link":"https:\/\/www.microsoft.com\/en-us\/research\/group\/systems-research-group-redmond\/","title":{"rendered":"Systems Research Group – Redmond"},"content":{"rendered":"
\n\t
\n\t\t
\n\t\t\t\"\"\t\t<\/div>\n\t\t\n\t\t
\n\t\t\t\n\t\t\t
\n\t\t\t\t\n\t\t\t\t
\n\t\t\t\t\t\n\t\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\tReturn to Microsoft Research Lab – Redmond\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\n\n

Systems Research Group – Redmond<\/h1>\n\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/div>\n<\/section>\n\n\n\n\n\n

The Systems Research Group is devoted to advancing the state of the art in distributed systems and operating systems. Our aim is to make systems secure, scalable, fault-tolerant, manageable, fast, and efficient. <\/p>\n\n\n\n

Careers<\/h3>\n\n\n\n

We’re always seeking creative, dedicated, smart individuals who are interested in joining us. If you’re an excellent candidate interested in doing cutting-edge systems research at an institution where you can see that research pay off in direct product impact, we encourage you to apply for a position. Whether you’re about to graduate, or you’re already a seasoned researcher interested in exploring alternatives, we’d like to talk to you.<\/p>\n\n\n\n

\n
Questions about us?<\/a><\/div>\n<\/div>\n\n\n\n

Featured papers<\/h3>\n\n\n\n
\n
\n
\n\t
\n\t\t
\n\t\t\t\t\t\tPublication<\/span>\n\t\t\tVeriSMo: A Verified Security Module for Confidential VMs<\/span> <\/span><\/a>\t\t\t\t\t\t\t

Jay Lepreau Best Paper Award, OSDI 2024<\/p>\n\t\t\t\t\t<\/div>\n\t<\/article>\n<\/div>\n\n\n\n

\n\t
\n\t\t
\n\t\t\t\t\t\tPublication<\/span>\n\t\t\tCornflakes: Zero-Copy Serialization for Microsecond-Scale Networking<\/span> <\/span><\/a>\t\t\t\t\t\t\t

Distinguished Artifact Award, SOSP 2023<\/p>\n\t\t\t\t\t<\/div>\n\t<\/article>\n<\/div>\n\n\n\n

\n\t
\n\t\t
\n\t\t\t\t\t\tPublication<\/span>\n\t\t\tA five-year study of file-system metadata<\/span> <\/span><\/a>\t\t\t\t\t\t\t

USENIX FAST'21 Test of Time Award, FAST 2007<\/p>\n\t\t\t\t\t<\/div>\n\t<\/article>\n<\/div>\n\n\n\n

\n\t
\n\t\t
\n\t\t\t\t\t\tPublication<\/span>\n\t\t\tArmada: Low-Effort Verification of High-Performance Concurrent Programs<\/span> <\/span><\/a>\t\t\t\t\t\t\t

Distinguished Paper Award, PLDI 2020<\/p>\n\t\t\t\t\t<\/div>\n\t<\/article>\n<\/div>\n\n\n\n

\n\t
\n\t\t
\n\t\t\t\t\t\tPublication<\/span>\n\t\t\tVale: Verifying High-Performance Cryptographic Assembly Code<\/span> <\/span><\/a>\t\t\t\t\t\t\t

Distinguished Paper Award, USENIX Security Symposium 2017<\/p>\n\t\t\t\t\t<\/div>\n\t<\/article>\n<\/div>\n<\/div>\n\n\n\n

\n
\n\t
\n\t\t
\n\t\t\t\t\t\tPublication<\/span>\n\t\t\tVerus: A Practical Foundation for Systems Verification<\/span> <\/span><\/a>\t\t\t\t\t\t\t

Distinguished Artifact Award, SOSP 2024<\/p>\n\t\t\t\t\t<\/div>\n\t<\/article>\n<\/div>\n\n\n\n

\n\t
\n\t\t
\n\t\t\t\t\t\tPublication<\/span>\n\t\t\tLinear Types for Large-Scale Systems Verification<\/span> <\/span><\/a>\t\t\t\t\t\t\t

Distinguished Paper Award, OOPSLA 2022<\/p>\n\t\t\t\t\t<\/div>\n\t<\/article>\n<\/div>\n\n\n\n

\n\t
\n\t\t
\n\t\t\t\t\t\tPublication<\/span>\n\t\t\tKangaroo: Caching Billions of Tiny Objects on Flash<\/span> <\/span><\/a>\t\t\t\t\t\t\t

Best Paper Award, SOSP 2021<\/p>\n\t\t\t\t\t<\/div>\n\t<\/article>\n<\/div>\n\n\n\n

\n\t
\n\t\t
\n\t\t\t\t\t\tPublication<\/span>\n\t\t\tThe Multikernel: A new OS architecture for scalable multicore systems<\/span> <\/span><\/a>\t\t\t\t\t\t\t

SIGOPS Hall of Fame Award 2020, SOSP 2009<\/p>\n\t\t\t\t\t<\/div>\n\t<\/article>\n<\/div>\n\n\n\n

\n\t
\n\t\t
\n\t\t\t\t\t\tPublication<\/span>\n\t\t\tIronFleet: Proving Safety and Liveness of Practical Distributed Systems<\/span> <\/span><\/a>\t\t\t\t\t\t\t

CACM Research Highligh 2017<\/p>\n\t\t\t\t\t<\/div>\n\t<\/article>\n<\/div>\n<\/div>\n<\/div>\n\n\n\n

\n
All publications<\/a><\/div>\n<\/div>\n\n\n\n
\n\n\n\n
<\/div>\n\n\n","protected":false},"excerpt":{"rendered":"

The Systems Research Group is devoted to advancing the state of the art in distributed systems and operating systems. Our aim is to make systems secure, scalable, fault-tolerant, manageable, fast, and efficient. One of the major themes within the group is around Cloud Efficiency.<\/p>\n","protected":false},"featured_media":476751,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_group_start":"","footnotes":""},"research-area":[13560,13558,13547],"msr-group-type":[243694],"msr-locale":[268875],"msr-impact-theme":[],"class_list":["post-144927","msr-group","type-msr-group","status-publish","has-post-thumbnail","hentry","msr-research-area-programming-languages-software-engineering","msr-research-area-security-privacy-cryptography","msr-research-area-systems-and-networking","msr-group-type-group","msr-locale-en_us"],"msr_group_start":"","msr_detailed_description":"","msr_further_details":"","msr_hero_images":[],"msr_research_lab":[199565],"related-researchers":[{"type":"user_nicename","display_name":"Anand Bonde","user_id":36068,"people_section":"Group 1","alias":"abonde"},{"type":"user_nicename","display_name":"Roshan Dathathri","user_id":43218,"people_section":"Group 1","alias":"rdathathri"},{"type":"user_nicename","display_name":"Sameh Elnikety","user_id":33503,"people_section":"Group 1","alias":"samehe"},{"type":"user_nicename","display_name":"Chris Hawblitzel","user_id":31425,"people_section":"Group 1","alias":"chrishaw"},{"type":"user_nicename","display_name":"Hayley LeBlanc","user_id":43921,"people_section":"Group 1","alias":"hleblanc"},{"type":"user_nicename","display_name":"Jay Lorch","user_id":32732,"people_section":"Group 1","alias":"lorch"},{"type":"user_nicename","display_name":"Shan Lu","user_id":43215,"people_section":"Group 1","alias":"shanlu"},{"type":"user_nicename","display_name":"Jacob Nelson","user_id":36275,"people_section":"Group 1","alias":"jacnels"},{"type":"user_nicename","display_name":"Pedro Henrique Penna","user_id":40522,"people_section":"Group 1","alias":"ppenna"},{"type":"user_nicename","display_name":"Dan Ports","user_id":37404,"people_section":"Group 1","alias":"dports"},{"type":"user_nicename","display_name":"Irene Zhang","user_id":37032,"people_section":"Group 1","alias":"irzha"},{"type":"user_nicename","display_name":"Rafael da Silva","user_id":40579,"people_section":"Group 1","alias":"rdasilva"}],"related-publications":[584548,573207,578056,579067,568647,579076,555732,579094,501689,569016,500675,499550,500666,498320,491096,480777,484098,475365,431325,429705,475407,475590,434100,475599,475608,431334,422070,419436,424533,380744,392756,395171,369623,386810,389639,356759,364334,335633,360422,355781,317795,308093,308123,168898,318827,247898,317771,242129,242393,312725,215030,247772,215132,168874,168694,168696,215129,282332,317813,168224,168180,312740,168024,168394,168025,168026,168310,168118,168128,167642,167643,167532,166985,167503,166590,167512,166591,166592,166940,166972,166593,166905,166656,166365,166379,166012,166329,166338,166414,165999,166185,166605,165297,165858,165879,168117,164902,164903,165008,164816,165885,165198,164541,164457,165737,164518,164198,164563,168116,164143,164185,164570,164442,164458,164119,164233,164232,164145,163954,163242,163552,163638,163687,163269,164037,162507,164438,168115,162869,162513,162492,162493,162682,162518,164146,162498,162739,162417,162496,168114,168113,163921,164984,161874,161906,161816,161720,163582,161866,161495,161461,161158,161130,161369,160971,161538,168112,163686,168111,160775,163685,161536,161160,160377,161370,161161,160777,160738,160584,160277,160478,168110,161162,160261,159852,159902,159186,161163,160529,162372,159155,159433,159534,159856,159551,159493,159533,159494,159500,159369,168109,159079,159078,159128,158608,158185,158400,160530,158335,160531,157676,158042,157630,158552,157562,161164,157612,157366,161165,157748,157624,157311,157429,157087,157585,157587,158043,163684,160246,157006,155953,157088,157303,156430,157449,156740,157539,157156,154548,156622,160532,153678,157505,154820,153298,159956,153279,166151,144978,157096,153679,155109,154815,157095,145057,155110,153958,158027,152194,149600,158026,155359,154704,157094,157084,149607,156714,157925,153684,154703,154528,147466,161549,149608,157089,147464,144975,154915,153693,153692,160533,161759,154010,154494,150681,154495,145013,153067,153694,144972,154493,156715,147471,154496,153488,156870,154009,156861,150649,160534,150251,144953,150650,154497,144952,160535,152893,152880,156862,147477,152879,149610,149613,160537,160536,149612,149615,152794,149614,160538,153770,153820,152743,153696,152735,152718,154498,152715,152698,150651,150652,158722,158720,158721,154499,150653,147964,147965,158723,152629,158716,154019,164707,154501,154500,154502,152543,152541,150655,154020,154505,154523,154507,154503,150654,150656,150657,154526,154525,151342,156300,154527,152376,150658,151173,150659,154529,150877,150660,150661,152246,150663,152307,158715,476721,560202,595738,601923,606981,615135,615150,619023,627342,627351,632478,632832,647124,655707,656949,656964,656973,658218,663702,663714,668463,671448,677652,685476,690591,694536,701233,701242,702511,713632,735949,737704,738673,742540,743035,744928,744934,757489,762610,762739,764932,779569,780187,781513,781828,781846,782347,786991,807802,813553,817150,826009,826018,829969,831928,878634,878646,896814,896829,908127,911184,924795,963933,997785,997827,1027710,1028001,1031571,1031616,1031676,1031685,1043634,1043658,1043682,1047918,1053594,1054323,1054344,1068147,1083954,1085811,1097751,1097760,1113288,1139493,1145087,1159286,1159305,1160973,1161796,1168713],"related-downloads":[],"related-videos":[372896],"related-projects":[1097610,235367,615990,617940,658236,472845,429627,171410],"related-events":[],"related-opportunities":[1150728,1151775],"related-posts":[3341,559317,465693,594958,951852,962838,1098390,1099176,1122786],"tab-content":[],"msr_impact_theme":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-group\/144927","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-group"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-group"}],"version-history":[{"count":93,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-group\/144927\/revisions"}],"predecessor-version":[{"id":1168761,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-group\/144927\/revisions\/1168761"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/476751"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=144927"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=144927"},{"taxonomy":"msr-group-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-group-type?post=144927"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=144927"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=144927"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}