Artjoms Sinkarovs

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 20

Top Topics

Iso Picture Languages

Lambda Calculus

Top Venues

Concurr. Comput. Pract. Exp.

Publications

Artjoms Sinkarovs, Thomas Koopman, Sven-Bodo Scholz
Correctness is Demanding, Performance is Frustrating. CoRR (2024)
Artjoms Sinkarovs, Thomas Koopman, Sven-Bodo Scholz
Rank-Polymorphism for Shape-Guided Blocking. FHPNC (2023)
Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh
Combinatory Logic and Lambda Calculus Are Equal, Algebraically. FSCD (2023)
Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh
The Münchhausen Method in Type Theory. TYPES (2022)
Artjoms Sinkarovs, Sven-Bodo Scholz
Parallel scan as a multidimensional array problem. ARRAY@PLDI (2022)
Artjoms Sinkarovs, Jesper Cockx
Extracting the power of dependent types. GPCE (2021)
Artjoms Sinkarovs, Jesper Cockx
Choosing is Losing: How to combine the benefits of shallow and deep embeddings through reflection. CoRR (2021)
Artjoms Sinkarovs, Hans-Nikolai Vießmann, Sven-Bodo Scholz
Array languages make neural networks fast. ARRAY@PLDI (2021)
Artjoms Sinkarovs
Multi-dimensional Arrays with Levels. MSFP@ETAPS (2020)
Sven-Bodo Scholz, Artjoms Sinkarovs
Tensor comprehensions in SaC. IFL (2019)
Max Baird, Sven-Bodo Scholz, Artjoms Sinkarovs, Leonardo Bautista-Gomez
Checkpointing Kernel Executions of MPI+CUDA Applications. Euro-Par Workshops (2019)
Artjoms Sinkarovs, Hans-Nikolai Vießmann, Sven-Bodo Scholz
Array Languages Make Neural Networks Fast. CoRR (2019)
Artjoms Sinkarovs, Robert Bernecky, Sven-Bodo Scholz
Convolutional neural networks in APL. ARRAY@PLDI (2019)
Hans-Nikolai Vießmann, Artjoms Sinkarovs, Sven-Bodo Scholz
Extended Memory Reuse: An Optimisation for Reducing Memory Allocations. IFL (2018)
Max Baird, Christian Fensch, Sven-Bodo Scholz, Artjoms Sinkarovs
A Lightweight Approach to GPU Resilience. Euro-Par Workshops (2018)
Artjoms Sinkarovs, Robert Bernecky, Hans-Nikolai Vießmann, Sven-Bodo Scholz
A Rosetta Stone for array languages. ARRAY@PLDI (2018)
Artjoms Sinkarovs, Sven-Bodo Scholz
A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams. CoRR (2017)
Artjoms Sinkarovs, Sven-Bodo Scholz, Robert J. Stewart, Hans-Nikolai Vießmann
Recursive Array Comprehensions in a Call-by-Value Language. IFL (2017)
Artjoms Sinkarovs, Sven-Bodo Scholz
Type-driven data layouts for improved vectorisation. Concurr. Comput. Pract. Exp. 28 (7) (2016)
Hans-Nikolai Vießmann, Sven-Bodo Scholz, Artjoms Sinkarovs, Brian Bainbridge, Brian Hamilton, Simon Flower
Making fortran legacy code more functional: using the BGS* geomagnetic field modelling system as an example. IFL (2015)
Artjoms Sinkarovs, Sven-Bodo Scholz, Robert Bernecky, Roeland Douma, Clemens Grelck
-body problem and their performance on SMPs and GPGPUs. Concurr. Comput. Pract. Exp. 26 (4) (2014)
Artjoms Sinkarovs, Sven-Bodo Scholz
Data layout inference for code vectorisation. HPCS (2013)
Artjoms Sinkarovs, Sven-Bodo Scholz
Semantics-preserving data layout transformations for improved vectorisation. FHPC@ICFP (2013)