This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
关于 Dennis
PhD Candidate on Binary Translation (PL/FM) at TU Delft. Machine code (super)optimization & synthesis, dependent types. Also voxels.
列表
dennis has no public lists
Timeline
dennis has no activity yet