About Dennis
PhD Candidate on Binary Translation (PL/FM) at TU Delft. Machine code (super)optimization & synthesis, dependent types. Also voxels.
Lists
dennis has no public lists
Timeline
dennis has no activity yet
PhD Candidate on Binary Translation (PL/FM) at TU Delft. Machine code (super)optimization & synthesis, dependent types. Also voxels.
dennis has no public lists
dennis has no activity yet