Stories by matt_d

EMOGI: Efficient Memory-access for Out-of-memory Graph-traversal In GPUs [pdf]

34th European Conference on Object-Oriented Programming (ECOOP 2020) Proceedings

Lowland Multimodality Detection

TLB hit: a podcast about systems and compilers – Episode 0: mov fp, sp

Towards making formal methods normal: meeting developers where they are

Looking at Silicon – Ken Shirriff

Rust Design-for-Testability: A Survey

Tidy Tuples and Flying Start: Fast Compilation and Exec of Rel. Queries in Umbra [pdf]

Hardware-Based Always-On Heap Memory Safety [pdf]

Random Testing for C and C++ Compilers with YARPGen [pdf]

Permutable Compiled Queries: Dynamically Adapting Queries Without Recompiling [pdf]

Dataflow-based Pruning for Speeding up Superoptimization [pdf]

Arm’s Transactional Memory Extension support in gem5

Prototyping with Python: Coding Effective Testing Tools Within Minutes

On Using MLIR for Verona

The Importance of End-to-End Thinking in System Design

Just Write the Parser

Probabilistic Programming with CuPPL

MLIR Support for Sparse Tensors

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval

52
53
54
55
56
57
58
59
60
61