Author image not provided
 J. Berthold

 (Former) homepage at DIKU
 jbertholdatacm.org

  Affiliation history
Bibliometrics: publication history
Average citations per article3.00
Citation Count57
Publication count19
Publication years2003-2016
Available for download4
Average downloads per article270.00
Downloads (cumulative)1,080
Downloads (12 Months)122
Downloads (6 Weeks)13
Professional ACM Member
SEARCH
ROLE
Arrow RightAuthor only
· Other only
· All roles


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


19 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 19 of 19
Sort by:

1 published by ACM
June 2016 ACM Transactions on Architecture and Code Optimization (TACO): Volume 13 Issue 2, June 2016
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 8,   Downloads (12 Months): 67,   Downloads (Overall): 149

Full text available: PDFPDF
Commodity many-core hardware is now mainstream, but parallel programming models are still lagging behind in efficiently utilizing the application parallelism. There are (at least) two principal reasons for this. First, real-world programs often take the form of a deeply nested composition of parallel operators, but mapping the available parallelism to ...
Keywords: fusion, Data-parallel functional language, fission, strength reduction

2 published by ACM
August 2015 ICFP 2015: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 4,   Downloads (12 Months): 39,   Downloads (Overall): 162

Full text available: PDFPDF
Domain-specific languages (DSLs) for complex financial contracts are in practical use in many banks and financial institutions today. Given the level of automation and pervasiveness of software in the sector, the financial domain is immensely sensitive to software bugs. At the same time, there is an increasing need to analyse ...
Keywords: Haskell, Certified Code, Domain-Specific Language, Financial Contracts, Coq, Semantics, Type System
Also published in:
December 2015  ACM SIGPLAN Notices - ICFP '15: Volume 50 Issue 9, September 2015

3 published by ACM
September 2012 FHPC '12: Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Publisher: ACM
Bibliometrics:
Citation Count: 5
Downloads (6 Weeks): 0,   Downloads (12 Months): 8,   Downloads (Overall): 229

Full text available: PDFPDF
This paper presents a real-world pricing kernel for financial derivatives and evaluates the language and compiler tool chain that would allow expressive, hardware-neutral algorithm implementation and efficient execution on graphics-processing units (GPU). The language issues refer to preserving algorithmic invariants, e.g., inherent parallelism made explicit by map-reduce-scan functional combinators. Efficient ...
Keywords: functional language, tiling, autoparallelization, memory coalescing, strength reduction

4
October 2011 ICA3PP'11: Proceedings of the 11th international conference on Algorithms and architectures for parallel processing - Volume Part I
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 1

This paper provides an overview of MiG, a Grid middleware for advanced job execution, data storage and group collaboration in an integrated, yet lightweight solution using standard software. In contrast to most other Grid middlewares, MiG is developed with a particular focus on usability and minimal system requirements, applying strict ...

5
May 2011 TFP'11: Proceedings of the 12th international conference on Trends in Functional Programming
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 1

The world of finance faces the computational performance challenge of massively expanding data volumes, extreme response time requirements, and compute-intensive complex (risk) analyses. Simultaneously, new international regulatory rules require considerably more transparency and external auditability of financial institutions, including their software systems. To top it off, increased product variety and ...

6
September 2010 IFL'10: Proceedings of the 22nd international conference on Implementation and application of functional languages
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0

Data serialisation is a crucial feature of real-world programming languages, often provided by standard libraries or even built-in to the language. However, a number of questions arise when the language in question uses demand-driven evaluation and supports higher-order functions, as is the case for the lazy functional language Haskell. To ...

7
September 2010 IFL'10: Proceedings of the 22nd international conference on Implementation and application of functional languages
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 1

This paper describes CASH (the Computer Algebra SHell), a new interface that allows Haskell programmers to access the complete functionality of a number of computer algebra systems directly and interactively. Using CASH, Haskell programmers can access previouslyunavailable mathematical software. Additionally, users of computer algebra systems can exploit the rapidly growing ...

8
July 2010
Bibliometrics:
Citation Count: 0

This book investigates the relation between the two conflicting goals of explicitness and abstraction, for the implementation of parallel functional languages and skeletons. The first part describes the implementation of the parallel Haskell extension Eden in layers of increasing abstraction. The author derives a minimal monadic sublanguage for elementary parallel ...

9
April 2010 FLOPS'10: Proceedings of the 10th international conference on Functional and Logic Programming
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 5

We present a flexible skeleton for implementing distributed work pools in our parallel functional language Eden. The skeleton manages a pool of tasks (work pool) in a distributed manner using a demand-driven work stealing approach for load balancing. All coordination is done locally within the worker processes. The latter are ...

10 published by ACM
October 2009 ACM SIGPLAN Notices: Volume 44 Issue 5, May 2009
Publisher: ACM
Bibliometrics:
Citation Count: 1

With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskell, are, in principle, well placed to take advantage of this trend, offering the ability to easily identify large amounts of fine-grained parallelism. Unfortunately, obtaining real performance benefits has often proved ...

11
September 2009 ICPPW '09: Proceedings of the 2009 International Conference on Parallel Processing Workshops
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 1

In this paper, we investigate the differences and tradeoffs imposed by two parallel Haskell dialects running on multicore machines. GpH and Eden are both constructed using the highly-optimising sequential GHC compiler, and share thread scheduling, and other elements, from a common code base. The GpH implementation investigated here uses a ...

12
September 2009 PaCT '09: Proceedings of the 10th International Conference on Parallel Computing Technologies
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 4

The paper investigates and compares skeleton-based Eden implementations of different FFT-algorithms on workstation clusters with distributed memory. Our experiments show that the basic divide-and-conquer versions suffer from an inherent input distribution and result collection problem. Advanced approaches like calculating FFT using a parallel map-and-transpose skeleton provide more flexibility to overcome ...

13
August 2009 Euro-Par '09: Proceedings of the 15th International Euro-Par Conference on Parallel Processing
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 5

Recent publications have emphasised map-reduce as a general programming model (labelled Google map-reduce), and described existing high-performance implementations for large data sets. We present two parallel implementations for this Google map-reduce skeleton, one following earlier work, and one optimised version, in the parallel Haskell extension Eden. Eden's specific features, like ...

14 published by ACM
January 2009 DAMP '09: Proceedings of the 4th workshop on Declarative aspects of multicore programming
Publisher: ACM
Bibliometrics:
Citation Count: 3
Downloads (6 Weeks): 1,   Downloads (12 Months): 8,   Downloads (Overall): 540

Full text available: PDFPDF
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskell, are, in principle, well placed to take advantage of this trend, offering the ability to easily identify large amounts of fine-grained parallelism. Unfortunately, obtaining real performance benefits has often proved ...
Keywords: algorithmic skeletons, eden, haskell, multicore parallelism

15
December 2008 ISPA '08: Proceedings of the 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 5

This paper describes a very high-level approach that aims to orchestrate sequential components written using high-level domain-specific programming into high-performance parallel applications. By achieving this goal, we hope to make parallel programming more accessible to experts in mathematics, engineering and other domains. A key feature of our approach is that ...
Keywords: Distributed systems and applications, performance evaluation and measurements, parallelism, orchestration, functional programming, Haskell, computational algebra.

16
January 2008 PADL'08: Proceedings of the 10th international conference on Practical aspects of declarative languages
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 11

Master-worker systems are a well-known and often applicable scheme for the parallel evaluation of a pool of tasks, a work pool. The system consists of a master process managing a set of worker processes. After an initial phase with a fixed amount of tasks for each worker, further tasks are ...

17
January 2008 PADL'08: Proceedings of the 10th international conference on Practical aspects of declarative languages
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 3

We present the design and prototype implementation of the scheduling component in ArTCoP (architecture transparent control of parallelism), a novel run-time environment (RTE) for parallel execution of high-level languages. A key feature of ArTCoP is its support for deep process and memory hierarchies, shown in the scheduler by supporting light-weight ...
Keywords: parallel computation, functional programming, scheduling

18
September 2006 IFL'06: Proceedings of the 18th international conference on Implementation and application of functional languages
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 5

We present a low-level coordination language for Haskell which can be used as an implementation language for parallel Haskell extensions. It has been developed in the context of the latest Eden implementation (based on the Glasgow-Haskell-Compiler, GHC, version 6) and it is thus referred to as the "EDen Implementation language", ...

19
September 2003 IFL'03: Proceedings of the 15th international conference on Implementation of Functional Languages
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 1

Parallel programming generally requires awareness of the granularity and communication requirements of parallel subtasks, since without precaution, the overhead for parameter and result communication may outweigh the gain of parallel processing. While this problem is often solved explicitly at the language level, it can also be alleviated by optimising message ...



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us