Robert Schenck

Søgeresultater

• 2025

  Two Things I Did: Parallel Differentiation and Rank Polymorphism

  Schenck, R., 2025, Department of Computer Science, Faculty of Science, University of Copenhagen. 95 s.

  Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling

  Fil
• 2024

  AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming

  Schenck, R., Hinnerskov, N. H., Henriksen, T., Madsen, M. & Elsman, M., 2024, I: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 27 s., 334.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil
  22 Downloads (Pure)
• 2022

  AD for an Array Language with Nested Parallelism

  Schenck, R., Rønning, O., Henriksen, T. & Oancea, C. E., 2022, Proceedings of SC 2022: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society Press, 15 s. (International Conference for High Performance Computing, Networking, Storage and Analysis, SC, Bind 2022-November).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil
  2 Citationer (Scopus)

  22 Downloads (Pure)

• Combinatory Adjoints and Differentiation

  Elsman, M., Henglein, F., Kaarsgaard, R., Mathiesen, M. K. & Schenck, R., 2022, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022).. EPTCS, Bind 360. s. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 360).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil
  3 Citationer (Scopus)

  51 Downloads (Pure)