Registered user since Sun 22 Feb 2015
My work is at boundaries between programming languages, system programming, and computer architectures, with the overall goal of producing systems which are better-understood, more robust, and more secure.
|DLS 2020||Committee Member in Program Committee within the DLS 2020-track|
|SPLASH 2020||Reliable Stack Traces, the Reality of Myth|
|Show activities from other conferences|
View general profile