| SaC/C formulations of the all‐pairs N‐body problem and their performance on SMPs and GPGPUs A Šinkarovs, SB Scholz, R Bernecky, R Douma, C Grelck Concurrency and Computation: Practice and Experience 26 (4), 952-971, 2014 | 24 | 2014 |
| Tensor comprehensions in SaC SB Scholz, A Šinkarovs Proceedings of the 31st Symposium on Implementation and Application of …, 2019 | 9 | 2019 |
| Semantics-preserving data layout transformations for improved vectorisation A Sinkarovs, SB Scholz Proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-performance …, 2013 | 9 | 2013 |
| Convolutional neural networks in APL A Šinkarovs, R Bernecky, SB Scholz Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries …, 2019 | 8 | 2019 |
| Type‐driven data layouts for improved vectorisation A Šinkarovs, SB Scholz Concurrency and Computation: Practice and Experience 28 (7), 2092-2119, 2016 | 7 | 2016 |
| Array languages make neural networks fast A Šinkarovs, HN Vießmann, SB Scholz Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries …, 2021 | 6 | 2021 |
| Extended memory reuse: An optimisation for reducing memory allocations HN Vießmann, A Šinkarovs, SB Scholz Proceedings of the 30th Symposium on Implementation and Application of …, 2018 | 6 | 2018 |
| A lightweight approach to GPU resilience M Baird, C Fensch, SB Scholz, A Šinkarovs Euro-Par 2018: Parallel Processing Workshops: Euro-Par 2018 International …, 2019 | 5 | 2019 |
| Portable support for explicit vectorisation in C A Šinkarovs, SB Scholz 16th Workshop on Compilers for Parallel Computing (CPC’12), 2012 | 5 | 2012 |
| Making fortran legacy code more functional: using the BGS* geomagnetic field modelling system as an example HN Vießmann, SB Scholz, A Šinkarovs, B Bainbridge, B Hamilton, ... Proceedings of the 27th Symposium on the Implementation and Application of …, 2015 | 4 | 2015 |
| Parallel scan as a multidimensional array problem A Šinkarovs, SB Scholz Proceedings of the 8th ACM SIGPLAN International Workshop on Libraries …, 2022 | 3 | 2022 |
| Checkpointing Kernel Executions of MPI+ CUDA Applications M Baird, SB Scholz, A Šinkarovs, L Bautista-Gomez Euro-Par 2019: Parallel Processing Workshops: Euro-Par 2019 International …, 2020 | 3 | 2020 |
| Data layout inference for code vectorisation A Šinkarovs, SB Scholz 2013 International Conference on High Performance Computing & Simulation …, 2013 | 3 | 2013 |
| Combinatory logic and lambda calculus are equal, algebraically T Altenkirch, A Kaposi, A Šinkarovs, T Végh 8th International Conference on Formal Structures for Computation and …, 2023 | 2 | 2023 |
| The Münchhausen method and combinatory type theory T Altenkirch, A Kaposi, A Šinkarovs, T Végh 28th International Conference on Types for Proofs and Programs (TYPES 2022 …, 2022 | 2 | 2022 |
| Multi-dimensional arrays with levels A Šinkarovs Proceedings Eighth Workshop on Mathematically Structured Functional …, 2020 | 2 | 2020 |
| A rosetta stone for array languages A Šinkarovs, R Bernecky, HN Vießmann, SB Scholz Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries …, 2018 | 2 | 2018 |
| Recursive array comprehensions in a call-by-value language A Šinkarovs, SB Scholz, R Stewart, HN Vießmann Proceedings of the 29th Symposium on the Implementation and Application of …, 2017 | 2 | 2017 |
| Rank-Polymorphism for Shape-Guided Blocking A Šinkarovs, T Koopman, SB Scholz Proceedings of the 11th ACM SIGPLAN International Workshop on Functional …, 2023 | 1 | 2023 |
| Extracting the power of dependent types A Šinkarovs, J Cockx Proceedings of the 20th ACM SIGPLAN International Conference on Generative …, 2021 | 1 | 2021 |
