◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Saman P. Amarasinghe

7 papers hereh-index 335 citations13 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author2
  • last author4

Across the 6 of 7 papers where every author was matched, so the position is known.

fields
  • cs.PL4
  • cs.MS2
  • cs.CV1
same name
  • Saman P. Amarasinghe — 23 papers, h 64
  • Saman P. Amarasinghe — 3 papers, h 2

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20192025
most citedMechanised Hypersafety Proofs about Structured Data: Extended Version

8 citations · 13 across the 6 of their papers we have counts for

collaborators
Showing cs.MSShow all

2 papers · 1 filter

cs.MS2024

SySTeC: A Symmetric Sparse Tensor Compiler

Radha Patel, Willow Ahrens, Saman Amarasinghe

Symmetric and sparse tensors arise naturally in many domains including linear algebra, statistics, physics, chemistry, and graph theory. Symmetric tensors are equal to their transp…

cs.MS2024★ 2 cited

Finch: Sparse and Structured Tensor Programming with Control Flow

Willow Ahrens, Teodoro Fields Collin, Radha Patel +3

From FORTRAN to NumPy, tensors have revolutionized how we express computation. However, tensors in these, and almost all prominent systems, can only handle dense rectilinear intege…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.