Artjoms Sinkarovs

According to our database, Artjoms Sinkarovs authored at least 21 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Rank-Polymorphism for Shape-Guided Blocking.

Artjoms Sinkarovs, Thomas Koopman, Sven-Bodo Scholz

Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2023

Combinatory Logic and Lambda Calculus Are Equal, Algebraically.

Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

The Münchhausen Method in Type Theory.

Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

Parallel scan as a multidimensional array problem.

Artjoms Sinkarovs, Sven-Bodo Scholz

Proceedings of the ARRAY '22: 8th ACM SIGPLAN International Workshop on Libraries, 2022

2021

Choosing is Losing: How to combine the benefits of shallow and deep embeddings through reflection.

Artjoms Sinkarovs, Jesper Cockx

CoRR, 2021

Array languages make neural networks fast.

Artjoms Sinkarovs, Hans-Nikolai Vießmann, Sven-Bodo Scholz

Proceedings of the ARRAY 2021: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, 2021

Extracting the power of dependent types.

Artjoms Sinkarovs, Jesper Cockx

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

Multi-dimensional Arrays with Levels.

Artjoms Sinkarovs

Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020

2019

Convolutional neural networks in APL.

Artjoms Sinkarovs, Robert Bernecky, Sven-Bodo Scholz

Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, 2019

Tensor comprehensions in SaC.

Sven-Bodo Scholz, Artjoms Sinkarovs

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

Checkpointing Kernel Executions of MPI+CUDA Applications.

Max Baird, Sven-Bodo Scholz, Artjoms Sinkarovs, Leonardo Bautista-Gomez

Proceedings of the Euro-Par 2019: Parallel Processing Workshops, 2019

2018

A Rosetta Stone for array languages.

Artjoms Sinkarovs, Robert Bernecky, Hans-Nikolai Vießmann, Sven-Bodo Scholz

Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, 2018

Extended Memory Reuse: An Optimisation for Reducing Memory Allocations.

Hans-Nikolai Vießmann, Artjoms Sinkarovs, Sven-Bodo Scholz

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

A Lightweight Approach to GPU Resilience.

Max Baird, Christian Fensch, Sven-Bodo Scholz, Artjoms Sinkarovs

Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018

2017

A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams.

Artjoms Sinkarovs, Sven-Bodo Scholz

CoRR, 2017

Recursive Array Comprehensions in a Call-by-Value Language.

Artjoms Sinkarovs, Sven-Bodo Scholz, Robert J. Stewart, Hans-Nikolai Vießmann

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

2016

Type-driven data layouts for improved vectorisation.

Artjoms Sinkarovs, Sven-Bodo Scholz

Concurr. Comput. Pract. Exp., 2016

2015

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

Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

2014

SaC/C formulations of the all-pairs <i>N</i>-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

2013

Data layout inference for code vectorisation.

Artjoms Sinkarovs, Sven-Bodo Scholz

Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Semantics-preserving data layout transformations for improved vectorisation.

Artjoms Sinkarovs, Sven-Bodo Scholz

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013