All
5+
10+
25+
50+
100+
Next >
1
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation (acm.org)
a day ago |
matt_d
| acm.org
|
newest
2
The Decompilation Wiki (decompilation.wiki)
2 days ago |
matt_d
| decompilation.wiki
|
newest
1
Design and Compilation of Efficient Effect Handlers in the Koka Language (college-de-france.fr)
3 days ago |
matt_d
| college-de-france.fr
|
newest
1
Polynima: Practical Hybrid Recompilation for Multithreaded Binaries (acm.org)
4 days ago |
matt_d
| acm.org
|
newest
1
Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional BP (cpusec.org)
6 days ago |
matt_d
| cpusec.org
|
newest
1
Taking ASCII Drawings Seriously: How Programmers Diagram Code [pdf] (ucsd.edu)
a week ago |
matt_d
| ucsd.edu
|
newest
1
Time-Proportional Performance Analysis for Out-of-Order Processors (ntnu.no)
a week ago |
matt_d
| ntnu.no
|
newest
1
There and Back Again: A Netlist's Tale with Much Egraphin' (arxiv.org)
a week ago |
matt_d
| arxiv.org
|
newest
39
FPGA Architecture for Deep Learning: Survey and Future Directions (arxiv.org)
a week ago |
matt_d
| arxiv.org
|
best
4
Combining Power and Arithmetic Optimization via Datapath Rewriting (arxiv.org)
a week ago |
matt_d
| arxiv.org
|
newest
1
Advent of Computing: Episode 130 - ALGOL, Part II (libsyn.com)
a week ago |
matt_d
| libsyn.com
|
newest
0
Dr Wenowdis: Specializing dynamic language C extensions using type information (arxiv.org)
2 weeks ago |
matt_d
| arxiv.org
|
newest
61
The Rust calling convention we deserve (mcyoung.xyz)
a week ago |
matt_d
| mcyoung.xyz
|
best
3
[MLIR] The HEIR Compiler w/ Jeremy Kun [video] (youtube.com)
3 weeks ago |
matt_d
| youtube.com
|
newest
1
Fast and Simple Sorting Using Partial Information – Robert E. Tarjan [video] (youtube.com)
3 weeks ago |
matt_d
| youtube.com
|
newest
1
Advent of Computing: Episode 129 – ALGOL, Part I (libsyn.com)
3 weeks ago |
matt_d
| libsyn.com
|
newest
1
Asymptotic Speedup via Effect Handlers (cambridge.org)
3 weeks ago |
matt_d
| cambridge.org
|
newest
1
A shared compilation stack for distributed-memory parallelism in stencil DSLs (arxiv.org)
4 weeks ago |
matt_d
| arxiv.org
|
newest
1
Getting a Handle on Unmanaged Memory (nickw.io)
a month ago |
matt_d
| nickw.io
|
newest
2
The Oregon Programming Languages Summer School (OPLSS) 2024 (uoregon.edu)
a month ago |
matt_d
| uoregon.edu
|
newest
4
Effect Handlers and Mathematically Inspired Language Constructs [video] (college-de-france.fr)
a month ago |
matt_d
| college-de-france.fr
|
newest
53
The Intel 8088 processor's instruction prefetch circuitry: a look inside (righto.com)
a month ago |
matt_d
| righto.com
|
best
2
Advanced Functional Programming in Haskell – Graham Hutton (youtube.com)
a month ago |
matt_d
| youtube.com
|
newest
2
Workshop on the Implementation of Type Systems (WITS) 2024 Talks (youtube.com)
a month ago |
matt_d
| youtube.com
|
newest
2
Declarative Program Analysis and Optimization – Reading List (eecs.berkeley.edu)
a month ago |
matt_d
| berkeley.edu
|
newest
2
Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
2
Efficient Instance Resolution for Agda (amelia.how)
a month ago |
matt_d
| amelia.how
|
newest
2
Enabling Fine-Grained Incremental Builds by Making Compiler Stateful (researchr.org)
a month ago |
matt_d
| researchr.org
|
newest
1
GPU Scale-Model Simulation [pdf] (elis.ugent.be)
a month ago |
matt_d
| ugent.be
|
newest
1
Hydra: Generalizing Peephole Optimizations with Program Synthesis [pdf] (utah.edu)
a month ago |
matt_d
| utah.edu
|
newest
1
Hardware Acceleration of Functional and Declarative Languages HAFDAL 2024 Talks (haflang.github.io)
a month ago |
matt_d
| github.io
|
newest
19
What we learned from C++ atomics and memory model standardization [video] (youtube.com)
a month ago |
matt_d
| youtube.com
|
best
1
Verified high-level synthesis – now with hyperblocks (johnwickerson.wordpress.com)
2 months ago |
matt_d
| wordpress.com
|
newest
38
Functional ownership through fractional uniqueness (arxiv.org)
3 months ago |
matt_d
| arxiv.org
|
best
1
Some Reflections on Writing Unix Daemons (tratt.net)
3 months ago |
matt_d
| tratt.net
|
newest
3
SECOMP: Formally Secure Compilation of Compartmentalized C Programs (arxiv.org)
3 months ago |
matt_d
| arxiv.org
|
newest
1
The graphical theory of monads [pdf] (files.wordpress.com)
3 months ago |
matt_d
| wordpress.com
|
newest
1
Retrospective Thoughts on BitC (danluu.com)
3 months ago |
matt_d
| danluu.com
|
newest
2
Fast Template-Based Code Generation for MLIR (acm.org)
3 months ago |
matt_d
| acm.org
|
newest
1
CC 2024: ACM SIGPLAN International Conference on Compiler Construction (acm.org)
3 months ago |
matt_d
| acm.org
|
newest
1
Binary Relations: Three new associative container classes (github.com/ronpieket)
3 months ago |
matt_d
| github.com
|
newest
2
Reusing Just-in-Time Compiled Code (OOPSLA 2023) [video] (youtube.com)
3 months ago |
matt_d
| youtube.com
|
newest
2
Borrow Checking Hylo [video] (youtube.com)
3 months ago |
matt_d
| youtube.com
|
newest
2
elfconv: AOT compiler from AArch64 ELF binary to LLVM bitcode targeting Wasm (fosdem.org)
3 months ago |
matt_d
| fosdem.org
|
newest
1
Tutorial on generalized algebraic data types (GADTs) (ocaml.org)
3 months ago |
matt_d
| ocaml.org
|
newest
1
SoK: Prudent Evaluation Practices for Fuzzing [pdf] (mschloegel.me)
3 months ago |
matt_d
| mschloegel.me
|
newest
2
PyTorch 2 Faster ML Dynamic Python Bytecode Transformation and Graph Compilation [pdf] (pytorch.org)
3 months ago |
matt_d
| pytorch.org
|
newest
1
Discussing "Isabelle/HOL: A Proof Assistant for Higher-Order Logic" (fediscience.org)
3 months ago |
matt_d
| fediscience.org
|
newest
2
Profiling Programming Language Learning (brownplt.org)
3 months ago |
matt_d
| brownplt.org
|
newest
1
Stale Profile Matching (arxiv.org)
4 months ago |
matt_d
| arxiv.org
|
newest
2
Upstreaming ClangIR: an MLIR based C/C++ dialect for Clang (llvm.org)
4 months ago |
matt_d
| llvm.org
|
newest
1
TurboTV: Translation Validation for TurboFan JIT Compiler in the V8 Engine (kaist.ac.kr)
4 months ago |
matt_d
| kaist.ac.kr
|
newest
1
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interop Down to WebAssembly (arxiv.org)
4 months ago |
matt_d
| arxiv.org
|
newest
10
Writing a Debugger from Scratch – DbgRs Part 7 – Disassembly (timdbg.com)
4 months ago |
matt_d
| timdbg.com
|
best
1
SEER: Super-Optimization Explorer for HLS using E-graph Rewriting [pdf] (jianyicheng.github.io)
4 months ago |
matt_d
| github.io
|
newest
3
Exploring Object File Formats (maskray.me)
4 months ago |
matt_d
| maskray.me
|
newest
2
Representing Data Collections in an SSA Form [pdf] (northwestern.edu)
4 months ago |
matt_d
| northwestern.edu
|
newest
1
A Statically and Dynamically Scalable Soft GPGPU (arxiv.org)
4 months ago |
matt_d
| arxiv.org
|
newest
0
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf] (utah.edu)
4 months ago |
matt_d
| utah.edu
|
newest
2
RISC-V Vector Programming in C with Intrinsics (fprox.substack.com)
4 months ago |
matt_d
| substack.com
|
newest
18
Closing word at Zürich Colloquium (1968) (dcreager.net)
4 months ago |
matt_d
| dcreager.net
|
best
1
PCode2C: Steps Towards Translation Validation with Ghidra and CBMC (philipzucker.com)
4 months ago |
matt_d
| philipzucker.com
|
newest
1
CEK and Control Operators (burakemir.ch)
4 months ago |
matt_d
| burakemir.ch
|
newest
2
Profiling Programming Language Learning (arxiv.org)
4 months ago |
matt_d
| arxiv.org
|
newest
1
The Examplar Project: A Summary (brownplt.org)
4 months ago |
matt_d
| brownplt.org
|
newest
1
A CAP Tradeoff in the Wild (decomposition.al)
4 months ago |
matt_d
| decomposition.al
|
newest
2
IEEE/ACM International Symposium on Code Generation and Optimization (CGO) 2024 (researchr.org)
5 months ago |
matt_d
| researchr.org
|
newest
1
Memory Simulations, Security and Optimization in a Verified Compiler (arxiv.org)
5 months ago |
matt_d
| arxiv.org
|
newest
2
Precision and Performance Analysis of C Standard Math Library Functions on GPUs (acm.org)
5 months ago |
matt_d
| acm.org
|
newest
1
ComPile: A Large IR Dataset from Production Sources (llvm-ml.github.io)
5 months ago |
matt_d
| github.io
|
newest
41
Tools for Learning LLVM TableGen (llvm.org)
5 months ago |
matt_d
| llvm.org
|
best
1
How Badly Do We Want Correct Compilers? – John Regehr – NDC TechTown 2023 [video] (youtube.com)
5 months ago |
matt_d
| youtube.com
|
newest
43
The mysterious second parameter to the x86 ENTER instruction (microsoft.com)
5 months ago |
matt_d
| microsoft.com
|
frontpage
114
What if an SQL statement returned a database? (arxiv.org)
5 months ago |
matt_d
| arxiv.org
|
best
1
Cling (interactive C++ interpreter): Release 1.0 (github.com/vgvassilev)
5 months ago |
matt_d
| github.com
|
newest
1
A simple high-dynamic-range (HDR) histogram (wingolog.org)
5 months ago |
matt_d
| wingolog.org
|
newest
8
The SAT Museum [pdf] (ceur-ws.org)
5 months ago |
matt_d
| ceur-ws.org
|
frontpage
30
Cramming a tiny program into a tiny ELF file (tmpout.sh)
5 months ago |
matt_d
| tmpout.sh
|
best
1
The Evolution of Effects – Haskell 2023 – Nicolas Wu [video] (youtube.com)
5 months ago |
matt_d
| youtube.com
|
newest
1
Symposium on Principles of Programming Languages (POPL) 2024 – Accepted Papers (sigplan.org)
5 months ago |
matt_d
| sigplan.org
|
newest
1
zpoline: System call hook for x86-64 Linux (github.com/yasukata)
5 months ago |
matt_d
| github.com
|
newest
1
Linux Kernel Module (LKM) Golf (tmpout.sh)
5 months ago |
matt_d
| tmpout.sh
|
newest
2
The last 5 years of V8's garbage collector (wingolog.org)
5 months ago |
matt_d
| wingolog.org
|
frontpage
2
How single-iteration InstCombine improves LLVM compile time (redhat.com)
5 months ago |
matt_d
| redhat.com
|
newest
1
How symbols work and why we need them – Anders Schau Knatten – NDC TechTown 2023 [video] (youtube.com)
5 months ago |
matt_d
| youtube.com
|
newest
1
Advent of Computing: Episode 121 – Arguments Against Programming (libsyn.com)
5 months ago |
matt_d
| libsyn.com
|
newest
1
First ACM Workshop on Functional Software Architecture: Videos and Papers (functional-architecture.org)
5 months ago |
matt_d
| functional-architecture.org
|
newest
1
On the Dual Nature of Necessity in Use of Rust Unsafe Code (acm.org)
5 months ago |
matt_d
| acm.org
|
newest
1
Protocols and Associated Types in Swift [pdf] (cornell.edu)
5 months ago |
matt_d
| cornell.edu
|
newest
1
Teaching and Learning Compilers Incrementally [ICFP'23 Tutorial] Jeremy G. Siek [video] (youtube.com)
5 months ago |
matt_d
| youtube.com
|
newest
8
Multi-phase computation as an applicative functor [video] (youtube.com)
6 months ago |
matt_d
| youtube.com
|
frontpage
1
Formalizing, Verifying & Applying ISA Security Guarantees as Universal Contracts (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
newest
1
Introduction to Microscaling Formats (MX) Data (fpga.org)
6 months ago |
matt_d
| fpga.org
|
newest
2
Intro to LLVM and MLIR with Rust and Melior (edgarluque.com)
6 months ago |
matt_d
| edgarluque.com
|
newest
3
A History of Subtyping – Benjamin C. Pierce – PLMW @ ICFP 2023 [video] (youtube.com)
6 months ago |
matt_d
| youtube.com
|
newest
2
FetchBench: Systematic Identification and Characterization of Prefetchers [pdf] (tschlueter.com)
6 months ago |
matt_d
| tschlueter.com
|
newest
4
SysXCHG: Refining Privilege with Adaptive System Call Filters (gitlab.com/brown-ssl)
6 months ago |
matt_d
| gitlab.com
|
frontpage
1
Qualifying System F<: (arxiv.org)
6 months ago |
matt_d
| arxiv.org
|
newest
3
MicroHs: A Small Haskell Compiler – Lennart Augustsson [video] (youtube.com)
6 months ago |
matt_d
| youtube.com
|
newest
4
Towards a Language for Defining Reusable Programming Language Components [pdf] (casvanderrest.nl)
6 months ago |
matt_d
| casvanderrest.nl
|
newest
Next >