David Tarditi
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Checked C: Making C Safe by Extension
Archibald Samuel Elliott and others (2018) · IEEE Cybersecurity Development (SecDev)
TIL: A type-directed optimizing compiler for ML
David Tarditi and others (1996) · ACM SIGPLAN Conference on Programming Language Design and Implementation