Stories by matt_d

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

Handling Bidirectional Control Flow

66 67 68 69 70 71 72 73 74 75