E-LIB Suche - Ergebnisse für: Vytiniotis, Dimitrios

1

Proceedings of the 4th International Workshop on Distribute..:

Laskaridis, Stefanos ; Tumanov, Alexey ; Baracaldo, Nathalie. , 2023

2

Getting to the point: index sets and parallelism-preserving..:

Paszke, Adam ; Johnson, Daniel D. ; Duvenaud, David...
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-29 , 2021

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

3

Getting to the point: index sets and parallelism-preserving..:

Paszke, Adam ; Johnson, Daniel D. ; Duvenaud, David...
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-29 , 2021

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

4

A quick look at impredicativity:

Serrano, Alejandro ; Hage, Jurriaan ; Peyton Jones, Simon.
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-29 , 2020

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

5

Declarative abstractions for tensor program partitioning:

, In: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming,

Vytiniotis, Dimitrios - p. 1 ff. , 2020

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

6

A quick look at impredicativity:

Serrano, Alejandro ; Hage, Jurriaan ; Peyton Jones, Simon.
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-29 , 2020

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

7

Efficient differentiable programming in a functional array-..:

Shaikhha, Amir ; Fitzgibbon, Andrew ; Vytiniotis, Dimitrios.
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-30 , 2019

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

8

Efficient differentiable programming in a functional array-..:

Shaikhha, Amir ; Fitzgibbon, Andrew ; Vytiniotis, Dimitrios.
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-30 , 2019

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

9

Guarded impredicative polymorphism:

Serrano, Alejandro ; Hage, Jurriaan ; Vytiniotis, Dimitrios.
ACM SIGPLAN Notices. 53 (2018) 4 - p. 783-796 , 2018

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

10

Guarded impredicative polymorphism:

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

Serrano, Alejandro ; Hage, Jurriaan ; Vytiniotis, Dimitrios. - p. 783-796 , 2018

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

11

Project snowflake: non-blocking safe manual memory manageme..:

Parkinson, Matthew ; Vytiniotis, Dimitrios ; Vaswani, Kapil...
Proceedings of the ACM on Programming Languages. 1 (2017) OOPSLA - p. 1-25 , 2017

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

12

SHErrLoc : A Static Holistic Error Locator:

Zhang, Danfeng ; Myers, Andrew C. ; Vytiniotis, Dimitrios.
ACM Transactions on Programming Languages and Systems (TOPLAS). 39 (2017) 4 - p. 1-47 , 2017

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

13

Project snowflake: non-blocking safe manual memory manageme..:

Parkinson, Matthew ; Vytiniotis, Dimitrios ; Vaswani, Kapil...
Proceedings of the ACM on Programming Languages. 1 (2017) OOPSLA - p. 1-25 , 2017

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

14

Modular, higher order cardinality analysis in theory and pr..:

SERGEY, ILYA ; VYTINIOTIS, DIMITRIOS ; JONES, SIMON L. PEYTON.
Journal of Functional Programming. 27 (2017) - p. , 2017

Link: https://doi.org/10.1017/..

15

SHErrLoc: A Static Holistic Error Locator:

Zhang, Danfeng ; Myers, Andrew C. ; Vytiniotis, Dimitrios.
ACM Transactions on Programming Languages and Systems. 39 (2017) 4 - p. 1-47 , 2017

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