Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Adve, Vikram S.
72  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

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..
 
?
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

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..
 
?
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

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..
 
?
6

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/..
 
?
7

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..
 
?
8

Region and effect inference for safe parallelism:

, In: Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering,
Tzannes, Alexandros ; Heumann, Stephen T. ; Eloussi, Lamyaa... - p. 512-523 , 2015
Link: https://dl.acm.org/doi/1..
 
?
9

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..
 
?
10

The tasks with effects model for safe concurrency:

, In: Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming,
Heumann, Stephen T. ; Adve, Vikram S. ; Wang, Shengjie - p. 239-250 , 2013
Link: https://dl.acm.org/doi/1..
 
?
11

Safe nondeterminism in a deterministic-by-default parallel ..:

, In: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Bocchino Jr., Robert L. ; Heumann, Stephen ; Honarmand, Nima... - p. 535-548 , 2011
Link: https://dl.acm.org/doi/1..
 
?
12

Types, regions, and effects for safe programming with objec..:

, In: Proceedings of the 25th European conference on Object-oriented programming,
Bocchino, Robert L. ; Adve, Vikram S. - p. 306-332 , 2011
Link: https://dl.acm.org/doi/1..
 
?
13

Types, Regions, and Effects for Safe Programming with Objec..:

, In: Lecture Notes in Computer Science; ECOOP 2011 – Object-Oriented Programming,
Bocchino Jr., Robert L. ; Adve, Vikram S. - p. 306-332 , 2011
Link: https://doi.org/10.1007/..
 
?
14

A type and effect system for deterministic parallel Java:

, In: Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications,
Bocchino Jr., Robert L. ; Adve, Vikram S. ; Dig, Danny... - p. 97-116 , 2009
Link: https://dl.acm.org/doi/1..
 
?
15

Recovery domains : an organizing principle for recoverab..:

, In: Proceedings of the 14th international conference on Architectural support for programming languages and operating systems,
Lenharth, Andrew ; Adve, Vikram S. ; King, Samuel T. - p. 49-60 , 2009
Link: https://dl.acm.org/doi/1..
 
1-15