Registered user since Tue 26 Apr 2016
Research interests:Debugging of runtime systems, memory layout & data structure optimization, PL design, stellar astrophysics (data analysis), and network protocols and data formats.
|SPLASH 2021||Permchecker: A Toolchain for Debugging Memory Managers with Typestate|
|Show activities from other conferences|
Using general profile