All
5+
10+
25+
50+
100+
< Prev
Next >
2
Advent of Computing: Episode 159 – The Intel 286: A Legacy Trap (libsyn.com)
5 months ago |
matt_d
| libsyn.com
|
newest
2
Introduction to Competitive Programming in Haskell (byorgey.github.io)
5 months ago |
matt_d
| github.io
|
newest
2
Relational Abstractions Based on Labeled Union-Find (codex.top)
5 months ago |
matt_d
| codex.top
|
newest
2
A Guided Tour of Polarity and Focusing (hyperkind.org)
5 months ago |
matt_d
| hyperkind.org
|
newest
2
"How slow is the tracing interpreter of PyPy's meta-tracing JIT?" (cfbolz.de)
5 months ago |
matt_d
| cfbolz.de
|
newest
1
JIT Code Generation with AsmJit [video] (youtube.com)
5 months ago |
matt_d
| youtube.com
|
newest
1
Type Theory and Themes in Philosophical Logic (consequently.org)
5 months ago |
matt_d
| consequently.org
|
newest
3
EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf] (ethz.ch)
5 months ago |
matt_d
| ethz.ch
|
frontpage
1
Inspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation (ndss-symposium.org)
5 months ago |
matt_d
| ndss-symposium.org
|
newest
22
Modern Minimal Perfect Hashing: A Survey (arxiv.org)
5 months ago |
matt_d
| arxiv.org
|
frontpage
2
How to Make the Most Out of SIMD on AArch64? (ieee.org)
5 months ago |
matt_d
| ieee.org
|
newest
3
[RFC] MLIR Dialect for WebAssembly (llvm.org)
5 months ago |
matt_d
| llvm.org
|
newest
1
An SMT Formalization of Mixed-Precision Matrix Multiplication (arxiv.org)
5 months ago |
matt_d
| arxiv.org
|
newest
1
From Boolean logic to bitmath and SIMD: transitive closure of tiny graphs (bitmath.blogspot.com)
5 months ago |
matt_d
| blogspot.com
|
newest
1
Autocomp: LLM-Driven Code Optimization for Tensor Accelerators (charleshong3.github.io)
5 months ago |
matt_d
| github.io
|
newest
2
GPU Memory Consistency: Specs, Testing, and Opportunities for Perf Tooling (sigarch.org)
5 months ago |
matt_d
| sigarch.org
|
newest
3
Potential and Limitation of High-Frequency Cores and Caches (2024) (ucdavis.edu)
5 months ago |
matt_d
| ucdavis.edu
|
frontpage
1
GDBMiner: Mining Precise Input Grammars on Almost Any System (dagstuhl.de)
5 months ago |
matt_d
| dagstuhl.de
|
newest
2
Spegion: Implicit and Non-Lexical Regions with Sized Allocations (arxiv.org)
5 months ago |
matt_d
| arxiv.org
|
newest
2
Linearity and Uniqueness (kcsrk.info)
5 months ago |
matt_d
| kcsrk.info
|
newest
2
[dupe] INTERCAL Rides Again – Restoring a Lost Compiler (libsyn.com)
5 months ago |
matt_d
| libsyn.com
|
newest
1
Understanding Memory Management, Part 6: Basic Garbage Collection (educatedguesswork.org)
5 months ago |
matt_d
| educatedguesswork.org
|
newest
1
Uniqueness for Behavioural Types (kcsrk.info)
6 months ago |
matt_d
| kcsrk.info
|
newest
1
TPDE: A Fast Adaptable Compiler Back-End Framework (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
frontpage
2
The missing guide to Dataflow Analysis in MLIR (lowlevelbits.com)
6 months ago |
matt_d
| lowlevelbits.com
|
newest
1
Current Continuation E2: Satnam Singh (Groq) [video] (youtube.com)
6 months ago |
matt_d
| youtube.com
|
newest
3
Games on ARM64: Introduction to FEX EMU, a fast usermode x86-64 emulator [video] (youtube.com)
6 months ago |
matt_d
| youtube.com
|
frontpage
1
Bidirectional typing with unification for higher-rank polymorphism (github.com/brendanzab)
6 months ago |
matt_d
| github.com
|
newest
26
DWARF as a Shared Reverse Engineering Format (lief.re)
6 months ago |
matt_d
| lief.re
|
best
1
Finite-Choice Logic Programming (POPL 2025) [video] (youtube.com)
6 months ago |
matt_d
| youtube.com
|
newest
1
Data-Driven Loop Fusion (cheshmi.cc)
6 months ago |
matt_d
| cheshmi.cc
|
newest
1
Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context (philipzucker.com)
6 months ago |
matt_d
| philipzucker.com
|
newest
1
Workload-Aware Cloud Efficiency:A Large-Scale Empirical Study of Cloud Workloads (acm.org)
6 months ago |
matt_d
| acm.org
|
newest
2
Against Curry-Howard Mysticism (liamoc.net)
6 months ago |
matt_d
| liamoc.net
|
newest
1
Maximal Simplification of Polyhedral Reductions (POPL 2025) [video] (youtube.com)
6 months ago |
matt_d
| youtube.com
|
newest
3
Prime Path Coverage in the GNU Compiler Collection (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
frontpage
3
Oodle 2.9.14 and Intel 13th/14th gen CPUs (fgiesen.wordpress.com)
6 months ago |
matt_d
| wordpress.com
|
newest
1
Current Continuation E1: Ranjit Jhala (UCSD) [video] (youtube.com)
6 months ago |
matt_d
| youtube.com
|
newest
2
Algebraic Type Theory, Part 1: Martin-Löf Algebras (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
newest
2
Memory-Centric Computing: Solving Computing's Memory Problem (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
newest
1
Programming Models for Correct and Modular Distributed Systems (eecs.berkeley.edu)
6 months ago |
matt_d
| berkeley.edu
|
frontpage
1
FCCM 2025 (constantinides.net)
6 months ago |
matt_d
| constantinides.net
|
newest
1
Global Hash Tables Strike Back! An Analysis of Parallel GROUP BY Aggregation (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
newest
1
eqsat: An Equality Saturation Dialect for Non-destructive Rewriting (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
newest
2
Comparing Parallel Functional Array Languages: Programming and Performance (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
frontpage
1
Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
newest
1
Amortized Analysis as a Cost-Aware Abstraction Function (cmu.edu)
6 months ago |
matt_d
| cmu.edu
|
newest
3
Chapter 2: Serializability Theory (1987 Concurrency Control Book) (muratbuffalo.blogspot.com)
6 months ago |
matt_d
| blogspot.com
|
frontpage
1
SoK: Challenges and Paths Toward Memory Safety for eBPF [pdf] (nebelwelt.net)
6 months ago |
matt_d
| nebelwelt.net
|
newest
1
Rod Burstall: In Memoriam (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
newest
25
Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
6 months ago |
matt_d
| reasonablypolymorphic.com
|
best
1
What you want to know (but dare to ask) about Conjunctive Query Processing (harp-lab.com)
6 months ago |
matt_d
| harp-lab.com
|
newest
4
2025 EuroLLVM Developers' Meeting (youtube.com)
6 months ago |
matt_d
| youtube.com
|
frontpage
2
Reverse-Engineering the Address Translation Caches [pdf] (yarom.org)
6 months ago |
matt_d
| yarom.org
|
newest
1
A whippet waypoint / Nofl: A Precise Immix (wingolog.org)
6 months ago |
matt_d
| wingolog.org
|
frontpage
2
What Works (and Doesn't) Selling Formal Methods (galois.com)
6 months ago |
matt_d
| galois.com
|
newest
28
6502 Illegal Opcodes in the Siemens PC 100 Assembly Manual (1980) (pagetable.com)
6 months ago |
matt_d
| pagetable.com
|
frontpage
1
Writing a preloadable malloc in Rust, using MMTk (humprog.org)
6 months ago |
matt_d
| humprog.org
|
newest
1
From Haskell to a New Structured Combinator Processor (hw.ac.uk)
6 months ago |
matt_d
| hw.ac.uk
|
newest
2
Reverse Engineering DVFS Mechanisms [pdf] (takhandipu.github.io)
6 months ago |
matt_d
| github.io
|
newest
1
Programming Language Design and Implementation (PLDI) 2025: Accepted Papers (sigplan.org)
6 months ago |
matt_d
| sigplan.org
|
newest
17
An Interactive Debugger for Rust Trait Errors (brown.edu)
6 months ago |
matt_d
| brown.edu
|
frontpage
25
Orders of Infinity (terrytao.wordpress.com)
6 months ago |
matt_d
| wordpress.com
|
frontpage
2
Ozaki Scheme II: A GEMM-oriented emulation of FP matrix multiplication using INT (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
newest
6
The Algebra of Patterns (Extended Version) (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
frontpage
1
Bringing ISA semantics to Lean and Lean-MLIR – Léo Stefanesco [video] (youtube.com)
6 months ago |
matt_d
| youtube.com
|
newest
1
Scalable Parallel Programming Languages Myths #1: Productivity and Performance (chapel-lang.org)
6 months ago |
matt_d
| chapel-lang.org
|
newest
1
Pinpointing the Learning Obstacles of an Interactive Theorem Prover [pdf] (sarajuhosova.com)
7 months ago |
matt_d
| sarajuhosova.com
|
newest
19
Packed Data Support in Haskell (arthi-chaud.github.io)
7 months ago |
matt_d
| github.io
|
frontpage
3
RefinedRust: High-Assurance Verification of Rust Programs [video] (youtube.com)
7 months ago |
matt_d
| youtube.com
|
frontpage
2
War on JITs: Software-Based Attacks and Hybrid Defenses for JIT Compilers (acm.org)
7 months ago |
matt_d
| acm.org
|
frontpage
3
AutoCorrode: Verification Infrastructure for Isabelle/HOL (github.com/awslabs)
7 months ago |
matt_d
| github.com
|
newest
2
Databases and Discovery in Arithmetic [video] (simonsfoundation.org)
7 months ago |
matt_d
| simonsfoundation.org
|
newest
1
Multi-Grained Specs for Distributed System Model Checking and Verification (muratbuffalo.blogspot.com)
7 months ago |
matt_d
| blogspot.com
|
newest
1
Pydrofoil: Accelerating Sail-based instruction set simulators (arxiv.org)
7 months ago |
matt_d
| arxiv.org
|
newest
1
A Patchwork of Clang Patches (cor3ntin.github.io)
7 months ago |
matt_d
| github.io
|
newest
2
Pulse: Proof-oriented Programming with Concurrent Separation Logic in F* [video] (youtube.com)
7 months ago |
matt_d
| youtube.com
|
newest
1
Distance-Based ISA for Efficient Register Management (sigarch.org)
7 months ago |
matt_d
| sigarch.org
|
newest
1
Extended User Interrupts (xUI): Fast and Flexible Notification without Polling (acm.org)
7 months ago |
matt_d
| acm.org
|
newest
4
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libs (arxiv.org)
7 months ago |
matt_d
| arxiv.org
|
newest
3
Banked Memories for Soft SIMT Processors (arxiv.org)
7 months ago |
matt_d
| arxiv.org
|
frontpage
1
Analyzing Modern NVIDIA GPU cores (arxiv.org)
8 months ago |
matt_d
| arxiv.org
|
newest
2
Ratte: Fuzzing Multi-Level Compilers Using Composable Semantics [pdf] (ic.ac.uk)
8 months ago |
matt_d
| ic.ac.uk
|
newest
2
The Cost of Garbage Collection for State Machine Replication (charap.co)
8 months ago |
matt_d
| charap.co
|
newest
1
Formalising CXL Cache Coherence [pdf] (ic.ac.uk)
8 months ago |
matt_d
| ic.ac.uk
|
newest
2
Calculate Throughput with LLVM's Scheduling Model (myhsu.xyz)
8 months ago |
matt_d
| myhsu.xyz
|
newest
2
MIT Programming Languages Review Workshop 2025: Registration Open (csail.mit.edu)
8 months ago |
matt_d
| mit.edu
|
newest
2
tmp.0ut Volume 4 (tmpout.sh)
8 months ago |
matt_d
| tmpout.sh
|
newest
26
The Calculated Typer (bahr.io)
8 months ago |
matt_d
| bahr.io
|
frontpage
2
Relocation Generation in Assemblers (maskray.me)
8 months ago |
matt_d
| maskray.me
|
frontpage
5
Scanning HTML at Gigabytes per Second on Arm Processors (wiley.com)
8 months ago |
matt_d
| wiley.com
|
frontpage
1
Arm M-Profile Assembly Tricks (github.com/pornin)
8 months ago |
matt_d
| github.com
|
newest
1
Compiling C++ with the Clang API (maskray.me)
8 months ago |
matt_d
| maskray.me
|
newest
1
SQL Engines Excel at the Execution of Imperative Programs [pdf] (vldb.org)
8 months ago |
matt_d
| vldb.org
|
newest
1
The Case for DBMS Live Patching [pdf] (vldb.org)
8 months ago |
matt_d
| vldb.org
|
newest
2
Substructural Parametricity (arxiv.org)
8 months ago |
matt_d
| arxiv.org
|
newest
1
Spineless Traversal for Layout Invalidation (arxiv.org)
8 months ago |
matt_d
| arxiv.org
|
newest
2
A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Apps (acm.org)
8 months ago |
matt_d
| acm.org
|
newest
1
Exploring the Wafer-Scale GPUs [pdf] (sarchlab.org)
8 months ago |
matt_d
| sarchlab.org
|
newest
2
Recursive Subtyping for All (cambridge.org)
8 months ago |
matt_d
| cambridge.org
|
frontpage
< Prev
Next >