( en | de | ru )

 

Disambiguierung von "Amarasinghe, Saman P."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mechanised Hypersafety Proofs about Structured Data.

, , , , und . Proc. ACM Program. Lang., 8 (PLDI): 647-670 (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Saman Barghi

Moukthar Saman

Saman Sorani

Suheil Saman

Saman Halgamuge

 

Weitere Publikationen von Autoren mit dem selben Namen

Optimizing Cache Performance for Graph Analytics., , , , und . CoRR, (2016)Adapting Convergent Scheduling Using Machine-Learning., , , , und . LCPC, Volume 2958 von Lecture Notes in Computer Science, Seite 17-31. Springer, (2003)Strength Reduction of Integer Division and Modulo Operations., , , und . LCPC, Volume 2624 von Lecture Notes in Computer Science, Seite 254-273. Springer, (2001)Domain-Specific Language Abstractions for Compression., , , , , , und . DCC, Seite 364. IEEE, (2021)Format abstraction for sparse tensor algebra compilers., , und . Proc. ACM Program. Lang., 2 (OOPSLA): 123:1-123:30 (2018)Weld: Rethinking the Interface Between Data-Intensive Applications., , , , , , , , , und . CoRR, (2017)Compliation Techniques for Graphs Algorithms on GPUs., , , , , und . CoRR, (2020)Distributed Halide., , und . PPoPP, Seite 5:1-5:12. ACM, (2016)Bitwidth analysis with application to silicon compilation., , und . PLDI, Seite 108-120. ACM, (2000)Ubiquitous Memory Introspection., , , , und . CGO, Seite 299-311. IEEE Computer Society, (2007)