D
David Tarditi
Researcher at Microsoft
Publications - 54
Citations - 2827
David Tarditi is an academic researcher from Microsoft. The author has contributed to research in topics: Compiler & Garbage collection. The author has an hindex of 27, co-authored 54 publications receiving 2787 citations. Previous affiliations of David Tarditi include Carnegie Mellon University.
Papers
More filters
Proceedings ArticleDOI
Accelerator: using data parallelism to program GPUs for general-purpose uses
TL;DR: This work describes Accelerator, a system that uses data parallelism to program GPUs for general-purpose uses instead of C, and compares the performance of Accelerator versions of the benchmarks against hand-written pixel shaders.
Journal ArticleDOI
Optimizing memory transactions
TL;DR: A new 'direct access' implementation that avoids searching thread-private logs is introduced, compiler optimizations to reduce the amount of logging are developed, and a series of GC-time techniques to compact the logs generated by long-running atomic blocks are presented.
Proceedings ArticleDOI
TIL: a type-directed optimizing compiler for ML
TL;DR: TIL introduced and popularized the notion of a certifying compiler, which attaches a checkable certificate of safety to its generated code, inspiring the development of Proof-Carrying Code and Typed Assembly Language as certified object code formats.
Journal ArticleDOI
Marmot: an optimizing compiler for Java
TL;DR: A detailed performance evaluation assesses both Marmot's overall performance relative to other Java and C++ implementations, and the relative costs of various Java language features in Marmot‐compiled code.
Journal Article
An Overview of the Singularity Project
Galen C. Hunt,James R. Larus,Martín Abadi,Mark Aiken,Paul Barham,Manuel Fähndrich,Chris Hawblitzel,Orion Hodson,Steven P. Levi,Nick Murphy,Bjarne Steensgaard,David Tarditi,Ted Wobber,Brian Zill +13 more
TL;DR: Singularity demonstrates the practicality of new technologies and architectural decisions, which should lead to the construction of more robust and dependable systems.