All
5+
10+
25+
50+
100+
Next >
3
Prime Path Coverage in the GNU Compiler Collection (arxiv.org)
a day ago |
matt_d
| arxiv.org
|
frontpage
3
Oodle 2.9.14 and Intel 13th/14th gen CPUs (fgiesen.wordpress.com)
2 days ago |
matt_d
| wordpress.com
|
newest
1
Current Continuation E1: Ranjit Jhala (UCSD) [video] (youtube.com)
2 days ago |
matt_d
| youtube.com
|
newest
2
Algebraic Type Theory, Part 1: Martin-Löf Algebras (arxiv.org)
4 days ago |
matt_d
| arxiv.org
|
newest
2
Memory-Centric Computing: Solving Computing's Memory Problem (arxiv.org)
4 days ago |
matt_d
| arxiv.org
|
newest
1
Programming Models for Correct and Modular Distributed Systems (eecs.berkeley.edu)
4 days ago |
matt_d
| berkeley.edu
|
frontpage
1
FCCM 2025 (constantinides.net)
6 days ago |
matt_d
| constantinides.net
|
newest
1
Global Hash Tables Strike Back! An Analysis of Parallel GROUP BY Aggregation (arxiv.org)
a week ago |
matt_d
| arxiv.org
|
newest
1
eqsat: An Equality Saturation Dialect for Non-destructive Rewriting (arxiv.org)
a week ago |
matt_d
| arxiv.org
|
newest
2
Comparing Parallel Functional Array Languages: Programming and Performance (arxiv.org)
a week ago |
matt_d
| arxiv.org
|
frontpage
1
Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI (arxiv.org)
a week ago |
matt_d
| arxiv.org
|
newest
1
Amortized Analysis as a Cost-Aware Abstraction Function (cmu.edu)
a week ago |
matt_d
| cmu.edu
|
newest
3
Chapter 2: Serializability Theory (1987 Concurrency Control Book) (muratbuffalo.blogspot.com)
a week ago |
matt_d
| blogspot.com
|
frontpage
1
SoK: Challenges and Paths Toward Memory Safety for eBPF [pdf] (nebelwelt.net)
a week ago |
matt_d
| nebelwelt.net
|
newest
1
Rod Burstall: In Memoriam (arxiv.org)
a week ago |
matt_d
| arxiv.org
|
newest
25
Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
a week ago |
matt_d
| reasonablypolymorphic.com
|
best
1
What you want to know (but dare to ask) about Conjunctive Query Processing (harp-lab.com)
a week ago |
matt_d
| harp-lab.com
|
newest
4
2025 EuroLLVM Developers' Meeting (youtube.com)
a week ago |
matt_d
| youtube.com
|
frontpage
2
Reverse-Engineering the Address Translation Caches [pdf] (yarom.org)
a week ago |
matt_d
| yarom.org
|
newest
1
A whippet waypoint / Nofl: A Precise Immix (wingolog.org)
2 weeks ago |
matt_d
| wingolog.org
|
frontpage
2
What Works (and Doesn't) Selling Formal Methods (galois.com)
2 weeks ago |
matt_d
| galois.com
|
newest
28
6502 Illegal Opcodes in the Siemens PC 100 Assembly Manual (1980) (pagetable.com)
2 weeks ago |
matt_d
| pagetable.com
|
frontpage
1
Writing a preloadable malloc in Rust, using MMTk (humprog.org)
2 weeks ago |
matt_d
| humprog.org
|
newest
1
From Haskell to a New Structured Combinator Processor (hw.ac.uk)
2 weeks ago |
matt_d
| hw.ac.uk
|
newest
2
Reverse Engineering DVFS Mechanisms [pdf] (takhandipu.github.io)
2 weeks ago |
matt_d
| github.io
|
newest
1
Programming Language Design and Implementation (PLDI) 2025: Accepted Papers (sigplan.org)
2 weeks ago |
matt_d
| sigplan.org
|
newest
17
An Interactive Debugger for Rust Trait Errors (brown.edu)
2 weeks ago |
matt_d
| brown.edu
|
frontpage
25
Orders of Infinity (terrytao.wordpress.com)
2 weeks ago |
matt_d
| wordpress.com
|
frontpage
2
Ozaki Scheme II: A GEMM-oriented emulation of FP matrix multiplication using INT (arxiv.org)
2 weeks ago |
matt_d
| arxiv.org
|
newest
6
The Algebra of Patterns (Extended Version) (arxiv.org)
3 weeks ago |
matt_d
| arxiv.org
|
frontpage
1
Bringing ISA semantics to Lean and Lean-MLIR – Léo Stefanesco [video] (youtube.com)
3 weeks ago |
matt_d
| youtube.com
|
newest
1
Scalable Parallel Programming Languages Myths #1: Productivity and Performance (chapel-lang.org)
3 weeks ago |
matt_d
| chapel-lang.org
|
newest
1
Pinpointing the Learning Obstacles of an Interactive Theorem Prover [pdf] (sarajuhosova.com)
3 weeks ago |
matt_d
| sarajuhosova.com
|
newest
19
Packed Data Support in Haskell (arthi-chaud.github.io)
3 weeks ago |
matt_d
| github.io
|
frontpage
3
RefinedRust: High-Assurance Verification of Rust Programs [video] (youtube.com)
3 weeks ago |
matt_d
| youtube.com
|
frontpage
2
War on JITs: Software-Based Attacks and Hybrid Defenses for JIT Compilers (acm.org)
4 weeks ago |
matt_d
| acm.org
|
frontpage
3
AutoCorrode: Verification Infrastructure for Isabelle/HOL (github.com/awslabs)
4 weeks ago |
matt_d
| github.com
|
newest
2
Databases and Discovery in Arithmetic [video] (simonsfoundation.org)
4 weeks ago |
matt_d
| simonsfoundation.org
|
newest
1
Multi-Grained Specs for Distributed System Model Checking and Verification (muratbuffalo.blogspot.com)
a month ago |
matt_d
| blogspot.com
|
newest
1
Pydrofoil: Accelerating Sail-based instruction set simulators (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
1
A Patchwork of Clang Patches (cor3ntin.github.io)
a month ago |
matt_d
| github.io
|
newest
2
Pulse: Proof-oriented Programming with Concurrent Separation Logic in F* [video] (youtube.com)
a month ago |
matt_d
| youtube.com
|
newest
1
Distance-Based ISA for Efficient Register Management (sigarch.org)
a month ago |
matt_d
| sigarch.org
|
newest
1
Extended User Interrupts (xUI): Fast and Flexible Notification without Polling (acm.org)
a month ago |
matt_d
| acm.org
|
newest
4
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libs (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
3
Banked Memories for Soft SIMT Processors (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
frontpage
1
Analyzing Modern NVIDIA GPU cores (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
2
Ratte: Fuzzing Multi-Level Compilers Using Composable Semantics [pdf] (ic.ac.uk)
a month ago |
matt_d
| ic.ac.uk
|
newest
2
The Cost of Garbage Collection for State Machine Replication (charap.co)
a month ago |
matt_d
| charap.co
|
newest
1
Formalising CXL Cache Coherence [pdf] (ic.ac.uk)
a month ago |
matt_d
| ic.ac.uk
|
newest
2
Calculate Throughput with LLVM's Scheduling Model (myhsu.xyz)
2 months ago |
matt_d
| myhsu.xyz
|
newest
2
MIT Programming Languages Review Workshop 2025: Registration Open (csail.mit.edu)
2 months ago |
matt_d
| mit.edu
|
newest
2
tmp.0ut Volume 4 (tmpout.sh)
2 months ago |
matt_d
| tmpout.sh
|
newest
26
The Calculated Typer (bahr.io)
2 months ago |
matt_d
| bahr.io
|
frontpage
2
Relocation Generation in Assemblers (maskray.me)
2 months ago |
matt_d
| maskray.me
|
frontpage
5
Scanning HTML at Gigabytes per Second on Arm Processors (wiley.com)
2 months ago |
matt_d
| wiley.com
|
frontpage
1
Arm M-Profile Assembly Tricks (github.com/pornin)
2 months ago |
matt_d
| github.com
|
newest
1
Compiling C++ with the Clang API (maskray.me)
2 months ago |
matt_d
| maskray.me
|
newest
1
SQL Engines Excel at the Execution of Imperative Programs [pdf] (vldb.org)
2 months ago |
matt_d
| vldb.org
|
newest
1
The Case for DBMS Live Patching [pdf] (vldb.org)
2 months ago |
matt_d
| vldb.org
|
newest
2
Substructural Parametricity (arxiv.org)
2 months ago |
matt_d
| arxiv.org
|
newest
1
Spineless Traversal for Layout Invalidation (arxiv.org)
2 months ago |
matt_d
| arxiv.org
|
newest
2
A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Apps (acm.org)
2 months ago |
matt_d
| acm.org
|
newest
1
Exploring the Wafer-Scale GPUs [pdf] (sarchlab.org)
2 months ago |
matt_d
| sarchlab.org
|
newest
2
Recursive Subtyping for All (cambridge.org)
2 months ago |
matt_d
| cambridge.org
|
frontpage
3
How much is in a square? Calculating functional programs with squares (cambridge.org)
2 months ago |
matt_d
| cambridge.org
|
newest
54
Zen 5's AVX-512 Frequency Behavior (chipsandcheese.com)
2 months ago |
matt_d
| chipsandcheese.com
|
best
2
Deadlock and Resource Leak Free Languages – Jules Jacobs [video] (youtube.com)
3 months ago |
matt_d
| youtube.com
|
newest
1
Kitsune: Enabling Dataflow Execution on GPUs (arxiv.org)
3 months ago |
matt_d
| arxiv.org
|
newest
3
A mechanically verified garbage collector for OCaml [pdf] (kcsrk.info)
3 months ago |
matt_d
| kcsrk.info
|
frontpage
2
Notions of Stack-Manipulating Computation and Relative Monads (Extended Version) (arxiv.org)
3 months ago |
matt_d
| arxiv.org
|
newest
2
"A Philosophy of Software Design" vs. "Clean Code" (github.com/johnousterhout)
3 months ago |
matt_d
| github.com
|
newest
2
Taxonomy of Small Floating-Point Formats (uwplse.org)
3 months ago |
matt_d
| uwplse.org
|
newest
16
Tensor evolution: A framework for fast tensor computations using recurrences (arxiv.org)
3 months ago |
matt_d
| arxiv.org
|
frontpage
1
I [[musttail]] You About a Tokenizer (neilhenning.dev)
3 months ago |
matt_d
| neilhenning.dev
|
newest
3
How I implement SSA Form – Filip Jerzy Pizło (gist.github.com)
3 months ago |
matt_d
| github.com
|
newest
1
ROSA: Finding Backdoors with Fuzzing (binsec.github.io)
3 months ago |
matt_d
| github.io
|
newest
1
Iterating Pointers: Enabling Static Analysis for Loop-Based Pointers [video] (youtube.com)
3 months ago |
matt_d
| youtube.com
|
newest
1
Avi Wigderson: Reading Alan Turing [video] (youtube.com)
3 months ago |
matt_d
| youtube.com
|
newest
3
Computing Tricky Probabilities (msoos.org)
3 months ago |
matt_d
| msoos.org
|
newest
18
Turner, Bird, Eratosthenes: An eternal burning thread (cambridge.org)
3 months ago |
matt_d
| cambridge.org
|
frontpage
1
Optimizing Datalog for the GPU (acm.org)
3 months ago |
matt_d
| acm.org
|
newest
12
Explainable Linear Programs (jeremykun.com)
3 months ago |
matt_d
| jeremykun.com
|
best
7
Data-Oriented Exploits via Programming Language Synthesis [pdf] (ilyasergey.net)
3 months ago |
matt_d
| ilyasergey.net
|
frontpage
3
PE basics: A windows executable walkthrough – File formats hexplorations 16 [video] (youtube.com)
3 months ago |
matt_d
| youtube.com
|
frontpage
3
Formally Verified Binary-Level Pointer Analysis (arxiv.org)
3 months ago |
matt_d
| arxiv.org
|
newest
2
Coverage Semantics for Dependent Pattern Matching (arxiv.org)
4 months ago |
matt_d
| arxiv.org
|
newest
1
Parametric Subtyping for Structural Parametric Polymorphism (sigplan.org)
4 months ago |
matt_d
| sigplan.org
|
newest
33
Decompiling 2024: A Year of Resurgance in Decompilation Research (mahaloz.re)
4 months ago |
matt_d
| mahaloz.re
|
frontpage
8
SQL or Death? Seminar Series – Spring 2025 (cmu.edu)
4 months ago |
matt_d
| cmu.edu
|
frontpage
1
Match Ergonomics [video] (youtube.com)
4 months ago |
matt_d
| youtube.com
|
newest
2
Hash Functions: Bridging the Gap from Theory to Practice [video] (youtube.com)
4 months ago |
matt_d
| youtube.com
|
newest
1
Analyzing and Exploiting Branch Mispredictions in Microcode (arxiv.org)
4 months ago |
matt_d
| arxiv.org
|
newest
1
Mosaic GPU and Pallas: a JAX kernel language [video] (youtube.com)
4 months ago |
matt_d
| youtube.com
|
newest
38
You could have invented Fenwick trees (cambridge.org)
4 months ago |
matt_d
| cambridge.org
|
best
1
Dissecting the NVIDIA Hopper Architecture through Microbenchmarking (arxiv.org)
4 months ago |
matt_d
| arxiv.org
|
newest
2
AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing [pdf] (mpi-softsec.github.io)
4 months ago |
matt_d
| github.io
|
newest
1
The Future of Microprocessors • Sophie Wilson • GOTO 2024 [video] (youtube.com)
4 months ago |
matt_d
| youtube.com
|
newest
1
TensorRight: Automated Verification of Tensor Graph Rewrites (acm.org)
4 months ago |
matt_d
| acm.org
|
newest
4
Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] (ic.ac.uk)
4 months ago |
matt_d
| ic.ac.uk
|
frontpage
Next >