Artjoms Sinkarovs
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESOP | 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 |
| 2023 | FSCD | Combinatory Logic and Lambda Calculus Are Equal, Algebraically. | Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tams Vgh |
| 2023 | ICFP | Rank-Polymorphism for Shape-Guided Blocking. | Artjoms Sinkarovs, Thomas Koopman, Sven-Bodo Scholz |
| 2022 | PLDI | Parallel scan as a multidimensional array problem. | Artjoms Sinkarovs, Sven-Bodo Scholz |
| 2021 | GPCE | Extracting the power of dependent types. | Artjoms Sinkarovs, Jesper Cockx |
| 2021 | PLDI | Array languages make neural networks fast. | Artjoms Sinkarovs, Hans-Nikolai Viemann, Sven-Bodo Scholz |
| 2019 | EuroPar | Checkpointing Kernel Executions of MPI+CUDA Applications. | Max Baird, Sven-Bodo Scholz, Artjoms Sinkarovs, Leonardo Bautista-Gomez |
| 2019 | PLDI | Convolutional neural networks in APL. | Artjoms Sinkarovs, Robert Bernecky, Sven-Bodo Scholz |
| 2018 | EuroPar | A Lightweight Approach to GPU Resilience. | Max Baird, Christian Fensch, Sven-Bodo Scholz, Artjoms Sinkarovs |
| 2018 | PLDI | A Rosetta Stone for array languages. | Artjoms Sinkarovs, Robert Bernecky, Hans-Nikolai Viemann, Sven-Bodo Scholz |
| 2013 | ICFP | Semantics-preserving data layout transformations for improved vectorisation. | Artjoms Sinkarovs, Sven-Bodo Scholz |