All
5+
10+
25+
50+
100+
< Prev
Next >
2
Coverage Semantics for Dependent Pattern Matching (arxiv.org)
5 months ago |
matt_d
| arxiv.org
|
newest
1
Parametric Subtyping for Structural Parametric Polymorphism (sigplan.org)
5 months ago |
matt_d
| sigplan.org
|
newest
33
Decompiling 2024: A Year of Resurgance in Decompilation Research (mahaloz.re)
5 months ago |
matt_d
| mahaloz.re
|
frontpage
8
SQL or Death? Seminar Series – Spring 2025 (cmu.edu)
5 months ago |
matt_d
| cmu.edu
|
frontpage
1
Match Ergonomics [video] (youtube.com)
5 months ago |
matt_d
| youtube.com
|
newest
2
Hash Functions: Bridging the Gap from Theory to Practice [video] (youtube.com)
5 months ago |
matt_d
| youtube.com
|
newest
1
Analyzing and Exploiting Branch Mispredictions in Microcode (arxiv.org)
5 months ago |
matt_d
| arxiv.org
|
newest
1
Mosaic GPU and Pallas: a JAX kernel language [video] (youtube.com)
5 months ago |
matt_d
| youtube.com
|
newest
38
You could have invented Fenwick trees (cambridge.org)
5 months ago |
matt_d
| cambridge.org
|
best
1
Dissecting the NVIDIA Hopper Architecture through Microbenchmarking (arxiv.org)
5 months ago |
matt_d
| arxiv.org
|
newest
2
AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing [pdf] (mpi-softsec.github.io)
5 months ago |
matt_d
| github.io
|
newest
1
The Future of Microprocessors • Sophie Wilson • GOTO 2024 [video] (youtube.com)
5 months ago |
matt_d
| youtube.com
|
newest
1
TensorRight: Automated Verification of Tensor Graph Rewrites (acm.org)
5 months ago |
matt_d
| acm.org
|
newest
4
Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] (ic.ac.uk)
5 months ago |
matt_d
| ic.ac.uk
|
frontpage
1
Analysing Futex-Based Synchronisation Primitives Using Model Checking [pdf] (ic.ac.uk)
5 months ago |
matt_d
| ic.ac.uk
|
newest
3
CMU 15-799: Special Topics in Databases: Query Optimization (Spring 2025) (cmu.edu)
5 months ago |
matt_d
| cmu.edu
|
newest
1
Rethinking the Producer-Consumer Relationship in Modern DRAM-Based Systems (ieee.org)
5 months ago |
matt_d
| ieee.org
|
newest
1
CMU Database Query Optimization #01 – SQL Optimization Background [video] (youtube.com)
5 months ago |
matt_d
| youtube.com
|
newest
2
Uncovering Real GPU NoC Characteristics: Implications on Interconnect Arch. (ubc.ca)
5 months ago |
matt_d
| ubc.ca
|
frontpage
1
Understanding and improving Clang -ftime-report (maskray.me)
5 months ago |
matt_d
| maskray.me
|
newest
1
Principles of Programming Languages (POPL) 2025 Proceedings (acm.org)
5 months ago |
matt_d
| acm.org
|
newest
1
The Best of Abstract Interpretations (acm.org)
5 months ago |
matt_d
| acm.org
|
newest
1
Extensible Query Optimizers in Practice (microsoft.com)
5 months ago |
matt_d
| microsoft.com
|
newest
2
Stanford Lecture – Strong Components and Weak Components, Dr. Donald Knuth 2024 [video] (youtube.com)
5 months ago |
matt_d
| youtube.com
|
newest
3
Finding Missed Code Size Optimizations in Compilers Using LLMs (arxiv.org)
5 months ago |
matt_d
| arxiv.org
|
newest
2
Musings on Tracing in PyPy (pypy.org)
5 months ago |
matt_d
| pypy.org
|
frontpage
34
Property-Based Testing for the People (upenn.edu)
5 months ago |
matt_d
| upenn.edu
|
best
2
This Year in LLVM (2024) (npopov.com)
5 months ago |
matt_d
| npopov.com
|
newest
1
Advent of Computing: Episode 148 - Is BLISS Ignorance? (libsyn.com)
6 months ago |
matt_d
| libsyn.com
|
newest
1
Pattern Matching in AI Compilers and Its Formalization (Extended Version) (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
newest
1
30 Years, from Compilation Student to Decompilation Pioneer – Cristina Cifuentes [video] (youtube.com)
6 months ago |
matt_d
| youtube.com
|
newest
3
Lightstorm: Minimalistic Ruby Compiler (llvm.org)
6 months ago |
matt_d
| llvm.org
|
newest
10
MultiQueue-Based FPGA Routing: Relaxed A* Priority Ordering-Improved Parallelism [pdf] (utoronto.ca)
6 months ago |
matt_d
| utoronto.ca
|
frontpage
3
State of Clang as a C and C++ Compiler – Aaron Ballman, 2024 LLVM Dev Meeting [video] (youtube.com)
6 months ago |
matt_d
| youtube.com
|
frontpage
2
Programming and reasoning about actors that share state (cambridge.org)
6 months ago |
matt_d
| cambridge.org
|
newest
1
The Key to Effective UDF Optimization: Before Inlining, First Perform Outlining [pdf] (vldb.org)
6 months ago |
matt_d
| vldb.org
|
newest
2
Strong Components and Weak Components: 2024 Annual Christmas Lecture, Don Knuth [video] (youtube.com)
6 months ago |
matt_d
| youtube.com
|
newest
1
2024 LLVM Developers' Meeting Videos (llvm.org)
6 months ago |
matt_d
| llvm.org
|
newest
1
"Communicating Chorrectly with a Choreography" is out (decomposition.al)
6 months ago |
matt_d
| decomposition.al
|
newest
1
From Gates to Pixels: Making Your Own Graphics Hardware [video] (youtube.com)
6 months ago |
matt_d
| youtube.com
|
newest
24
The Hoare Cube (johnwickerson.wordpress.com)
6 months ago |
matt_d
| wordpress.com
|
frontpage
1
"Performance Analysis and Tuning on Modern CPUs": Second Edition Released (github.com/dendibakh)
6 months ago |
matt_d
| github.com
|
newest
3
What Goes Around Comes Around... And Around... - Andy Pavlo, Dijkstra Award 2024 (youtube.com)
6 months ago |
matt_d
| youtube.com
|
newest
3
Bicameral, Not Homoiconic (parentheticallyspeaking.org)
6 months ago |
matt_d
| parentheticallyspeaking.org
|
newest
2
The Denotational Semantics of SSA (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
newest
1
Counterexamples in Safe Rust (acm.org)
7 months ago |
matt_d
| acm.org
|
newest
1
Tacit Talk Episode 8: Tacit Definition (1991) (tacittalk.com)
7 months ago |
matt_d
| tacittalk.com
|
newest
1
C++ Switch Statements Under the Hood in LLVM – Hans Wennborg [video] (youtube.com)
7 months ago |
matt_d
| youtube.com
|
newest
2
Reverse engineering Microsoft BASIC [video] (youtube.com)
7 months ago |
matt_d
| youtube.com
|
frontpage
2
Introduction to SASS and GPU Microarchitecture – GPU Mode Lecture 37 [video] (youtube.com)
7 months ago |
matt_d
| youtube.com
|
newest
1
ACM SIGPLAN International Conference on Functional Programming ICFP 2024 Videos (youtube.com)
7 months ago |
matt_d
| youtube.com
|
newest
1
Type Theory Forall: What Is Type Theory and What Properties We Should Care About (typetheoryforall.com)
7 months ago |
matt_d
| typetheoryforall.com
|
newest
1
Exploring parsing APIs: what to generate, and how (osa1.net)
7 months ago |
matt_d
| osa1.net
|
newest
1
Hardware Trends Impacting Floating-Point Computations in Scientific Applications (arxiv.org)
7 months ago |
matt_d
| arxiv.org
|
newest
1
Evaluating Human Factors Beyond Lines of Code (sigplan.org)
7 months ago |
matt_d
| sigplan.org
|
newest
2
Oral History of Nolan Bushnell [video] (youtube.com)
7 months ago |
matt_d
| youtube.com
|
frontpage
1
DBSP: Automatic Incremental View Maintenance for Rich Query Languages (muratbuffalo.blogspot.com)
7 months ago |
matt_d
| blogspot.com
|
newest
1
Towards Sound `unsafe` Rust – Rust Formal Methods Interest Group [video] (youtube.com)
7 months ago |
matt_d
| youtube.com
|
newest
1
Software Security Analysis in 2030 and Beyond: A Research Roadmap [pdf] (mpi-softsec.github.io)
7 months ago |
matt_d
| github.io
|
newest
4
Creating Your Own Programming Language – Laurence Tratt [video] (youtube.com)
7 months ago |
matt_d
| youtube.com
|
frontpage
2
Story-time: C++, bounds checking, performance, and compilers (chandlerc.blog)
7 months ago |
matt_d
| chandlerc.blog
|
newest
2
How linear types control the future and prevent bugs [video] (youtube.com)
7 months ago |
matt_d
| youtube.com
|
newest
3
Exo 2: Growing a Scheduling Language (arxiv.org)
7 months ago |
matt_d
| arxiv.org
|
newest
2
Memory Bandwidth and System Balance in HPC Systems: 2024 Update [video] (youtube.com)
7 months ago |
matt_d
| youtube.com
|
newest
1
The Art of Deconstraining: A guide to convex optimization in PyTorch (argmin.net)
7 months ago |
matt_d
| argmin.net
|
newest
2
Data Race Freedom à la Mode [pdf] (richarde.dev)
7 months ago |
matt_d
| richarde.dev
|
newest
2
Modern CPUs Assign Registers to Speed Up Your Code - Matt Godbolt [video] (youtube.com)
7 months ago |
matt_d
| youtube.com
|
newest
1
Hello SME! Generating Fast Matrix Multiplication Kernels Using the SME (arxiv.org)
7 months ago |
matt_d
| arxiv.org
|
newest
1
RISC-V Vector Extension overview (0x80.pl)
7 months ago |
matt_d
| 0x80.pl
|
frontpage
1
Hitchhiker's Guide to Programming and Optimizing CXL-Based Heterogeneous Systems (arxiv.org)
7 months ago |
matt_d
| arxiv.org
|
newest
1
ACM ByteCast Episode 57: Xavier Leroy (acm.org)
7 months ago |
matt_d
| acm.org
|
newest
1
PyTorch 2 Faster ML Dynamic Python Bytecode Transformation and Graph Compilation [video] (youtube.com)
7 months ago |
matt_d
| youtube.com
|
newest
8
Safe and efficient C++ interoperability via non-escapable types and lifetimes (swift.org)
7 months ago |
matt_d
| swift.org
|
frontpage
1
MLIR Project Charter and Restructuring Survey (llvm.org)
7 months ago |
matt_d
| llvm.org
|
newest
1
Big Specification: Specification, Proof, and Testing at Scale 2024 (youtube.com)
7 months ago |
matt_d
| youtube.com
|
newest
2
Automated reasoning often makes systems more efficient and easier to maintain (amazon.com)
7 months ago |
matt_d
| amazon.com
|
newest
1
Function Effect Analysis – Clang 20.0.0 (llvm.org)
7 months ago |
matt_d
| llvm.org
|
newest
2
A Dogged Pursuit for Satisfaction–Ryan Williams (MIT CSAIL) [video] (youtube.com)
7 months ago |
matt_d
| youtube.com
|
newest
13
Static Basic Block Versioning (dagstuhl.de)
7 months ago |
matt_d
| dagstuhl.de
|
frontpage
1
[RFC] MLIR Project Charter and Restructuring (llvm.org)
7 months ago |
matt_d
| llvm.org
|
newest
8
Scalable self-improvement for compiler optimization (research.google)
7 months ago |
matt_d
| research.google
|
frontpage
1
Revisiting Reliability in Large-Scale Machine Learning Research Clusters (glennklockwood.com)
7 months ago |
matt_d
| glennklockwood.com
|
newest
3
Scheduling Languages: A Past, Present, and Future Taxonomy (arxiv.org)
8 months ago |
matt_d
| arxiv.org
|
newest
3
Sorting for Rendering (linebender.org)
8 months ago |
matt_d
| linebender.org
|
frontpage
1
Refinement Type Refutations (vusecpl.github.io)
8 months ago |
matt_d
| github.io
|
newest
3
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation (acm.org)
8 months ago |
matt_d
| acm.org
|
newest
2
Unboxing Virgil ADTs for Fun and Profit (arxiv.org)
8 months ago |
matt_d
| arxiv.org
|
newest
1
Taking a Closer Look:An Outlier-Driven Approach to Compilation-Time Optimization (dagstuhl.de)
8 months ago |
matt_d
| dagstuhl.de
|
newest
1
Efficient GEMM Kernel Designs with Pipelining (sigarch.org)
8 months ago |
matt_d
| sigarch.org
|
newest
2
Memory Safety without Lifetime Parameters (safecpp.org)
8 months ago |
matt_d
| safecpp.org
|
newest
2
efency: An efficient electric-fence malloc debugger for the 21st century (gitlab.com/efency)
8 months ago |
matt_d
| gitlab.com
|
newest
1
Tensor programming for databases, with first class dimensions (ezyang.com)
8 months ago |
matt_d
| ezyang.com
|
newest
1
A Case for First-Class Environments (acm.org)
8 months ago |
matt_d
| acm.org
|
newest
36
Can logic programming be liberated from predicates and backtracking? [pdf] (uni-kiel.de)
8 months ago |
matt_d
| uni-kiel.de
|
best
2
When is causal broadcast not enough for causal memory? (decomposition.al)
8 months ago |
matt_d
| decomposition.al
|
frontpage
1
A Discussion with Sebastian Hack – Compiler/PL Meetup @ UIUC [video] (youtube.com)
8 months ago |
matt_d
| youtube.com
|
newest
1
BinSym: Symbolic execution for RISC-V machine code based on LibRISCV ISA model (github.com/agra-uni-bremen)
8 months ago |
matt_d
| github.com
|
frontpage
1
Software Complexity, Path Complexity, and Branch Selectivity [video] (youtube.com)
8 months ago |
matt_d
| youtube.com
|
newest
2
Shared Virtual Memory: Its Design and Performance Implications for Applications (acm.org)
8 months ago |
matt_d
| acm.org
|
newest
1
Where Does Database Research Go from Here? (sigmod.org)
8 months ago |
matt_d
| sigmod.org
|
newest
< Prev
Next >