back
user profile

matt_d

21,167karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
2 pts
Debugopt: Debugging fully optimized natively compiled programs(sciencedirect.com)
7y ago·discuss
3 pts
Under the hood of Formal Verification(tomverbeure.github.io)
7y ago·discuss
2 pts
You Cannot Improve What You Don't Measure: FPGA vs. ASIC Efficiency Gaps for CNN [pdf](aboutros.info)
7y ago·discuss
3 pts
Automatic Equivalence Checking for Assembly Implementations of Cryptography Lib.(cs.rutgers.edu)
7y ago·discuss
108 pts
LVC – Linear Verified Compiler(ps.uni-saarland.de)
7y ago·7 comments
6 pts
Taming the Chaos: Can we build systems that actually work?(media.ccc.de)
7y ago·discuss
comment
" The Research Challenge. The long-term challenge is whether we can easily or even automatically find the optimal storage design for a given problem. This has been recognized as an open proble…
7y ago·view thread
4 pts
Design Continuums and the Path Toward Self-Designing Key-Value Stores That Know…(stratos.seas.harvard.edu)
7y ago·1 comments
116 pts
Do Developers Understand IEEE Floating Point? [pdf](pdinda.org)
7y ago·100 comments
72 pts
What Can We Learn from the Intel SPMD Program Compiler?(software.intel.com)
7y ago·18 comments
4 pts
Simple Data Structures(arne-mertz.de)
7y ago·discuss
96 pts
8bitworkshop IDE: Designing Hardware with Verilog(8bitworkshop.com)
7y ago·6 comments
150 pts
Searching statically-linked vulnerable library functions in executable code(googleprojectzero.blogspot.com)
7y ago·37 comments
1 pts
Removing a recursion in Python, part 2 (implementing continuation passing style)(ericlippert.com)
7y ago·discuss
2 pts
On the Architecture of a (Verifying) Compiler(youtube.com)
7y ago·discuss
4 pts
Never Again: Spectre-Proofing Chip Designs with End-To-End Formal Methods(youtube.com)
7y ago·discuss
132 pts
9cc: A Small C Compiler(github.com)
7y ago·68 comments
3 pts
Gradual Typing: A New Perspective [pdf](irif.fr)
7y ago·discuss
2 pts
Donald Knuth's 24th Annual Christmas Lecture: Dancing Links(youtube.com)
7y ago·discuss
2 pts
Can a compiler guarantee multi-owner memory safety?(pling.jondgoodwin.com)
7y ago·discuss
17 pts
Gems of Corrado Böhm(arxiv.org)
7y ago·2 comments
2 pts
Guaranteed Copy Elision Does Not Elide Copies(blogs.msdn.microsoft.com)
7y ago·2 comments
3 pts
Breaking Down Barriers – Part 6: Experimenting with Overlap and Preemption(mynameismjp.wordpress.com)
7y ago·discuss
2 pts
Register Allocation: More Than Coloring – 2018 LLVM Developers’ Meeting(youtube.com)
7y ago·discuss
3 pts
How Approximate Model Counting Works(msoos.org)
7y ago·discuss
2 pts
You are a Program Synthesizer(pathsensitive.com)
7y ago·discuss
2 pts
FWRISC (Featherweight RISC-V): Sizing Up the RISC-V Architecture(bitsbytesgates.blogspot.com)
7y ago·discuss
2 pts
A Bug-Free RISC-V Core Without Simulation(tomverbeure.github.io)
7y ago·discuss
3 pts
RISC-V ASM Tutorial Collection – Western Digital(youtube.com)
7y ago·discuss
171 pts
The Swiss Army Knife of Hashmaps(blog.waffles.space)
7y ago·9 comments