Artjoms Sinkarovs

32 papers B 2Journal 11Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Algebraic reasoning for timeliness-guided system design. J. Log. Algebraic Methods Program. Seyed Hossein Haeri, Peter Van Roy, Heinrich Apfelmus, Peter Thompson, Neil J. Davies, Magne Haveraaen, Mikhail Barash, Kevin Hammond, James Chapman, Artjoms Sinkarovs
2026	J	`jnl`	When Agda met Vampire. CoRR Artjoms Sinkarovs, Michael Rawson
2025	J	`jnl`	Comparing Parallel Functional Array Languages: Programming and Performance. CoRR David P. van Balen, Tiziano De Matteis, Clemens Grelck, Troels Henriksen, Aaron W. Hsu, Gabriele K. Keller, Thomas Koopman, Trevor L. McDonell, Cosmin E. Oancea, Sven-Bodo Scholz, Artjoms Sinkarovs, Tom Smeding, Phil Trinder, Ivo Gabe de Wolff, Alexandros Nikolaos Ziogas
2025	J	`jnl`	Correctness Meets Performance: From Agda to Futhark. Proc. ACM Program. Lang. Artjoms Sinkarovs, Troels Henriksen
2025	—	`conf`	Neural Network Verification is a Programming Language Challenge. ESOP (1) 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
2025	J	`jnl`	Neural Network Verification is a Programming Language Challenge. CoRR 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
2025	—	`ed.`	Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY 2025, Seoul, Republic of Korea, 17 June 2025 ARRAY@PLDI Sven-Bodo Scholz, Artjoms Sinkarovs
2024	J	`jnl`	Correctness is Demanding, Performance is Frustrating. CoRR Artjoms Sinkarovs, Thomas Koopman, Sven-Bodo Scholz
2024	—	`ed.`	Proceedings of the 10th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY 2024, Copenhagen, Denmark, 25 June 2024 ARRAY@PLDI Aaron Hsu, Artjoms Sinkarovs
2023	B	`conf`	Combinatory Logic and Lambda Calculus Are Equal, Algebraically. FSCD Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh
2023	—	`ed.`	Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY 2023, Orlando, FL, USA, 18 June 2023 ARRAY@PLDI Troels Henriksen, Artjoms Sinkarovs
2023	—	`conf`	Rank-Polymorphism for Shape-Guided Blocking. FHPNC Artjoms Sinkarovs, Thomas Koopman, Sven-Bodo Scholz
2022	—	`conf`	Parallel scan as a multidimensional array problem. ARRAY@PLDI Artjoms Sinkarovs, Sven-Bodo Scholz
2022	—	`conf`	The Münchhausen Method in Type Theory. TYPES Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh
2021	—	`conf`	Array languages make neural networks fast. ARRAY@PLDI Artjoms Sinkarovs, Hans-Nikolai Vießmann, Sven-Bodo Scholz
2021	J	`jnl`	Choosing is Losing: How to combine the benefits of shallow and deep embeddings through reflection. CoRR Artjoms Sinkarovs, Jesper Cockx
2021	B	`conf`	Extracting the power of dependent types. GPCE Artjoms Sinkarovs, Jesper Cockx
2020	—	`conf`	Multi-dimensional Arrays with Levels. MSFP@ETAPS Artjoms Sinkarovs
2019	J	`jnl`	Array Languages Make Neural Networks Fast. CoRR Artjoms Sinkarovs, Hans-Nikolai Vießmann, Sven-Bodo Scholz
2019	—	`conf`	Checkpointing Kernel Executions of MPI+CUDA Applications. Euro-Par Workshops Max Baird, Sven-Bodo Scholz, Artjoms Sinkarovs, Leonardo Bautista-Gomez
2019	—	`conf`	Convolutional neural networks in APL. ARRAY@PLDI Artjoms Sinkarovs, Robert Bernecky, Sven-Bodo Scholz
2019	—	`conf`	Tensor comprehensions in SaC. IFL Sven-Bodo Scholz, Artjoms Sinkarovs
2018	—	`conf`	A Lightweight Approach to GPU Resilience. Euro-Par Workshops Max Baird, Christian Fensch, Sven-Bodo Scholz, Artjoms Sinkarovs
2018	—	`conf`	A Rosetta Stone for array languages. ARRAY@PLDI Artjoms Sinkarovs, Robert Bernecky, Hans-Nikolai Vießmann, Sven-Bodo Scholz
2018	—	`conf`	Extended Memory Reuse: An Optimisation for Reducing Memory Allocations. IFL Hans-Nikolai Vießmann, Artjoms Sinkarovs, Sven-Bodo Scholz
2017	J	`jnl`	A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams. CoRR Artjoms Sinkarovs, Sven-Bodo Scholz
2017	—	`conf`	Recursive Array Comprehensions in a Call-by-Value Language. IFL Artjoms Sinkarovs, Sven-Bodo Scholz, Robert J. Stewart, Hans-Nikolai Vießmann
2016	J	`jnl`	Type-driven data layouts for improved vectorisation. Concurr. Comput. Pract. Exp. Artjoms Sinkarovs, Sven-Bodo Scholz
2015	—	`conf`	Making fortran legacy code more functional: using the BGS* geomagnetic field modelling system as an example. IFL Hans-Nikolai Vießmann, Sven-Bodo Scholz, Artjoms Sinkarovs, Brian Bainbridge, Brian Hamilton, Simon Flower
2014	J	`jnl`	SaC/C formulations of the all-pairs Concurr. Comput. Pract. Exp. Artjoms Sinkarovs, Sven-Bodo Scholz, Robert Bernecky, Roeland Douma, Clemens Grelck
2013	—	`conf`	Data layout inference for code vectorisation. HPCS Artjoms Sinkarovs, Sven-Bodo Scholz
2013	—	`conf`	Semantics-preserving data layout transformations for improved vectorisation. FHPC@ICFP Artjoms Sinkarovs, Sven-Bodo Scholz