Automatically Verifying User Kernel Extensions
Prof. Mooly Sagiv, School of Computer Science, Tel Aviv University;
Prof. Noam Rinetzky, School of Computer Science, Tel Aviv University;
Dr. Aurojit Panda, Department of Computer Science, NYU;
Prof. Mooly Sagiv, School of Computer Science, Tel Aviv University;
Prof. Noam Rinetzky, School of Computer Science, Tel Aviv University;
Dr. Aurojit Panda, Department of Computer Science, NYU;