| |
Bailly, Lubin
|
FHPNC '23: "Shape-Constrained Array Programming ..."
Shape-Constrained Array Programming with Size-Dependent Types
Lubin Bailly, Troels Henriksen, and Martin Elsman
(ENS, France; University of Copenhagen, Denmark)
@InProceedings{FHPNC23p33,
author = {Lubin Bailly and Troels Henriksen and Martin Elsman},
title = {Shape-Constrained Array Programming with Size-Dependent Types},
booktitle = {Proc.\ FHPNC},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3609024.3609412},
year = {2023},
}
 Publisher's Version
Article: icfpws23fhpncmain-id3-p doi:10.1145/3609024.3609412
|
| |
Bouverot-Dupuis, Mathis |
FHPNC '23: "Efficient GPU Implementation ..."
Efficient GPU Implementation of Affine Index Permutations on Arrays
Mathis Bouverot-Dupuis and Mary Sheeran
(ENS Paris, France; Chalmers University of Technology, Sweden)
@InProceedings{FHPNC23p17,
author = {Mathis Bouverot-Dupuis and Mary Sheeran},
title = {Efficient GPU Implementation of Affine Index Permutations on Arrays},
booktitle = {Proc.\ FHPNC},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3609024.3609411},
year = {2023},
}
Publisher's Version
Article: icfpws23fhpncmain-id2-p doi:10.1145/3609024.3609411
|
| |
Elsman, Martin
|
FHPNC '23: "Shape-Constrained Array Programming ..."
Shape-Constrained Array Programming with Size-Dependent Types
Lubin Bailly, Troels Henriksen, and Martin Elsman
(ENS, France; University of Copenhagen, Denmark)
@InProceedings{FHPNC23p33,
author = {Lubin Bailly and Troels Henriksen and Martin Elsman},
title = {Shape-Constrained Array Programming with Size-Dependent Types},
booktitle = {Proc.\ FHPNC},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3609024.3609412},
year = {2023},
}
Publisher's Version
Article: icfpws23fhpncmain-id3-p doi:10.1145/3609024.3609412
|
| |
Henriksen, Troels
|
FHPNC '23: "Shape-Constrained Array Programming ..."
Shape-Constrained Array Programming with Size-Dependent Types
Lubin Bailly, Troels Henriksen, and Martin Elsman
(ENS, France; University of Copenhagen, Denmark)
@InProceedings{FHPNC23p33,
author = {Lubin Bailly and Troels Henriksen and Martin Elsman},
title = {Shape-Constrained Array Programming with Size-Dependent Types},
booktitle = {Proc.\ FHPNC},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3609024.3609412},
year = {2023},
}
Publisher's Version
Article: icfpws23fhpncmain-id3-p doi:10.1145/3609024.3609412
|
| |
Koopman, Thomas
|
FHPNC '23: "Rank-Polymorphism for Shape-Guided ..."
Rank-Polymorphism for Shape-Guided Blocking
Artjoms Šinkarovs, Thomas Koopman, and Sven-Bodo Scholz
(Heriot-Watt University, UK; Radboud University Nijmegen, Netherlands)
@InProceedings{FHPNC23p1,
author = {Artjoms Šinkarovs and Thomas Koopman and Sven-Bodo Scholz},
title = {Rank-Polymorphism for Shape-Guided Blocking},
booktitle = {Proc.\ FHPNC},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3609024.3609410},
year = {2023},
}
Publisher's Version
 Published Artifact
Artifacts Available
Article: icfpws23fhpncmain-id1-p doi:10.1145/3609024.3609410
|
| |
Scholz, Sven-Bodo
|
FHPNC '23: "Rank-Polymorphism for Shape-Guided ..."
Rank-Polymorphism for Shape-Guided Blocking
Artjoms Šinkarovs, Thomas Koopman, and Sven-Bodo Scholz
(Heriot-Watt University, UK; Radboud University Nijmegen, Netherlands)
@InProceedings{FHPNC23p1,
author = {Artjoms Šinkarovs and Thomas Koopman and Sven-Bodo Scholz},
title = {Rank-Polymorphism for Shape-Guided Blocking},
booktitle = {Proc.\ FHPNC},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3609024.3609410},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23fhpncmain-id1-p doi:10.1145/3609024.3609410
|
| |
Sheeran, Mary |
FHPNC '23: "Efficient GPU Implementation ..."
Efficient GPU Implementation of Affine Index Permutations on Arrays
Mathis Bouverot-Dupuis and Mary Sheeran
(ENS Paris, France; Chalmers University of Technology, Sweden)
@InProceedings{FHPNC23p17,
author = {Mathis Bouverot-Dupuis and Mary Sheeran},
title = {Efficient GPU Implementation of Affine Index Permutations on Arrays},
booktitle = {Proc.\ FHPNC},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3609024.3609411},
year = {2023},
}
Publisher's Version
Article: icfpws23fhpncmain-id2-p doi:10.1145/3609024.3609411
|
| |
Šinkarovs, Artjoms |
FHPNC '23: "Rank-Polymorphism for Shape-Guided ..."
Rank-Polymorphism for Shape-Guided Blocking
Artjoms Šinkarovs, Thomas Koopman, and Sven-Bodo Scholz
(Heriot-Watt University, UK; Radboud University Nijmegen, Netherlands)
@InProceedings{FHPNC23p1,
author = {Artjoms Šinkarovs and Thomas Koopman and Sven-Bodo Scholz},
title = {Rank-Polymorphism for Shape-Guided Blocking},
booktitle = {Proc.\ FHPNC},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3609024.3609410},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23fhpncmain-id1-p doi:10.1145/3609024.3609410
|