Bibliographic Details
| Title: |
East of Eden : parallel functional programming in Idris |
| Authors: |
Brown, Christopher Mark, Barwell, Adam David |
| Contributors: |
University of St Andrews.School of Computer Science |
| Publisher Information: |
2025. |
| Publication Year: |
2025 |
| Subject Terms: |
Processes, QA75, Explicit, QA75 Electronic computers. Computer science, Concurrency, Parallelism, Idris, Skeletons, Dependent types, Implicit, AC |
| Description: |
Implicit parallel programming models typically give less control to the programmer over the parallelism properties of the program, but require less specialisedexpertise. Explicit parallel models, on the other hand, give much greater control over the parallelism behaviour, but require much more significant expertisefrom the programmer. In this paper, we introduce a novel semi-implicit parallelmodel for an emerging class of languages known as dependently-typed languages.These dependently-typed languages encourage safer software via their ability toexpress strong logical guarantees, in the form of proofs, directly in code. Oursemi-implicit approach is based on a process model that uses dependent typesto guarantee parallelism properties. We demonstrate how we can use this semi-implicit process model to build common algorithmic skeletons, such as farms,pipelines and divide and conquer skeletons. We evaluate our process skeletonapproach on a number of examples, achieving speedups of up to 21.8 times on a28-core machine. |
| Document Type: |
Conference object |
| File Description: |
application/pdf |
| Language: |
English |
| Access URL: |
https://hdl.handle.net/10023/32678 |
| Accession Number: |
edsair.od.......901..11c849fd6f7da2c362d037d31b1453e1 |
| Database: |
OpenAIRE |