Travelled to:1 × Germany
1 × Hungary
1 × Ireland
2 × United Kingdom
Collaborated with:C.Grelck S.Scholz S.Herhut R.Bernecky A.V.Shafarenko
Talks about:array (3) vector (2) depend (2) index (2) type (2) use (2) descriptor (1) represent (1) implement (1) structur (1)
Person: Kai Trojahner
DBLP: Trojahner:Kai
Contributed to:
20082007200620052003Wrote 6 papers:
- IFL-2008-TrojahnerG #array #dependent type #representation
- Descriptor-Free Representation of Arrays with Dependent Types (KT, CG), pp. 100–117.
- IFL-2007-HerhutSBGT #contract #dependent type #partial evaluation #proving #towards
- From Contracts Towards Dependent Types: Proofs by Partial Evaluation (SH, SBS, RB, CG, KT), pp. 254–273.
- IFL-2006-BerneckyHSTGS
- Index Vector Elimination — Making Index Vectors Affordable (RB, SH, SBS, KT, CG, AVS), pp. 19–36.
- IFL-2006-TrojahnerGS #array #on the #optimisation #source code #using
- On Optimising Shape-Generic Array Programs Using Symbolic Structural Information (KT, CG, SBS), pp. 1–18.
- IFL-2005-ShafarenkoSHGT #case study #equation #experience #implementation #lessons learnt #using
- Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences (AVS, SBS, SH, CG, KT), pp. 160–177.
- IFL-2003-GrelckST #array
- With-Loop Scalarization — Merging Nested Array Operations (CG, SBS, KT), pp. 118–134.