Chunxu Liu
lcxrocks
CS Ph.D. student @ Nanjing University.
Nanjing University @MCG-NJU Shanghai, China
John Regehr
regehr
CS professor at the University of Utah
University of Utah Salt Lake City, UT, USA
Shaohua Li
shao-hua-li
Assistant Professor at The Chinese University of Hong Kong
The Chinese University of Hong Kong Hong Kong
Chengnian Sun
chengniansun
Associate Professor in Software Engineering and Programming Languages
University of Waterloo
HexHive
HexHive
Enforcing memory safety guarantees and type safety guarantees at the compiler and runtime level
Switzerland