All
5+
10+
25+
50+
100+
< Prev
Next >
1
Translation Validation for LLVM's AArch64 Back End [pdf] (utah.edu)
3 months ago |
matt_d
| utah.edu
|
newest
2
What on Earth Does Pointer Provenance Have to Do with RCU? (kernel.org)
3 months ago |
matt_d
| kernel.org
|
newest
1
Adventures in Type Theory 1 – Locally Nameless STLC (Part 1) (tekne.dev)
3 months ago |
matt_d
| tekne.dev
|
newest
3
Extending the C/C++ Memory Model with Inline Assembly [video] (youtube.com)
3 months ago |
matt_d
| youtube.com
|
newest
1
Powerful GPUs or Fast Interconnects: Analyzing Relational Workloads (vldb.org)
3 months ago |
matt_d
| vldb.org
|
frontpage
1
How to Optimize SQL Queries? A Comparison [pdf] (vldb.org)
3 months ago |
matt_d
| vldb.org
|
newest
2
Which Programming Language Should I Teach First: the least productive question (parentheticallyspeaking.org)
3 months ago |
matt_d
| parentheticallyspeaking.org
|
newest
1
10 Myths of Scalable Parallel Languages Part 5: Productivity and Magic Compilers (chapel-lang.org)
3 months ago |
matt_d
| chapel-lang.org
|
newest
1
Simplifying&Isolating Failure-Inducing Input: A Retrospective on Delta Debugging (ieee.org)
3 months ago |
matt_d
| ieee.org
|
newest
2
A Clash Course in Solving Sudoku (Functional Pearl) [pdf] (unsafeperform.io)
3 months ago |
matt_d
| unsafeperform.io
|
frontpage
2
Inter-APU Communication on AMD MI300A Systems via Infinity Fabric: A Deep Dive (arxiv.org)
3 months ago |
matt_d
| arxiv.org
|
newest
3
"The Best New Programming Language is a Proof Assistant" by Harry Goldstein [video] (youtube.com)
3 months ago |
matt_d
| youtube.com
|
frontpage
1
"When is a Function a Fold, or an Unfold?" – Jeremy Gibbons [video] (youtube.com)
3 months ago |
matt_d
| youtube.com
|
newest
2
Cycle-Accurate 8088 Emulation [video] (youtube.com)
3 months ago |
matt_d
| youtube.com
|
newest
3
UNIX: A History and a Memoir by Brian Kernighan [video] (youtube.com)
3 months ago |
matt_d
| youtube.com
|
newest
1
Specification and Formal Verification of Hardware–Software Contracts (computer.org)
3 months ago |
matt_d
| computer.org
|
newest
2
Dissecting CPU-GPU Unified Physical Memory on AMD MI300A APUs (arxiv.org)
3 months ago |
matt_d
| arxiv.org
|
newest
32
[dupe] How to Think About GPUs (jax-ml.github.io)
3 months ago |
matt_d
| github.io
|
frontpage
1
Basic dependency injection with objects in OCaml (gr-im.github.io)
3 months ago |
matt_d
| github.io
|
newest
1
Invertible Syntax Without the Tuples (Functional Pearl) (arxiv.org)
3 months ago |
matt_d
| arxiv.org
|
newest
2
A Python CLI for Verifying Assembly (philipzucker.com)
3 months ago |
matt_d
| philipzucker.com
|
newest
3
ARMing GPUs: On the Memory Subsystem of Grace Hopper GH200 [video] (youtube.com)
3 months ago |
matt_d
| youtube.com
|
newest
1
Numerical Considerations in Weighted Model Counting (arxiv.org)
3 months ago |
matt_d
| arxiv.org
|
newest
1
State of torch.compile for training (August 2025) (ezyang.com)
3 months ago |
matt_d
| ezyang.com
|
newest
1
Silent Data Corruption by 10x Test Escapes Threatens Reliable Computing (arxiv.org)
3 months ago |
matt_d
| arxiv.org
|
frontpage
2
OCaml Blockly (cambridge.org)
3 months ago |
matt_d
| cambridge.org
|
newest
3
Binary Search–Think Positive (cambridge.org)
3 months ago |
matt_d
| cambridge.org
|
newest
1
Flow Sensitivity Without CFG: An Efficient Andersen-Style Pointer Analysis (arxiv.org)
3 months ago |
matt_d
| arxiv.org
|
newest
1
Vector Types and Debug Performance (s-schoener.com)
3 months ago |
matt_d
| s-schoener.com
|
newest
1
C++ Exceptions Are Code Compression – Khalil Estell – ACCU 2025 [video] (youtube.com)
3 months ago |
matt_d
| youtube.com
|
newest
1
Fast and Efficient Emulation of Matrix Multiplication Using INT8 Matrix Engines (arxiv.org)
3 months ago |
matt_d
| arxiv.org
|
newest
8
Analyzing Control Flow More Like a Human [video] (wonks.github.io)
3 months ago |
matt_d
| github.io
|
frontpage
4
libsemigroups: C++ library for semigroups and monoids (github.com/libsemigroups)
3 months ago |
matt_d
| github.com
|
newest
2
Type Universes as Kripke Worlds (doi.org)
3 months ago |
matt_d
| doi.org
|
newest
2
Analysing Snapshot Isolation (muratbuffalo.blogspot.com)
3 months ago |
matt_d
| blogspot.com
|
newest
1
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1 (philipzucker.com)
3 months ago |
matt_d
| philipzucker.com
|
newest
1
Revisiting Clause Vivification [pdf] (cmu.edu)
3 months ago |
matt_d
| cmu.edu
|
newest
3
40th Anniversary International Obfuscated C Code Contest IOCCC28 Winning Entries (ioccc.org)
3 months ago |
matt_d
| ioccc.org
|
newest
2
Paralegal: Practical Static Analysis for Privacy Bugs (brown.edu)
3 months ago |
matt_d
| brown.edu
|
newest
2
IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers (doi.org)
3 months ago |
matt_d
| doi.org
|
newest
1
Training LLMs to Comprehend LLVM IR via Feedback-Driven Optimization (acm.org)
4 months ago |
matt_d
| acm.org
|
newest
1
Morty: Scaling Concurrency Control with Re-Execution (muratbuffalo.blogspot.com)
4 months ago |
matt_d
| blogspot.com
|
newest
1
tcmalloc's Temeraire: A Hugepage-Aware Allocator (paulcavallaro.com)
4 months ago |
matt_d
| paulcavallaro.com
|
newest
98
Test Results for AMD Zen 5 (agner.org)
4 months ago |
matt_d
| agner.org
|
best
1
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters (chapel-lang.org)
4 months ago |
matt_d
| chapel-lang.org
|
newest
72
Algorithms for Modern Processor Architectures (lemire.github.io)
4 months ago |
matt_d
| github.io
|
best
2
Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement (ed.ac.uk)
4 months ago |
matt_d
| ed.ac.uk
|
newest
1
Semi-Automated Assembly Verification in Python Using Pypcode Semantics (philipzucker.com)
4 months ago |
matt_d
| philipzucker.com
|
newest
1
Dissecting the NVIDIA Blackwell Architecture with Microbenchmarks (arxiv.org)
4 months ago |
matt_d
| arxiv.org
|
newest
1
Precise Exceptions in Relaxed Architectures (acm.org)
4 months ago |
matt_d
| acm.org
|
newest
1
Losing language features: some stories about disjoint unions (graydon2.dreamwidth.org)
4 months ago |
matt_d
| dreamwidth.org
|
newest
1
BeePL: Correct-by-Compilation Kernel Extensions (arxiv.org)
4 months ago |
matt_d
| arxiv.org
|
frontpage
1
Caches and Abstractions (parallelprogrammer.substack.com)
4 months ago |
matt_d
| substack.com
|
newest
1
Formal Security & Verification of Cryptographic Protocol Implementations in Rust (iacr.org)
4 months ago |
matt_d
| iacr.org
|
newest
2
Types That Count: Journey across Qualitative and Quantitative Intersection Types (unito.it)
4 months ago |
matt_d
| unito.it
|
newest
2
Functional Abstract Interpretation (peytonjones.org)
4 months ago |
matt_d
| peytonjones.org
|
newest
8
Clang: -Wexperimental-lifetime-safety: Experimental C++ Lifetime Safety Analysis (github.com/llvm)
4 months ago |
matt_d
| github.com
|
frontpage
1
Good Fun: Creating a Data-Oriented Parser/AST/Visitor Generator – DConf '24 [video] (youtube.com)
4 months ago |
matt_d
| youtube.com
|
newest
2
Rex: Closing the language-verifier gap with safe and usable kernel extensions (usenix.org)
4 months ago |
matt_d
| usenix.org
|
newest
1
PLDI 2025 coverage released: over 200 talks (youtube.com)
4 months ago |
matt_d
| youtube.com
|
newest
8
Binding Application in Idris (andrevidela.com)
4 months ago |
matt_d
| andrevidela.com
|
frontpage
1
Finding Compiler Bugs: Cross-Language Code Generator and Differential Testing (arxiv.org)
4 months ago |
matt_d
| arxiv.org
|
newest
1
RVISmith: Fuzzing Compilers for RVV (RISC-V Vector Extension) Intrinsics (arxiv.org)
4 months ago |
matt_d
| arxiv.org
|
newest
1
Bin2Wrong: Fuzzing Binary Decompilers (github.com/futureslab)
4 months ago |
matt_d
| github.com
|
newest
3
Oregon Programming Languages Summer School (OPLSS) 2025: Lectures (uoregon.edu)
4 months ago |
matt_d
| uoregon.edu
|
newest
4
A Comprehensive Proposal Overviewing Blocks, Nested Functions, and Lambdas for C (thephd.dev)
4 months ago |
matt_d
| thephd.dev
|
frontpage
1
WebAssembly: How Low Can a Bytecode Go? (acm.org)
4 months ago |
matt_d
| acm.org
|
newest
2
Koala: A benchmark suite for performance-oriented shell-optimization research (github.com/kbensh)
4 months ago |
matt_d
| github.com
|
frontpage
2
Evaluating the Effectiveness of Memory Safety Sanitizers (computer.org)
4 months ago |
matt_d
| computer.org
|
newest
2
Anarchy in the Database: A Survey and Evaluation of DBMS Extensibility [pdf] (vldb.org)
4 months ago |
matt_d
| vldb.org
|
newest
2
2025 AsiaLLVM Developers' Meeting Talks (youtube.com)
4 months ago |
matt_d
| youtube.com
|
newest
2
A mostly allocation-free optional type (joachim-breitner.de)
4 months ago |
matt_d
| joachim-breitner.de
|
newest
1
On the Feasibility of Deduplicating Compiler Bugs with Bisection (arxiv.org)
4 months ago |
matt_d
| arxiv.org
|
newest
18
GPEmu: A GPU emulator for rapid, low-cost deep learning prototyping [pdf] (vldb.org)
4 months ago |
matt_d
| vldb.org
|
best
1
TYPES 2025: The 31st International Conference on Types for Proofs and Programs (strath.ac.uk)
5 months ago |
matt_d
| strath.ac.uk
|
frontpage
15
Magnetic Tape Storage Technology: usage, history, and future outlook (acm.org)
5 months ago |
matt_d
| acm.org
|
frontpage
3
10 Myths of Scalable Parallel Languages, Part 3: New vs. Extended (chapel-lang.org)
5 months ago |
matt_d
| chapel-lang.org
|
newest
3
Converging AI and HPC: Design and Optimization of a CGRA Architecture [pdf] (cogarchworkshop.org)
5 months ago |
matt_d
| cogarchworkshop.org
|
newest
14
Multi-Stage Programming with Splice Variables (tsung-ju.org)
5 months ago |
matt_d
| tsung-ju.org
|
frontpage
2
Type Theory and Themes in Philosophical Logic – Greg Restall – TYPES 2025 (consequently.org)
5 months ago |
matt_d
| consequently.org
|
newest
1
BinDSA: Efficient, Precise Binary-Level Pointer Analysis (acm.org)
5 months ago |
matt_d
| acm.org
|
newest
1
Bridging the Gaps Between GNNs and Data-Flow Analysis: The Closer, the Better (acm.org)
5 months ago |
matt_d
| acm.org
|
newest
2
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs (ecoop.org)
5 months ago |
matt_d
| ecoop.org
|
newest
1
Lifetime Dispersion and Generational GC: An Intellectual Abstract (acm.org)
5 months ago |
matt_d
| acm.org
|
frontpage
1
Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine (arxiv.org)
5 months ago |
matt_d
| arxiv.org
|
frontpage
3
Telescopes Are Tries: A Dependent Type Shellac on SQLite (philipzucker.com)
5 months ago |
matt_d
| philipzucker.com
|
frontpage
2
Linux x86_64 Assembly Programming Part 5: Macros (github.com/0xax)
5 months ago |
matt_d
| github.com
|
frontpage
1
CVDP: LLM Benchmark for Verilog RTL Design and Verification (arxiv.org)
5 months ago |
matt_d
| arxiv.org
|
newest
2
Trip report: June 2025 ISO C++ standards meeting (herbsutter.com)
5 months ago |
matt_d
| herbsutter.com
|
newest
6
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV) (siglog.org)
5 months ago |
matt_d
| siglog.org
|
frontpage
2
Practical Type Inference with Levels (PLDI 2025 – Distinguished Paper Award) (sigplan.org)
5 months ago |
matt_d
| sigplan.org
|
newest
2
The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (PEPM 2025) [video] (youtube.com)
5 months ago |
matt_d
| youtube.com
|
newest
78
Compiling LLMs into a MegaKernel: A path to low-latency inference (zhihaojia.medium.com)
5 months ago |
matt_d
| medium.com
|
best
1
Usability Barriers for Liquid Types (acm.org)
5 months ago |
matt_d
| acm.org
|
newest
1
Exploring the Theory and Practice of Concurrency in the ECS Pattern [pdf] (curious.software)
5 months ago |
matt_d
| curious.software
|
newest
1
Elaboration with Error Recovery (github.com/brendanzab)
5 months ago |
matt_d
| github.com
|
newest
1
Sound Static Data Race Verification for C: Is the Race Lost? (sigplan.org)
5 months ago |
matt_d
| sigplan.org
|
newest
2
Monads are not like burritos (byorgey.github.io)
5 months ago |
matt_d
| github.io
|
newest
1
Inside torch.compile Guards: How They Work, What They Cost, and Ways to Optimize (youtube.com)
5 months ago |
matt_d
| youtube.com
|
newest
4
phkmalloc (freebsd.dk)
5 months ago |
matt_d
| freebsd.dk
|
newest
< Prev
Next >