|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 61 publication records. Showing 61 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vadim Zaliva, Franz Franchetti |
HELIX: a case study of a formal verification of high performance program generation.  |
FHPC@ICFP  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Troels Henriksen, Martin Elsman, Cosmin E. Oancea |
Modular acceleration: tricky cases of functional high-performance computing. |
FHPC@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kei Davis, Mike Rainey (eds.) |
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2018, St. Louis, MO, USA, September 29, 2018 |
FHPC@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Algehed, Patrik Jansson |
VisPar: visualising dataflow graphs from the Par Monad. |
FHPC@ICFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rasmus Wriedt Larsen, Troels Henriksen |
Strategies for regular segmented reductions on GPU. |
FHPC@ICFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Shaikhha, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis |
Destination-passing style for efficient memory management. |
FHPC@ICFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Phil Trinder, Cosmin E. Oancea (eds.) |
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2017, Oxford, UK, September 7, 2017 |
FHPC@ICFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Mainland, Siddhanathan Shanmugam |
From high-level radio protocol specifications to efficient low-level implementations via partial evaluation. |
FHPC@ICFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam D. Barwell, Kevin Hammond |
In search of a map: using program slicing to discover potential parallelism in recursive functions. |
FHPC@ICFP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Lippmeier, Fil Mackay, Amos Robinson |
Polarized data parallel data flow. |
FHPC@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Maier 0001, John Magnus Morton, Phil Trinder |
JIT costing adaptive skeletons for performance portability. |
FHPC@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik M. Madsen, Andrzej Filinski |
Streaming nested data parallelism on multicores. |
FHPC@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Akimasa Morihata |
From identification of parallelizability to derivation of parallelizable codes. |
FHPC@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Máté Karácsony, Koen Claessen |
Using fusion to enable late design decisions for pipelined computations. |
FHPC@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Troels Henriksen, Martin Dybdal, Henrik Urms, Anna Sofie Kiehn, Daniel Gavin, Hjalte Abelskov, Martin Elsman, Cosmin E. Oancea |
APL on GPUs: a TAIL from the past, scribbled in Futhark. |
FHPC@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Onofre Coll Ruiz, Kiminori Matsuzaki, Shigeyuki Sato 0001 |
s6raph: vertex-centric graph processing framework with functional interface. |
FHPC@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Takayuki Muranushi, Seiya Nishizawa, Hirofumi Tomita, Keigo Nitadori, Masaki Iwasawa, Yutaka Maruyama, Hisashi Yashiro, Yoshifumi Nakamura, Hideyuki Hotta, Junichiro Makino, Natsuki Hosono, Hikaru Inoue |
Automatic generation of efficient codes from mathematical descriptions of stencil computation. |
FHPC@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran |
Low-level functional GPU programming for parallel algorithms. |
FHPC@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Amos Robinson, Ben Lippmeier |
Icicle: write once, run once. |
FHPC@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Duke, Yukiyoshi Kameyama (eds.) |
Proceedings of the 5th International Workshop on Functional High-Performance Computing, FHPC@ICFP 2016, Nara, Japan, September 22, 2016 |
FHPC@ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Vollmer 0003, Bo Joel Svensson, Eric Holk, Ryan R. Newton |
Meta-programming and auto-tuning in the search for high performance GPU code. |
FHPC@ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiark Rompf, Geoffrey Mainland (eds.) |
Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC@ICFP 2015, Vancouver, BC, Canada, September 3, 2015 |
FHPC@ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Fouzhan Hosseini |
Skeletons for distributed topological computation. |
FHPC@ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Joel Svensson, Michael Vollmer 0003, Eric Holk, Trevor L. McDonell, Ryan R. Newton |
Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs. |
FHPC@ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Slesarenko, Alexey Romanov |
Scalan: a framework for domain-specific hotspot optimization (invited tutorial). |
FHPC@ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik M. Madsen, Robert Clifton-Everest, Manuel M. T. Chakravarty, Gabriele Keller |
Functional array streams. |
FHPC@ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Takashima, Hiroki Sakamoto, Yukiyoshi Kameyama |
Generate and offshore: type-safe and modular code generation for low-level optimization. |
FHPC@ICFP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Fourtounis 0001, Nikolaos Papaspyrou |
An efficient representation for lazy constructors using 64-bit pointers. |
FHPC@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Amos Robinson, Ben Lippmeier, Gabriele Keller |
Fusing filters with integer linear programming. |
FHPC@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Fouzhan Hosseini, Hamish A. Carr |
Parallel computation of multifield topology: experience of Haskell in a computational science application. |
FHPC@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Harrington, Nicolai Dahl, Peter Sestoft, David Raymond Christiansen |
Pension reserve computations on GPUs. |
FHPC@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhat Totoo, Hans-Wolfgang Loidl |
Lazy data-oriented evaluation strategies. |
FHPC@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Joel Svensson, Josef Svenningsson |
Defunctionalizing push arrays. |
FHPC@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jost Berthold, Mary Sheeran, Ryan Newton (eds.) |
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014 |
FHPC@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibaut Lutz, Vinod Grover |
LambdaJIT: a dynamic compiler for heterogeneous optimizations of STL algorithms. |
FHPC@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vytiniotis |
Ziria: wireless programming for hardware dummies. |
FHPC@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Troels Henriksen, Martin Elsman, Cosmin E. Oancea |
Size slicing: a hybrid approach to size inference in futhark. |
FHPC@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Liu 0012, Laurence E. Day, Neal Glew, Todd A. Anderson 0001, Rajkishore Barik |
Native offload of Haskell repa programs to integrated GPUs. |
FHPC@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Palludan Hargreaves, Daniel Merkle, Peter Schneider-Kamp |
Group communication patterns for high performance computing in scala. |
FHPC@ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef David Svenningsson, Bo Joel Svensson, Mary Sheeran |
Counting and occurrence sort for GPUs using an embedded language. |
FHPC@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsey Kuper, Ryan R. Newton |
LVars: lattice-based data structures for deterministic parallelism. |
FHPC@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Wang 0017, Meixian Chen, Yu Liu, Zhenjiang Hu |
Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism. |
FHPC@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Troels Henriksen, Cosmin Eugen Oancea |
A T2 graph-reduction approach to fusion. |
FHPC@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel M. T. Chakravarty |
Data parallelism in Haskell. |
FHPC@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera |
Towards a functional run-time for dense NLA domain. |
FHPC@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Henry |
ViperVM: a runtime system for parallel functional high-performance computing on heterogeneous architectures. |
FHPC@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grelck, Fritz Henglein, Umut A. Acar, Jost Berthold (eds.) |
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, Boston, MA, USA, FHPC@ICFP 2013, September 25-27, 2013 |
FHPC@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Fluet |
The manticore project. |
FHPC@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik M. Madsen, Andrzej Filinski |
Towards a streaming model for nested data parallelism. |
FHPC@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Artjoms Sinkarovs, Sven-Bodo Scholz |
Semantics-preserving data layout transformations for improved vectorisation. |
FHPC@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Joel Svensson, Mary Sheeran |
Parallel programming in Haskell almost for free: an embedding of intel's array building blocks. |
FHPC@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Toscano, Gabriele D'Angelo, Moreno Marzolla |
Parallel discrete event simulation with Erlang. |
FHPC@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmin E. Oancea, Christian Andreetta, Jost Berthold, Alain Frisch, Fritz Henglein |
Financial software on GPUs: between Haskell and Fortran. |
FHPC@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhat Totoo, Pantazis Deligiannis, Hans-Wolfgang Loidl |
Haskell vs. f# vs. scala: a high-level language features and parallelism support comparison. |
FHPC@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul H. J. Kelly |
Using domain-specific languages and access-execute descriptors to expand the parallel code synthesis design space: keynote talk. |
FHPC@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Flænø Werk, Joakim Ahnfelt-Rønne, Ken Friis Larsen |
An embedded DSL for stochastic processes: research article. |
FHPC@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyn Sérot, Greg J. Michaelson |
Harnessing parallelism in FPGAs using the hume language. |
FHPC@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislav Böhm, Marek Behalek |
Usage of petri nets for high performance computing. |
FHPC@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Filinski, Clemens Grelck (eds.) |
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, Copenhagen, Denmark, FHPC@ICFP 2012, September 9-15, 2012 |
FHPC@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremiah J. Willcock, Ryan R. Newton, Andrew Lumsdaine |
Avalanche: a fine-grained flow graph model for irregular applications on distributed-memory systems. |
FHPC@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt |
Seeing the futures: profiling shared-memory parallel racket. |
FHPC@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #61 of 61 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license