20132023

Research activity per year

Filter
Conference contribution

Search results

  • 2023

    Combinatory Logic and Lambda Calculus Are Equal, Algebraically

    Altenkirch, T., Kaposi, A., Šinkarovs, A. & Végh, T., 28 Jun 2023, 8th International Conference on Formal Structures for Computation and Deduction 2023. Gaboardi, M. & van Raamsdonk, F. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 24. (Leibniz International Proceedings in Informatics; vol. 260).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    19 Downloads (Pure)
  • Rank-Polymorphism for Shape-Guided Blocking

    Šinkarovs, A., Koopman, T. & Scholz, S-B., 31 Aug 2023, FHPNC 2023: Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing. Association for Computing Machinery, p. 1-14 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    2 Downloads (Pure)
  • The Münchhausen Method in Type Theory

    Altenkirch, T., Kaposi, A., Šinkarovs, A. & Végh, T., 28 Jul 2023, 28th International Conference on Types for Proofs and Programs (TYPES 2022). Kesner, D. & Pedrot, P-M. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 10. (Leibniz International Proceedings in Informatics; vol. 269).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    32 Downloads (Pure)
  • 2021

    Array languages make neural networks fast

    Šinkarovs, A., Vießmann, H-N. & Scholz, S-B., 17 Jun 2021, ARRAY 2021: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. Low, T. M. & Gibbons, J. (eds.). Association for Computing Machinery, p. 39-50 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    3 Citations (Scopus)
    135 Downloads (Pure)
  • Extracting the power of dependent types

    Šinkarovs, A. & Cockx, J., 22 Nov 2021, GPCE 2021: Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Tilevich, E. & De Roover, C. (eds.). Association for Computing Machinery, p. 83-95 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2020

    Checkpointing Kernel Executions of MPI+CUDA Applications

    Baird, M., Scholz, S-B., Šinkarovs, A. & Bautista-Gomez, L., 2020, Euro-Par 2019: Parallel Processing Workshops. Euro-Par 2019. Springer, p. 694-706 13 p. (Lecture Notes in Computer Science; vol. 11997).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • 2019

    Convolutional neural networks in APL

    Šinkarovs, A., Bernecky, R. & Scholz, S-B., 8 Jun 2019, Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. Gibbons, J. (ed.). Association for Computing Machinery, p. 69-79 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    7 Citations (Scopus)
  • Tensor comprehensions in SaC

    Scholz, S-B. & Šinkarovs, A., 25 Sept 2019, Proceedings of the 31st Symposium on Implementation and Application of Functional Languages. Stutterheim, J. & Chin, W. N. (eds.). Association for Computing Machinery, 15

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    2 Citations (Scopus)
  • 2018

    A lightweight approach to GPU resilience

    Baird, M., Fensch, C., Scholz, S-B. & Šinkarovs, A., 31 Dec 2018, Euro-Par 2018: Parallel Processing Workshops. Mencagli, G. & Heras, D. B. (eds.). Springer, p. 826-838 13 p. (Lecture Notes in Computer Science; vol. 11339).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • 2017

    Recursive Array Comprehensions in a Call-by-Value Language

    Sinkarovs, A., Scholz, S-B., Stewart, R. & Vießmann, H-N., 30 Aug 2017, Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages. Association for Computing Machinery, 5

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2015

    Making Fortran Legacy Code More Functional: Using the BGS Geomagnetic Field Modelling System as an Example

    Viessmann, H-N., Scholz, S-B., Sinkarovs, A., Bainbridge, B., Hamilton, B. & Flower, S., 2015, Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages. 11

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • 2013

    Data layout inference for code vectorisation

    Sinkarovs, A. & Scholz, S. B., 26 Nov 2013, Proceedings of the 2013 International Conference on High Performance Computing and Simulation, HPCS 2013. p. 527-534 8 p. 6641464

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Semantics-preserving data layout transformations for improved vectorisation

    Sinkarovs, A. & Scholz, S. B., 21 Oct 2013, Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. p. 59-69 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)