Artjoms Sinkarovs

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

Collaborative distances:

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

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

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

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

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

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

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