ARRAY 2024 Contributors

Tue 25 Jun 2024 Copenhagen, Denmark

co-located with PLDI 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (33)

B Jakub BachurskiBachurski, Jakub University of CambridgePoland Points for Free: Embedding Pointful Array Programming in Python
Julia BelyakovaBelyakova, Julia Purdue UniversityUnited States Committee Member in Program Committee within the ARRAY-track
C Phuong CaoCao, Phuong National Center for Supercomputing Applications, University of Illinois Urbana-ChampaignUnited States The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum Computing
D Ivo Gabe de Wolffde Wolff, Ivo Gabe Utrecht University Zero-Overhead Parallel Scans for Multi-Core CPUs Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling
William DueDue, William DIKU, University of Copenhagen An LLP (q, k) Parser Generator
E Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
G Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee within the ARRAY-track
H Juuso HaavistoHaavisto, Juuso University of Oxford On Structural Under and GPUs
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark An LLP (q, k) Parser Generator AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming Committee Member in Program Committee within the ARRAY-track
Nikolaj Hey HinnerskovHinnerskov, Nikolaj Hey DIKU, University of Copenhagen Mechanical Proofs in an Array-Combinator Language AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Bach HoangHoang, Bach National Center for Supercomputing Applications, University of Illinois Urbana-Champaign The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum Computing
Aaron HsuHsu, Aaron Dyalog, Ltd.United States Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environments Committee Member in Organizing Committee within the ARRAY-track
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus
J Lars JensenJensen, Lars Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus
K Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Zero-Overhead Parallel Scans for Multi-Core CPUs Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling Committee Member in Program Committee within the ARRAY-track
Thomas KoopmanKoopman, Thomas Radboud University Shray: an Owner-Compute Distributed Shared-Memory System
L Tze Meng LowLow, Tze Meng Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the ARRAY-track
M Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Trevor L. McDonellMcDonell, Trevor L. Utrecht UniversityNetherlands Zero-Overhead Parallel Scans for Multi-Core CPUs
Vanessa McHaleMcHale, Vanessa Northern Trust Apple Array Allocation
Alan MycroftMycroft, Alan University of Cambridge, UK Points for Free: Embedding Pointful Array Programming in Python
N Santiago Núñez-CorralesNúñez-Corrales, Santiago National Center for Supercomputing Applications, University of Illinois Urbana-Champaign The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum Computing
O Cosmin OanceaOancea, Cosmin University of Copenhagen, DenmarkDenmark Mechanical Proofs in an Array-Combinator Language
P Adam PaszkePaszke, Adam Google ResearchPoland Committee Member in Program Committee within the ARRAY-track
Chris Oliver PaulsenPaulsen, Chris Oliver Department of Computer Science, Aalborg University Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus
S Robert SchenckSchenck, Robert DIKU, University of CopenhagenDenmark Mechanical Proofs in an Array-Combinator Language AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Shray: an Owner-Compute Distributed Shared-Memory System Committee Member in Program Committee within the ARRAY-track
Stefan SchrijversSchrijvers, Stefan Radboud University Shray: an Owner-Compute Distributed Shared-Memory System
Mary SheeranSheeran, Mary Chalmers \| University of Gothenburg Committee Member in Program Committee within the ARRAY-track
T Julian TeuleTeule, Julian Department of Computer Science, Aalborg University Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus
V David van Balenvan Balen, David Zero-Overhead Parallel Scans for Multi-Core CPUs
W Brandon WilsonWilson, Brandon Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environments
Š Artjoms ŠinkarovsŠinkarovs, Artjoms University of Southampton Committee Member in Organizing Committee within the ARRAY-track