Travelled to:1 × Sweden
Collaborated with:L.Parreaux C.E.Koch V.Jovanovic ∅ Antoine Voizard S.Stucki V.Nikolaev C.Koch M.Odersky
Talks about:polymorph (2) short (2) paper (2) embed (2) dsls (2) quasiquot (1) extractor (1) approach (1) practic (1) portabl (1)
Person: Amir Shaikhha
DBLP: Shaikhha:Amir
Contributed to:
201420172019
2019
2018Wrote 6 papers:
- GPCE-2014-JovanovicSSNKO #domain-specific language #named
- Yin-yang: concealing the deep embedding of DSLs (VJ, AS, SS, VN, CK, MO), pp. 73–82.
- GPCE-2017-ParreauxSK #approach #optimisation #staged
- Quoted staged rewriting: a practical approach to library-defined optimizations (LP, AS, CEK), pp. 131–145.
- GPCE-2019-Shaikhha #pattern matching #polymorphism #semantics
- Polymorphic extractors for semantic and portable pattern matching (short paper) (AS), pp. 61–67.
- GPCE-2019-ShaikhhaJK #compilation #domain-specific language #embedded #generative
- Compiler generation for performance-oriented embedded DSLs (short paper) (AS, VJ, CEK), pp. 94–101.
- ECOOP-2019-ShaikhhaP #algebra #linear #polymorphism
- Finally, a Polymorphic Linear Algebra Language (Pearl) (AS, LP), p. 29.
- POPL-2018-ParreauxVSK #static typing
- Unifying analytic and statically-typed quasiquotes (LP, AV, AS, CEK), p. 33.