`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:

### Wrote 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.