back
user profile

matt_d

21,168karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
2 pts
The Semantics of Multicopy Atomic ARMv8 and RISC-V(doi.org)
7y ago·discuss
5 pts
Implementing the C++ Core Guidelines' Lifetime Safety Profile in Clang(herbsutter.com)
7y ago·discuss
30 pts
Spelunking in the Turing Tarpit: Expedition Through an Esoteric Landscape(calabi-yau.space)
7y ago·1 comments
2 pts
GCC 9.1 Released(lwn.net)
7y ago·discuss
4 pts
GCC 9: Link-time and inter-procedural optimization improvements(hubicka.blogspot.com)
7y ago·1 comments
14 pts
How to make a programming language out of an algebra(danghica.blogspot.com)
7y ago·discuss
1 pts
Nanosecond-Level Clock Synchronization in a Data Center – Stanford Seminar(youtube.com)
7y ago·discuss
2 pts
Greybox Fuzzing with Grammars(fuzzingbook.org)
7y ago·discuss
2 pts
How LLVM Optimizes Geometric Sums(kristerw.blogspot.com)
7y ago·discuss
1 pts
MLIR Tutorial: Building a Compiler with MLIR – EuroLLVM 2019(llvm.org)
7y ago·discuss
82 pts
Boolean Circuits are Neural Networks(constantinides.net)
7y ago·10 comments
1 pts
MLIR: Multi-Level Intermediate Representation for Compiler Infrastructure(youtube.com)
7y ago·discuss
119 pts
A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture(fsl.cs.illinois.edu)
7y ago·27 comments
1 pts
A Checklist Manifesto for Empirical Evaluation(sigarch.org)
7y ago·discuss
12 pts
ClangJIT: Enhancing C++ with Just-in-Time Compilation(arxiv.org)
7y ago·discuss
1 pts
Modern SAT solvers: fast, neat and underused – part 3: CDCL(codingnest.com)
7y ago·discuss
2 pts
Greybox Fuzzing – Generating Software Tests(fuzzingbook.org)
7y ago·discuss
1 pts
Broad-Based Side-Channel Defenses for Modern Processor Architectures(microsoft.com)
7y ago·discuss
1 pts
Evaluation of the RIKEN Post-K Processor Simulator(arxiv.org)
7y ago·discuss
123 pts
The Bosque Programming Language(microsoft.com)
7y ago·166 comments
1 pts
Mitigating JIT Compilation Latency in Virtual Execution Environments(dl.acm.org)
7y ago·discuss
174 pts
A Specialized B-Tree for Concurrent Datalog Evaluation(souffle-lang.github.io)
7y ago·4 comments
68 pts
Moving to a provenance-aware memory object model for C: proposal for C2x(hal.inria.fr)
7y ago·50 comments
204 pts
Iconic consoles of the IBM System/360 mainframes, 55 years old today(righto.com)
7y ago·34 comments
2 pts
Analysis and Compilation of Parallel Programming Languages(pastel.archives-ouvertes.fr)
7y ago·discuss
3 pts
AZM – Live ARM Assembler and Syntax Checker(azm.azerialabs.com)
7y ago·discuss
2 pts
Program Synthesis Meets Machine Learning(microsoft.com)
7y ago·discuss
1 pts
LUTNet: Rethinking Inference in FPGA Soft Logic(arxiv.org)
7y ago·discuss
2 pts
Programming language design: the balance between generality and specificity(ericlippert.com)
7y ago·discuss
74 pts
Multi-Level Intermediate Representation Compiler Infrastructure(github.com)
7y ago·7 comments