The Smoothed and Semi-Random Possibilities of Social Choice
Lirong Xia, Rensselaer Polytechnic Institute (RPI)
Improving Symbolic Execution with Techniques from Formal Verification-- An experience report of developing Move Prover
Meng Xu, University of Waterloo, Canada
An Author-Assisted Approach to Improving Peer Review for CS Conferences
Weijie Su，University of Pennsylvania
Online Policy Optimization for Robust MDP
Baoxiang Wang, The Chinese University of Hong Kong(Shenzhen)