All
5+
10+
25+
50+
100+
Next >
2
Anarchy in the Database: A Survey and Evaluation of DBMS Extensibility [pdf] (vldb.org)
2 hours ago |
matt_d
| vldb.org
|
newest
2
2025 AsiaLLVM Developers' Meeting Talks (youtube.com)
a day ago |
matt_d
| youtube.com
|
newest
2
A mostly allocation-free optional type (joachim-breitner.de)
a day ago |
matt_d
| joachim-breitner.de
|
newest
1
On the Feasibility of Deduplicating Compiler Bugs with Bisection (arxiv.org)
a day ago |
matt_d
| arxiv.org
|
newest
18
GPEmu: A GPU emulator for rapid, low-cost deep learning prototyping [pdf] (vldb.org)
3 days ago |
matt_d
| vldb.org
|
best
1
TYPES 2025: The 31st International Conference on Types for Proofs and Programs (strath.ac.uk)
3 days ago |
matt_d
| strath.ac.uk
|
frontpage
15
Magnetic Tape Storage Technology: usage, history, and future outlook (acm.org)
4 days ago |
matt_d
| acm.org
|
frontpage
3
10 Myths of Scalable Parallel Languages, Part 3: New vs. Extended (chapel-lang.org)
6 days ago |
matt_d
| chapel-lang.org
|
newest
3
Converging AI and HPC: Design and Optimization of a CGRA Architecture [pdf] (cogarchworkshop.org)
6 days ago |
matt_d
| cogarchworkshop.org
|
newest
14
Multi-Stage Programming with Splice Variables (tsung-ju.org)
5 days ago |
matt_d
| tsung-ju.org
|
frontpage
2
Type Theory and Themes in Philosophical Logic – Greg Restall – TYPES 2025 (consequently.org)
6 days ago |
matt_d
| consequently.org
|
newest
1
BinDSA: Efficient, Precise Binary-Level Pointer Analysis (acm.org)
a week ago |
matt_d
| acm.org
|
newest
1
Bridging the Gaps Between GNNs and Data-Flow Analysis: The Closer, the Better (acm.org)
a week ago |
matt_d
| acm.org
|
newest
2
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs (ecoop.org)
a week ago |
matt_d
| ecoop.org
|
newest
1
Lifetime Dispersion and Generational GC: An Intellectual Abstract (acm.org)
a week ago |
matt_d
| acm.org
|
frontpage
1
Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine (arxiv.org)
a week ago |
matt_d
| arxiv.org
|
frontpage
3
Telescopes Are Tries: A Dependent Type Shellac on SQLite (philipzucker.com)
a week ago |
matt_d
| philipzucker.com
|
frontpage
2
Linux x86_64 Assembly Programming Part 5: Macros (github.com/0xax)
a week ago |
matt_d
| github.com
|
frontpage
1
CVDP: LLM Benchmark for Verilog RTL Design and Verification (arxiv.org)
a week ago |
matt_d
| arxiv.org
|
newest
2
Trip report: June 2025 ISO C++ standards meeting (herbsutter.com)
a week ago |
matt_d
| herbsutter.com
|
newest
6
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV) (siglog.org)
a week ago |
matt_d
| siglog.org
|
frontpage
2
Practical Type Inference with Levels (PLDI 2025 – Distinguished Paper Award) (sigplan.org)
a week ago |
matt_d
| sigplan.org
|
newest
2
The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (PEPM 2025) [video] (youtube.com)
a week ago |
matt_d
| youtube.com
|
newest
78
Compiling LLMs into a MegaKernel: A path to low-latency inference (zhihaojia.medium.com)
2 weeks ago |
matt_d
| medium.com
|
best
1
Usability Barriers for Liquid Types (acm.org)
2 weeks ago |
matt_d
| acm.org
|
newest
1
Exploring the Theory and Practice of Concurrency in the ECS Pattern [pdf] (curious.software)
2 weeks ago |
matt_d
| curious.software
|
newest
1
Elaboration with Error Recovery (github.com/brendanzab)
2 weeks ago |
matt_d
| github.com
|
newest
1
Sound Static Data Race Verification for C: Is the Race Lost? (sigplan.org)
2 weeks ago |
matt_d
| sigplan.org
|
newest
2
Monads are not like burritos (byorgey.github.io)
2 weeks ago |
matt_d
| github.io
|
newest
1
Inside torch.compile Guards: How They Work, What They Cost, and Ways to Optimize (youtube.com)
2 weeks ago |
matt_d
| youtube.com
|
newest
4
phkmalloc (freebsd.dk)
2 weeks ago |
matt_d
| freebsd.dk
|
newest
2
Advent of Computing: Episode 159 – The Intel 286: A Legacy Trap (libsyn.com)
2 weeks ago |
matt_d
| libsyn.com
|
newest
2
Introduction to Competitive Programming in Haskell (byorgey.github.io)
2 weeks ago |
matt_d
| github.io
|
newest
2
Relational Abstractions Based on Labeled Union-Find (codex.top)
2 weeks ago |
matt_d
| codex.top
|
newest
2
A Guided Tour of Polarity and Focusing (hyperkind.org)
2 weeks ago |
matt_d
| hyperkind.org
|
newest
2
"How slow is the tracing interpreter of PyPy's meta-tracing JIT?" (cfbolz.de)
3 weeks ago |
matt_d
| cfbolz.de
|
newest
1
JIT Code Generation with AsmJit [video] (youtube.com)
3 weeks ago |
matt_d
| youtube.com
|
newest
1
Type Theory and Themes in Philosophical Logic (consequently.org)
3 weeks ago |
matt_d
| consequently.org
|
newest
3
EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf] (ethz.ch)
3 weeks ago |
matt_d
| ethz.ch
|
frontpage
1
Inspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation (ndss-symposium.org)
3 weeks ago |
matt_d
| ndss-symposium.org
|
newest
22
Modern Minimal Perfect Hashing: A Survey (arxiv.org)
3 weeks ago |
matt_d
| arxiv.org
|
frontpage
2
How to Make the Most Out of SIMD on AArch64? (ieee.org)
3 weeks ago |
matt_d
| ieee.org
|
newest
3
[RFC] MLIR Dialect for WebAssembly (llvm.org)
3 weeks ago |
matt_d
| llvm.org
|
newest
1
An SMT Formalization of Mixed-Precision Matrix Multiplication (arxiv.org)
3 weeks ago |
matt_d
| arxiv.org
|
newest
1
From Boolean logic to bitmath and SIMD: transitive closure of tiny graphs (bitmath.blogspot.com)
3 weeks ago |
matt_d
| blogspot.com
|
newest
1
Autocomp: LLM-Driven Code Optimization for Tensor Accelerators (charleshong3.github.io)
3 weeks ago |
matt_d
| github.io
|
newest
2
GPU Memory Consistency: Specs, Testing, and Opportunities for Perf Tooling (sigarch.org)
3 weeks ago |
matt_d
| sigarch.org
|
newest
3
Potential and Limitation of High-Frequency Cores and Caches (2024) (ucdavis.edu)
4 weeks ago |
matt_d
| ucdavis.edu
|
frontpage
1
GDBMiner: Mining Precise Input Grammars on Almost Any System (dagstuhl.de)
4 weeks ago |
matt_d
| dagstuhl.de
|
newest
2
Spegion: Implicit and Non-Lexical Regions with Sized Allocations (arxiv.org)
4 weeks ago |
matt_d
| arxiv.org
|
newest
2
Linearity and Uniqueness (kcsrk.info)
4 weeks ago |
matt_d
| kcsrk.info
|
newest
2
[dupe] INTERCAL Rides Again – Restoring a Lost Compiler (libsyn.com)
a month ago |
matt_d
| libsyn.com
|
newest
1
Understanding Memory Management, Part 6: Basic Garbage Collection (educatedguesswork.org)
a month ago |
matt_d
| educatedguesswork.org
|
newest
1
Uniqueness for Behavioural Types (kcsrk.info)
a month ago |
matt_d
| kcsrk.info
|
newest
1
TPDE: A Fast Adaptable Compiler Back-End Framework (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
frontpage
2
The missing guide to Dataflow Analysis in MLIR (lowlevelbits.com)
a month ago |
matt_d
| lowlevelbits.com
|
newest
1
Current Continuation E2: Satnam Singh (Groq) [video] (youtube.com)
a month ago |
matt_d
| youtube.com
|
newest
3
Games on ARM64: Introduction to FEX EMU, a fast usermode x86-64 emulator [video] (youtube.com)
a month ago |
matt_d
| youtube.com
|
frontpage
1
Bidirectional typing with unification for higher-rank polymorphism (github.com/brendanzab)
a month ago |
matt_d
| github.com
|
newest
26
DWARF as a Shared Reverse Engineering Format (lief.re)
a month ago |
matt_d
| lief.re
|
best
1
Finite-Choice Logic Programming (POPL 2025) [video] (youtube.com)
a month ago |
matt_d
| youtube.com
|
newest
1
Data-Driven Loop Fusion (cheshmi.cc)
a month ago |
matt_d
| cheshmi.cc
|
newest
1
Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context (philipzucker.com)
a month ago |
matt_d
| philipzucker.com
|
newest
1
Workload-Aware Cloud Efficiency:A Large-Scale Empirical Study of Cloud Workloads (acm.org)
a month ago |
matt_d
| acm.org
|
newest
2
Against Curry-Howard Mysticism (liamoc.net)
a month ago |
matt_d
| liamoc.net
|
newest
1
Maximal Simplification of Polyhedral Reductions (POPL 2025) [video] (youtube.com)
a month ago |
matt_d
| youtube.com
|
newest
3
Prime Path Coverage in the GNU Compiler Collection (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
frontpage
3
Oodle 2.9.14 and Intel 13th/14th gen CPUs (fgiesen.wordpress.com)
a month ago |
matt_d
| wordpress.com
|
newest
1
Current Continuation E1: Ranjit Jhala (UCSD) [video] (youtube.com)
a month ago |
matt_d
| youtube.com
|
newest
2
Algebraic Type Theory, Part 1: Martin-Löf Algebras (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
2
Memory-Centric Computing: Solving Computing's Memory Problem (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
1
Programming Models for Correct and Modular Distributed Systems (eecs.berkeley.edu)
a month ago |
matt_d
| berkeley.edu
|
frontpage
1
FCCM 2025 (constantinides.net)
a month ago |
matt_d
| constantinides.net
|
newest
1
Global Hash Tables Strike Back! An Analysis of Parallel GROUP BY Aggregation (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
1
eqsat: An Equality Saturation Dialect for Non-destructive Rewriting (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
2
Comparing Parallel Functional Array Languages: Programming and Performance (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
frontpage
1
Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
1
Amortized Analysis as a Cost-Aware Abstraction Function (cmu.edu)
a month ago |
matt_d
| cmu.edu
|
newest
3
Chapter 2: Serializability Theory (1987 Concurrency Control Book) (muratbuffalo.blogspot.com)
a month ago |
matt_d
| blogspot.com
|
frontpage
1
SoK: Challenges and Paths Toward Memory Safety for eBPF [pdf] (nebelwelt.net)
a month ago |
matt_d
| nebelwelt.net
|
newest
1
Rod Burstall: In Memoriam (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
25
Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
a month ago |
matt_d
| reasonablypolymorphic.com
|
best
1
What you want to know (but dare to ask) about Conjunctive Query Processing (harp-lab.com)
a month ago |
matt_d
| harp-lab.com
|
newest
4
2025 EuroLLVM Developers' Meeting (youtube.com)
a month ago |
matt_d
| youtube.com
|
frontpage
2
Reverse-Engineering the Address Translation Caches [pdf] (yarom.org)
a month ago |
matt_d
| yarom.org
|
newest
1
A whippet waypoint / Nofl: A Precise Immix (wingolog.org)
a month ago |
matt_d
| wingolog.org
|
frontpage
2
What Works (and Doesn't) Selling Formal Methods (galois.com)
a month ago |
matt_d
| galois.com
|
newest
28
6502 Illegal Opcodes in the Siemens PC 100 Assembly Manual (1980) (pagetable.com)
a month ago |
matt_d
| pagetable.com
|
frontpage
1
Writing a preloadable malloc in Rust, using MMTk (humprog.org)
a month ago |
matt_d
| humprog.org
|
newest
1
From Haskell to a New Structured Combinator Processor (hw.ac.uk)
a month ago |
matt_d
| hw.ac.uk
|
newest
2
Reverse Engineering DVFS Mechanisms [pdf] (takhandipu.github.io)
a month ago |
matt_d
| github.io
|
newest
1
Programming Language Design and Implementation (PLDI) 2025: Accepted Papers (sigplan.org)
a month ago |
matt_d
| sigplan.org
|
newest
17
An Interactive Debugger for Rust Trait Errors (brown.edu)
a month ago |
matt_d
| brown.edu
|
frontpage
25
Orders of Infinity (terrytao.wordpress.com)
a month ago |
matt_d
| wordpress.com
|
frontpage
2
Ozaki Scheme II: A GEMM-oriented emulation of FP matrix multiplication using INT (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
6
The Algebra of Patterns (Extended Version) (arxiv.org)
2 months ago |
matt_d
| arxiv.org
|
frontpage
1
Bringing ISA semantics to Lean and Lean-MLIR – Léo Stefanesco [video] (youtube.com)
2 months ago |
matt_d
| youtube.com
|
newest
1
Scalable Parallel Programming Languages Myths #1: Productivity and Performance (chapel-lang.org)
2 months ago |
matt_d
| chapel-lang.org
|
newest
1
Pinpointing the Learning Obstacles of an Interactive Theorem Prover [pdf] (sarajuhosova.com)
3 months ago |
matt_d
| sarajuhosova.com
|
newest
19
Packed Data Support in Haskell (arthi-chaud.github.io)
3 months ago |
matt_d
| github.io
|
frontpage
Next >