| What If We Don't Pop the Stack? The Return of 2nd-Class Values | 0 | 0.34 | 2022 |
| HACCLE: metaprogramming for secure multi-party computation | 0 | 0.34 | 2021 |
| LLSC: a parallel symbolic execution compiler for LLVM IR | 0 | 0.34 | 2021 |
| Reachability types: tracking aliasing and separation in higher-order functional programs | 0 | 0.34 | 2021 |
| Architecting a Query Compiler for Spatial Workloads | 0 | 0.34 | 2020 |
| Compiling symbolic execution with staging and algebraic effects | 0 | 0.34 | 2020 |
| Compiling with continuations, or without? whatever. | 0 | 0.34 | 2019 |
| Flare & Lantern: Efficiently Swapping Horses Midstream. | 0 | 0.34 | 2019 |
| Demystifying differentiable programming: shift/reset the penultimate backpropagator | 0 | 0.34 | 2019 |
| Towards compiling graph queries in relational engines | 0 | 0.34 | 2019 |
| A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions | 0 | 0.34 | 2019 |
| Parallel Training Via Computation Graph Transformation | 0 | 0.34 | 2019 |
| Flare & Lantern: Efficiently Swapping Horses Midstream. | 0 | 0.34 | 2019 |
| Staged abstract interpreters: fast and modular whole-program analysis via meta-programming | 0 | 0.34 | 2019 |
| Precise reasoning with structured time, structured heaps, and collective operations | 1 | 0.35 | 2019 |
| Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers. | 2 | 0.36 | 2019 |
| A SQL to C compiler in 500 lines of code | 0 | 0.34 | 2019 |
| Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator. | 0 | 0.34 | 2018 |
| Collapsing towers of interpreters | 0 | 0.34 | 2018 |
| How to Architect a Query Compiler, Revisited. | 3 | 0.40 | 2018 |
| AutoGraph: Imperative-style Coding with Graph-based Performance. | 1 | 0.35 | 2018 |
| Flare: Optimizing Apache Spark with Native Compilation for Scale-Up Architectures and Medium-Size Data. | 0 | 0.34 | 2018 |
| Backpropagation with Callbacks - Foundations for Efficient and Expressive Differentiable Programming. | 1 | 0.35 | 2018 |
| Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl) | 0 | 0.34 | 2018 |
| A Language and Compiler View on Differentiable Programming. | 0 | 0.34 | 2018 |
| SIMD intrinsics on managed language runtimes. | 1 | 0.36 | 2018 |
| Rust-like borrowing with 2nd-class values (short paper). | 0 | 0.34 | 2017 |
| Towards Strong Normalization for Dependent Object Types (DOT). | 0 | 0.34 | 2017 |
| Staging for generic programming in space and time. | 0 | 0.34 | 2017 |
| Towards Strong Normalization for Dependent Object Types (DOT) (Artifact). | 0 | 0.34 | 2017 |
| Type soundness proofs with definitional interpreters. | 3 | 0.40 | 2017 |
| Flare: Native Compilation for Heterogeneous Workloads in Apache Spark. | 3 | 0.37 | 2017 |
| LMS-Verify: abstraction without regret for verified systems programming. | 3 | 0.38 | 2017 |
| Flexible data views: design and implementation | 0 | 0.34 | 2017 |
| Functional parallels of sequential imperatives (short paper). | 0 | 0.34 | 2017 |
| RandIR: differential testing for embedded compilers. | 1 | 0.35 | 2016 |
| The Essence of Dependent Object Types. | 13 | 0.57 | 2016 |
| Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect. | 2 | 0.40 | 2016 |
| Reflections on LMS: exploring front-end alternatives. | 1 | 0.35 | 2016 |
| The Essence of Multi-stage Evaluation in LMS. | 2 | 0.38 | 2016 |
| Type soundness for dependent object types (DOT). | 8 | 0.65 | 2016 |
| On supporting compilation in spatial query engines: (vision paper). | 0 | 0.34 | 2016 |
| Lightweight modular staging (LMS): generate all the things! (keynote). | 2 | 0.40 | 2016 |
| Have abstraction and eat performance, too: optimized heterogeneous computing with parallel patterns. | 15 | 0.59 | 2016 |
| From F to DOT: Type Soundness Proofs with Definitional Interpreters | 6 | 0.47 | 2015 |
| RRB vector: a practical general purpose immutable sequence | 7 | 0.53 | 2015 |
| Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems. | 0 | 0.34 | 2015 |
| Functional pearl: a SQL to C compiler in 500 lines of code | 10 | 0.52 | 2015 |
| Errata for "Building Efficient Query Engines in a High-Level Language" (PVLDB 7(10): 853-864). | 2 | 0.36 | 2014 |
| Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages | 48 | 1.40 | 2014 |
