Amir Shaikhha

Registered user since Fri 4 Jan 2019

Name:Amir Shaikhha
Country:United Kingdom
Affiliation:University of Edinburgh
Research interests:Databases, Programming Languages

Contributions

DRAGSTERS 2023 Committee Member in Organizing Committee within the DRAGSTERS 2023-track
CGO 2023 Author of Fine-Tuning Data Structures for Query Processing within the Main Conference-track
CC 2023 Author of Building a Compiled Query Engine in Python within the Research Papers-track
Author of Compiling Discrete Probabilistic Programs for Vectorized Exact Inference within the Research Papers-track
SPLASH 2022 Author of Functional collection programming with semi-ring dictionaries within the OOPSLA-track
GPCE 2022 Committee Member in Program Committee within the GPCE -track
Author of Deep Fusion for Efficient Nested Recursive Computations within the GPCE -track
ECOOP 2022 Author of Hinted Dictionaries: Efficient Functional Ordered Sets and Maps within the Research Papers-track
Scala 2022 Program Committee Chair in Organizing Committee within the Scala 2022-track
GPCE 2020 Author of Multi-stage Programming in the Large with Staged Classes within the GPCE-track
GPCE 2019 Author of Polymorphic Extractors for Semantic and Portable Pattern Matching (Short Paper) within the GPCE 2019-track
Author of Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper) within the GPCE 2019-track
ICFP 2019 Author of Efficient Differentiable Programming in a Functional Array-Processing Language within the Research Papers-track
ECOOP 2019 Author of Finally, a Polymorphic Linear Algebra Language within the Research Papers-track
Author of Finally, a Polymorphic Linear Algebra Language within the Posters-track
DBPL 2019 Committee Member in Program Committee within the DBPL 2019-track
POPL 2018 Author of Unifying Analytic and Statically-Typed Quasiquotes within the Research Papers-track
Author of Unifying Analytic and Statically-Typed Quasiquotes within the Artifact Evaluation-track
GPCE 2017 Author of Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations within the GPCE 2017-track
Scala 2017 Author of Squid: Type-Safe, Hygienic, and Reusable Quasiquotes within the Scala 2017-track
FHPC 2017 Author of Destination-Passing Style for Efficient Memory Management within the FHPC 2017-track