E-LIB Suche - Ergebnisse für: Adve, Vikram S.

1

AIFARMS: Artificial intelligence for future agricultural re..:

Adve, Vikram S. ; Wedow, Jessica M. ; Ainsworth, Elizabeth A....
AI Magazine. 45 (2024) 1 - p. 83-88 , 2024

Link: https://doi.org/10.1002/..

2

ApproxTuner : a compiler and runtime system for adaptive..:

, In: Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,

Sharif, Hashim ; Zhao, Yifan ; Kotsifakou, Maria... - p. 262-277 , 2021

Link: https://dl.acm.org/doi/1..

3

Language-parametric compiler validation with application to..:

, In: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

Kasampalis, Theodoros ; Park, Daejun ; Lin, Zhengyao.. - p. 1004-1019 , 2021

Link: https://dl.acm.org/doi/1..

4

Why digital agriculture is fertile ground for software syst..:

, In: Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity,

Adve, Vikram S. - p. 3 ff. , 2020

Link: https://dl.acm.org/doi/1..

5

Scalable validation of binary lifters:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Dasgupta, Sandeep ; Dinesh, Sushant ; Venkatesh, Deepan.. - p. 655-671 , 2020

Link: https://dl.acm.org/doi/1..

6

Guided linking: dynamic linking without the costs:

Bartell, Sean ; Dietz, Will ; Adve, Vikram S.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

Link: https://doi.org/10.1145/..

7

Guided linking: dynamic linking without the costs:

Bartell, Sean ; Dietz, Will ; Adve, Vikram S.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-29 , 2020

Link: https://dl.acm.org/doi/1..

8

Wok: Statistical Program Slicing in Production:

, In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Stoica, Bogdan-Alexandru ; Sahoo, Swarup K. ; Larus, James R.. - p. 324-325 , 2019

Link: https://doi.org/10.1109/..

9

Region and effect inference for safe parallelism:

Tzannes, Alexandros ; Heumann, Stephen T. ; Eloussi, Lamyaa...
Automated Software Engineering. 26 (2019) 2 - p. 463-509 , 2019

Link: https://doi.org/10.1007/..

10

ApproxHPVM: a portable compiler IR for accuracy-aware optim..:

Sharif, Hashim ; Srivastava, Prakalp ; Huzaifa, Muhammad...
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-30 , 2019

Link: https://doi.org/10.1145/..

11

A complete formal semantics of x86-64 user-level instructio..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Dasgupta, Sandeep ; Park, Daejun ; Kasampalis, Theodoros.. - p. 1133-1148 , 2019

Link: https://dl.acm.org/doi/1..

12

Wok : statistical program slicing in production:

, In: Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings,

Stoica, Bogdan-Alexandru ; Sahoo, Swarup K. ; Larus, James R.. - p. 324-325 , 2019

Link: https://dl.acm.org/doi/1..

13

ApproxHPVM: a portable compiler IR for accuracy-aware optim..:

Sharif, Hashim ; Srivastava, Prakalp ; Huzaifa, Muhammad...
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-30 , 2019

Link: https://dl.acm.org/doi/1..

14

Stash : have your scratchpad and cache it too:

, In: Proceedings of the 42nd Annual International Symposium on Computer Architecture,

Komuravelli, Rakesh ; Sinclair, Matthew D. ; Alsop, Johnathan... - p. 707-719 , 2015

Link: https://dl.acm.org/doi/1..

15

Stash: have your scratchpad and cache it too:

Komuravelli, Rakesh ; Sinclair, Matthew D. ; Alsop, Johnathan...
ACM SIGARCH Computer Architecture News. 43 (2015) 3S - p. 707-719 , 2015

Link: https://doi.org/10.1145/..