SOSP Student Research Competition 2017 Winners

[et_pb_section bb_built=”1″ _builder_version=”3.0.105″][et_pb_row _builder_version=”3.0.47″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″][et_pb_text _builder_version=”3.0.105″ background_layout=”light”]

SOSP 2017 hosted its first ACM Student Research Competition (SRC), sponsored by Microsoft Research. The competition offers undergraduate and graduate students a unique forum to experience the research world, present their research results to conference attendees, and compete for prizes. Out of 42 submissions, 16 were selected for on-site poster presentation at SOSP 2017.

SRC at SOSP 2017 was chaired by Ding Yuan. The selection committee consisted of Haibo Chen, Vijay Chidambaram, Roxana Geambasu, Haryadi Gunawi, Ryan P. Huang, Yu Hua, Guoliang Jin, Jinyang Li, Robbert van Renesse, Michael Stumm, Hailong Sun, Kaushik Veeraraghavan, Geoff Voelker, Xi Wang, Tianyin Xu, Ding Yuan, Irene Zhang, Jiaqi Zhang, and Yiying Zhang.

[/et_pb_text][et_pb_text _builder_version=”3.0.105″ background_layout=”light” text_orientation=”center”]

The SRC at SOSP 2017 winners are

[/et_pb_text][/et_pb_column][/et_pb_row][et_pb_row _builder_version=”3.0.105″][et_pb_column type=”4_4″][et_pb_text admin_label=”First Place” _builder_version=”3.0.105″ text_orientation=”center” background_color=”#0182ac” background_layout=”dark” text_font_size=”26px” text_font=”|700|||||||” custom_padding=”8px||8px|”]

First Place

[/et_pb_text][/et_pb_column][/et_pb_row][et_pb_row _builder_version=”3.0.105″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”1_2″][et_pb_text _builder_version=”3.0.105″ text_orientation=”center”]

Graduate Category

[/et_pb_text][et_pb_text admin_label=”37: Jon Gjengset” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Jon Gjengset

Massachusetts Institute of Technology

for the submission

Xylem: flexible and high-performance structured storage via dynamic data-flow

[/et_pb_text][/et_pb_column][et_pb_column type=”1_2″][et_pb_text _builder_version=”3.0.105″ text_orientation=”center”]

Undergrad Category

[/et_pb_text][et_pb_text admin_label=”23: Brandon Zhang” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Brandon Zhang

University of British Columbia

for the submission

PGo: Corresponding a high-level formal specification with its implementation

[/et_pb_text][/et_pb_column][/et_pb_row][et_pb_row _builder_version=”3.0.47″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″][et_pb_text admin_label=”Second Place” _builder_version=”3.0.105″ text_orientation=”center” background_color=”#0182ac” background_layout=”dark” text_font_size=”26px” text_font=”|700|||||||” custom_padding=”8px||8px|”]

Second Place

[/et_pb_text][/et_pb_column][/et_pb_row][et_pb_row _builder_version=”3.0.47″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”1_2″][et_pb_text _builder_version=”3.0.105″ text_orientation=”center”]

Graduate Category

[/et_pb_text][et_pb_text admin_label=”14: Tej Chajed” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Tej Chajed

Massachusetts Institute of Technology

for the submission

Extending a verified file system with concurrency

[/et_pb_text][/et_pb_column][et_pb_column type=”1_2″][et_pb_text _builder_version=”3.0.105″ text_orientation=”center”]

Undergrad Category

[/et_pb_text][et_pb_text admin_label=”34: Gefei Zuo” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Gefei Zuo

University of Science and Technology of China

for the submission

Near-Optimal Total Order Message Scattering in Data Center Networks

[/et_pb_text][/et_pb_column][/et_pb_row][et_pb_row _builder_version=”3.0.47″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″][et_pb_text admin_label=”Third Place” _builder_version=”3.0.105″ text_orientation=”center” background_color=”#0182ac” background_layout=”dark” text_font_size=”26px” text_font=”|700|||||||” custom_padding=”8px||8px|”]

Third Place

[/et_pb_text][/et_pb_column][/et_pb_row][et_pb_row _builder_version=”3.0.47″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”1_2″][et_pb_text _builder_version=”3.0.105″ text_orientation=”center”]

Graduate Category

[/et_pb_text][et_pb_text admin_label=”41: Anish Athalye” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Anish Athalye

Massachusetts Institute of Technology

for the submission

CoqIOA: A Formalization of IO Automata in the Coq Proof Assistant

[/et_pb_text][/et_pb_column][et_pb_column type=”1_2″][et_pb_text _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light”]

Undergrad Category

[/et_pb_text][et_pb_text admin_label=”6: Levente Kurus” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Levente Kurus

Imperial College London

for the submission

Re-Pintos: Revitalizing an instructional operating system

[/et_pb_text][/et_pb_column][/et_pb_row][et_pb_row _builder_version=”3.0.47″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″][et_pb_text admin_label=”Divider” _builder_version=”3.0.105″ text_orientation=”center” background_color=”#0182ac” background_layout=”dark” text_font_size=”26px” text_font=”|700|||||||” custom_padding=”8px||8px|” /][et_pb_text admin_label=”In the finals” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” text_font_size=”26px” text_font=”|700|||||||” custom_padding=”8px||8px|”]

Also in the final presentation round

[/et_pb_text][/et_pb_column][/et_pb_row][et_pb_row _builder_version=”3.0.47″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”1_2″][et_pb_text admin_label=”19: Yuanwei Lu” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Yuanwei Lu

University of Science and Technology of China

with the submission

Towards High Performance Disaggregated Flash Storage with Programmable NIC

[/et_pb_text][/et_pb_column][et_pb_column type=”1_2″][et_pb_text admin_label=”38: Anand Padmanabha Iyer” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Anand Padmanabha Iyer

UC Berkeley

with the submission

Time-Evolving Graph Processing on Commodity Clusters

[/et_pb_text][/et_pb_column][/et_pb_row][et_pb_row _builder_version=”3.0.47″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″][et_pb_text admin_label=”In the finals” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” text_font_size=”26px” text_font=”|700|||||||” custom_padding=”8px||8px|”]

Also selected for the on-site poster-presentation round

[/et_pb_text][/et_pb_column][/et_pb_row][et_pb_row _builder_version=”3.0.47″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”1_2″][et_pb_text admin_label=”11: Yaocheng Xiang” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Yaocheng Xiang

Peking University

with the submission

CAPS: Cache Allocation with Partial Sharing

[/et_pb_text][et_pb_text admin_label=”26: Luo Mai” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Luo Mai

Imperial College London

with the submission

A Control-based Approach Towards Adaptive Stream Processing

[/et_pb_text][et_pb_text admin_label=”30: Gaoyang Guan” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Gaoyang Guan

College of Computer Science, Zhejiang University, China

with the submission

QoE-aware Edge Computing for Complex IoT Event Processing

[/et_pb_text][et_pb_text admin_label=”39: Bojie Li” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Bojie Li

University of Science and Technology of China

with the submission

Fast and Compatible User-Space Container Networking with Programmable NIC

[/et_pb_text][/et_pb_column][et_pb_column type=”1_2″][et_pb_text admin_label=”25: Youxu Chen” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Youxu Chen

University of Science and Technology of China

with the submission

Scaling Distributed File Systems via Correlation-based Metadata Prefetching

[/et_pb_text][et_pb_text admin_label=”29: Fang Zhou” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Fang Zhou

Ohio State University

with the submission

wPerf: Identifying Critical Waiting in Multi-threaded Applications

[/et_pb_text][et_pb_text admin_label=”35: Wencong Xiao” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Wencong Xiao

Ohio State University

with the submission

All You Need to Know about Scheduling Deep Learning Jobs

[/et_pb_text][et_pb_text admin_label=”42: Joao Carreira” _builder_version=”3.0.105″ text_orientation=”center” background_layout=”light” header_4_text_color=”#65016b”]

Joao Carreira

UC Berkeley

with the submission

Disaggregation in the Cloud with μInstances and Cirrus

[/et_pb_text][/et_pb_column][/et_pb_row][/et_pb_section]