Semantics-preserving data layout transformations for improved vectorisation. - Artjoms Sinkarovs; Sven-Bodo Scholz (FHPC@ICFP, 2013)

Data layout inference for code vectorisation. - Artjoms Sinkarovs; Sven-Bodo Scholz (HPCS, 2013)

SaC/C formulations of the all-pairs N-body problem and their performance on SMPs and GPGPUs. - Artjoms Sinkarovs; Sven-Bodo Scholz; Robert Bernecky; Roeland Douma; Clemens Grelck (Concurr. Comput. Pract. Exp., 2014)

Making fortran legacy code more functional: using the BGS* geomagnetic field modelling system as an example. - Hans-Nikolai Vießmann; Sven-Bodo Scholz; Artjoms Sinkarovs; Brian Bainbridge; Brian Hamilton; Simon Flower (IFL, 2015)

Type-driven data layouts for improved vectorisation. - Artjoms Sinkarovs; Sven-Bodo Scholz (Concurr. Comput. Pract. Exp., 2016)

Recursive Array Comprehensions in a Call-by-Value Language. - Artjoms Sinkarovs; Sven-Bodo Scholz; Robert J. Stewart 001; Hans-Nikolai Vießmann (IFL, 2017)

A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams. - Artjoms Sinkarovs; Sven-Bodo Scholz (CoRR, 2017)

A Lightweight Approach to GPU Resilience. - Max Baird; Christian Fensch; Sven-Bodo Scholz; Artjoms Sinkarovs (Euro-Par Workshops, 2018)

Extended Memory Reuse: An Optimisation for Reducing Memory Allocations. - Hans-Nikolai Vießmann; Artjoms Sinkarovs; Sven-Bodo Scholz (IFL, 2018)

A Rosetta Stone for array languages. - Artjoms Sinkarovs; Robert Bernecky; Hans-Nikolai Vießmann; Sven-Bodo Scholz (ARRAY@PLDI, 2018)

Checkpointing Kernel Executions of MPI+CUDA Applications. - Max Baird; Sven-Bodo Scholz; Artjoms Sinkarovs; Leonardo Bautista-Gomez (Euro-Par Workshops, 2019)

Tensor comprehensions in SaC. - Sven-Bodo Scholz; Artjoms Sinkarovs (IFL, 2019)

Convolutional neural networks in APL. - Artjoms Sinkarovs; Robert Bernecky; Sven-Bodo Scholz (ARRAY@PLDI, 2019)

Multi-dimensional Arrays with Levels. - Artjoms Sinkarovs (MSFP@ETAPS, 2020)

Extracting the power of dependent types. - Artjoms Sinkarovs; Jesper Cockx (GPCE, 2021)

Array languages make neural networks fast. - Artjoms Sinkarovs; Hans-Nikolai Vießmann; Sven-Bodo Scholz (ARRAY@PLDI, 2021)

Choosing is Losing: How to combine the benefits of shallow and deep embeddings through reflection. - Artjoms Sinkarovs; Jesper Cockx (CoRR, 2021)

Parallel scan as a multidimensional array problem. - Artjoms Sinkarovs; Sven-Bodo Scholz (ARRAY@PLDI, 2022)

The Münchhausen Method in Type Theory. - Thorsten Altenkirch; Ambrus Kaposi; Artjoms Sinkarovs; Tamás Végh (TYPES, 2022)

Combinatory Logic and Lambda Calculus Are Equal, Algebraically. - Thorsten Altenkirch; Ambrus Kaposi; Artjoms Sinkarovs; Tamás Végh (FSCD, 2023)

Rank-Polymorphism for Shape-Guided Blocking. - Artjoms Sinkarovs; Thomas Koopman; Sven-Bodo Scholz (FHPNC, 2023)

Correctness is Demanding, Performance is Frustrating. - Artjoms Sinkarovs; Thomas Koopman; Sven-Bodo Scholz (CoRR, 2024)

Neural Network Verification is a Programming Language Challenge. - Lucas C. Cordeiro; Matthew L. Daggitt; Julien Girard-Satabin; Omri Isac; Taylor T. Johnson; Guy Katz; Ekaterina Komendantskaya; Augustin Lemesle; Edoardo Manino; Artjoms Sinkarovs; Haoze Wu 001 (ESOP (1), 2025)

Comparing Parallel Functional Array Languages: Programming and Performance. - David P. van Balen; Tiziano De Matteis; Clemens Grelck; Troels Henriksen; Aaron W. Hsu; Gabriele K. Keller; Thomas Koopman; Trevor L. McDonell; Cosmin E. Oancea; Sven-Bodo Scholz; Artjoms Sinkarovs; Tom Smeding; et al. (CoRR, 2025)