Amir Shaikhha

Orcid: 0000-0002-9062-759X

According to our database1, Amir Shaikhha authored at least 46 papers between 2014 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Optimizing Nested Recursive Queries.
Proc. ACM Manag. Data, February, 2024

Compressing Structured Tensor Algebra.
CoRR, 2024

PyTond: Efficient Python Data Science on the Shoulders of Databases.
Proceedings of the 40th IEEE International Conference on Data Engineering, 2024

A Tensor Algebra Compiler for Sparse Differentiation.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2023
Compiling Structured Tensor Algebra.
Proc. ACM Program. Lang., October, 2023

Demonstration of OpenDBML, a Framework for Democratizing In-Database Machine Learning.
Proc. VLDB Endow., 2023

Optimizing Tensor Programs on Flexible Storage.
Proc. ACM Manag. Data, 2023

∇SD: Differentiable Programming for Sparse Tensors.
CoRR, 2023

Efficient Query Processing in Python Using Compilation.
Proceedings of the Companion of the 2023 International Conference on Management of Data, 2023

Hinted Dictionaries: Efficient Functional Ordered Sets and Maps.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

An Efficient Vectorized Hash Table for Batch Computations.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Fine-Tuning Data Structures for Query Processing.
Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization, 2023

Building a Compiled Query Engine in Python.
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023

Compiling Discrete Probabilistic Programs for Vectorized Exact Inference.
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023

2022
Functional collection programming with semi-ring dictionaries.
Proc. ACM Program. Lang., 2022

Efficient and Sound Differentiable Programming in a Functional Array-Processing Language.
CoRR, 2022

Denotationally Correct, Purely Functional, Efficient Reverse-mode Automatic Differentiation.
CoRR, 2022

Deep Fusion for Efficient Nested Recursive Computations.
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

Hinted Dictionaries: Efficient Functional Ordered Sets and Maps (Extended Abstract).
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021
An Intermediate Representation for Hybrid Database and Machine Learning Workloads.
Proc. VLDB Endow., 2021

Fine-Tuning Data Structures for Analytical Query Processing.
CoRR, 2021

2020
Synthesis of Incremental Linear Algebra Programs.
ACM Trans. Database Syst., 2020

Scalable Querying of Nested Data.
Proc. VLDB Endow., 2020

BayesCard: A Unified Bayesian Framework for Cardinality Estimation.
CoRR, 2020

Multi-stage programming in the large with staged classes.
Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020

Multi-layer optimizations for end-to-end data analytics.
Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2019
Efficient differentiable programming in a functional array-processing language.
Proc. ACM Program. Lang., 2019

Compiler generation for performance-oriented embedded DSLs (short paper).
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

Polymorphic extractors for semantic and portable pattern matching (short paper).
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

Finally, a Polymorphic Linear Algebra Language (Pearl).
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018
Compilation and Code Optimization for Data Analytics.
PhD thesis, 2018

Building Efficient Query Engines in a High-Level Language.
ACM Trans. Database Syst., 2018

Unifying analytic and statically-typed quasiquotes.
Proc. ACM Program. Lang., 2018

Push versus pull-based loop fusion in query engines.
J. Funct. Program., 2018

A Compiler-Compiler for DSL Embedding.
CoRR, 2018

Compiling Database Application Programs.
CoRR, 2018

Efficient Differentiable Programming in a Functional Array-Processing Language.
CoRR, 2018

2017
Transaction Repair for Multi-Version Concurrency Control.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Squid: type-safe, hygienic, and reusable quasiquotes.
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017

Destination-passing style for efficient memory management.
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2017

Quoted staged rewriting: a practical approach to library-defined optimizations.
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

2016
Push vs. Pull-Based Loop Fusion in Query Engines.
CoRR, 2016

Repairing Conflicts among MVCC Transactions.
CoRR, 2016

How to Architect a Query Compiler.
Proceedings of the 2016 International Conference on Management of Data, 2016

2014
DBToaster: higher-order delta processing for dynamic, frequently fresh views.
VLDB J., 2014

Yin-yang: concealing the deep embedding of DSLs.
Proceedings of the Generative Programming: Concepts and Experiences, 2014


  Loading...