back
user profile

matt_d

21,161karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
245 pts
A Virtual Machine(craftinginterpreters.com)
8y ago·56 comments
1 pts
Tools for microarchitectural benchmarking(dendibakh.github.io)
8y ago·discuss
2 pts
Breaking Down Barriers – Part 2: Synchronizing GPU Threads(mynameismjp.wordpress.com)
8y ago·discuss
4 pts
[PDF] BranchScope: A New Side-Channel Attack on Directional Branch Predictor(cs.ucr.edu)
8y ago·discuss
2 pts
An accessible overview of Meltdown and Spectre, Part 2(blog.trailofbits.com)
8y ago·discuss
130 pts
Understanding CPU port contention(dendibakh.github.io)
8y ago·19 comments
56 pts
The history of documented Unix facilities(dspinellis.github.io)
8y ago·12 comments
110 pts
Types, and Why You Should Care [video](youtube.com)
8y ago·135 comments
7 pts
Build systems a la carte - Microsoft Research(microsoft.com)
8y ago·discuss
1 pts
Performance Profiling(medium.com)
8y ago·discuss
1 pts
Jacksonville’18 ISO C++ Report – J. Daniel García(usingstdcpp.org)
8y ago·discuss
1 pts
Universal Instruction Selection(diva-portal.org)
8y ago·discuss
1 pts
Is formal really all that hard?(zipcpu.com)
8y ago·discuss
3 pts
Mitigating speculative execution side channel hardware vulnerabilities(blogs.technet.microsoft.com)
8y ago·discuss
20 pts
ed(1) is Turing-Complete(nixwindows.wordpress.com)
8y ago·1 comments
2 pts
DragonFFI: FFI/JIT for the C language using Clang/LLVM(blog.llvm.org)
8y ago·discuss
4 pts
Store forwarding by example(dendibakh.github.io)
8y ago·discuss
3 pts
User Interface Software and Technology(faculty.washington.edu)
8y ago·discuss
1 pts
Resource Polymorphism(hal.inria.fr)
8y ago·discuss
92 pts
Copying vs. sharing in functional languages(danghica.blogspot.com)
8y ago·43 comments
72 pts
Sulong: Finding Errors in C Programs [pdf](ssw.jku.at)
8y ago·12 comments
2 pts
[PDF] An Analysis of x86-64 Inline Assembly in C Programs(ssw.jku.at)
8y ago·discuss
121 pts
CTTK: Constant-Time Toolkit(github.com)
8y ago·41 comments
5 pts
The Basic Toolbox(blog.regehr.org)
8y ago·1 comments
comment
- Demo: https://youtu.be/oYtnXEZC0jk?t=28m15s - Herbgrind: http://herbgrind.ucsd.edu/ - Herbie: http://herbie.uwplse.org/ - FPBench: http:/…
8y ago·view thread
4 pts
Numerical Tools for Non-Experts - Microsoft Research(microsoft.com)
8y ago·1 comments
2 pts
Systolic CNN AcceLErator Simulator (SCALE Sim)(github.com)
8y ago·discuss
comment
Slides and code examples: http://www.mshah.io/fosdem18.html
8y ago·view thread
271 pts
Introduction to LLVM [video](fosdem.org)
8y ago·23 comments
2 pts
Unix Architecture Evolution from the 1970 PDP-7 to the 2018 FreeBSD(fosdem.org)
8y ago·discuss