On the Cyber-Physical Security of Emerging AI-Enabled Autonomous Cyber-Physical Systems
Alfred Chen，University of California, Irvine
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