Optimizing Nested Recursive Queries
Published in International Conference on Management of Data, 2024
Publications
You can find my articles on my Google Scholar profile.
Structured Tensor Algebra for Efficient Discrete Probabilistic Inference
Published in Workshop on Languages for Inference, 2024
PyTond: Efficient Python Data Science on the Shoulders of Databases
Published in International Conference on Data Engineering, 2024
Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers
Published in International Conference on Generative Programming: Concepts & Experiences, 2024
A Tensor Algebra Compiler for Sparse Differentiation
Published in International Symposium on Code Generation and Optimization, 2024
Demonstration of OpenDBML, a Framework for Democratizing In-Database Machine Learning
Published in International Conference on Very Large Databases, 2023
Efficient Query Processing in Python Using Compilation
Published in International Conference on Management of Data, 2023
Optimizing Tensor Programs on Flexible Storage
Published in International Conference on Management of Data, 2023
Compiling Structured Tensor Algebra
Published in Object-oriented Programming, Systems, Languages, and Applications, 2023
An Efficient Vectorized Hash Table for Batch Computations
Published in European Conference on Object-Oriented Programming, 2023
Fine-Tuning Data Structures for Query Processing
Published in International Symposium on Code Generation and Optimization, 2023
Building a Compiled Query Engine in Python
Published in International Conference on Compiler Construction, 2023
Compiling Discrete Probabilistic Programs for Vectorized Exact Inference
Published in International Conference on Compiler Construction, 2023
Functional Collection Programming with Semi-ring Dictionaries
Published in Object-oriented Programming, Systems, Languages, and Applications, 2022
Deep Fusion for Efficient Nested Recursive Computations
Published in International Conference on Generative Programming: Concepts & Experiences, 2022
Hinted Dictionaries: Efficient Functional Ordered Sets and Maps
Published in European Conference on Object-Oriented Programming, 2022
Denotationally Correct, Purely Functional, Efficient Reverse-mode Automatic Differentiation
Published in Technical Report published on ArXiV, 2022
Efficient and Sound Differentiable Programming in a Functional Array-Processing Language
Published in Technical Report published on ArXiV, 2022
An Intermediate Representation for Hybrid Database and Machine Learning Workloads
Published in International Conference on Very Large Databases, 2021
Scalable Querying of Nested Data
Published in International Conference on Very Large Databases, 2021
Synthesis of Incremental Linear Algebra Programs
Published in ACM Transactions on Database Systems, 2020
Multi-Stage Programming in the Large with Staged Classes
Published in International Conference on Generative Programming: Concepts & Experiences, 2020
Multi-Layer Optimizations for End-to-End Data Analytics
Published in International Symposium on Code Generation and Optimization, 2020
BayesCard: Revitilizing Bayesian Frameworks for Cardinality Estimation
Published in Technical Report published on ArXiV, 2020
Efficient Differentiable Programming in a Functional Array-Processing Language
Published in International Conference on Functional Programming, 2019
Compiler Generation for Performance-Oriented Embedded DSLs
Published in International Conference on Generative Programming: Concepts & Experiences, 2019
Polymorphic Extractors for Semantic and Portable Pattern Matching
Published in International Conference on Generative Programming: Concepts & Experiences, 2019
Finally, a Polymorphic Linear Algebra Language
Published in European Conference on Object-Oriented Programming, 2019
Building Efficient Query Engines in a High-Level Language
Published in ACM Transactions on Database Systems, 2018
Unifying Analytic and Statically-Typed Quasiquotes
Published in The annual Symposium on Principles of Programming Languages, 2018
Push vs. Pull-Based Loop Fusion in Query Engines
Published in Journal of Functional Programming, 2018
Compiling Database Application Programs
Published in Technical Report published on ArXiV, 2018
Squid: type-safe, hygienic, and reusable quasiquotes
Published in International Symposium on Scala, 2017
Repairing Transaction Conflicts in Optimistic Multi-Version Concurrency Control
Published in International Conference on Management of Data, 2017
Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Published in International Conference on Generative Programming: Concepts & Experiences, 2017
Destination-passing style for efficient memory management
Published in International Workshop on Functional High-Performance Computing, 2017
How to Architect a Query Compiler
Published in International Conference on Management of Data, 2016
DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views
Published in The International Journal on Very Large Data Bases, 2014
Yin-Yang: Concealing the Deep Embedding of DSLs
Published in International Conference on Generative Programming: Concepts & Experiences, 2014