Copy elimination in single assignment languages
Copy elimination in single assignment languages
Why functional programming matters
The Computer Journal - Special issue on Lazy functional programming
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
Functional programming: practice and theory
Functional programming: practice and theory
Executing a Program on the MIT Tagged-Token Dataflow Architecture
IEEE Transactions on Computers
A report on the Sisal language project
Journal of Parallel and Distributed Computing - Special issue: data-flow processing
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Update analysis and the efficient implementation of functional aggregates
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
The aggregate update problem in functional programming systems
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A practical interprocedural data flow analysis algorithm
Communications of the ACM
Graph transformation algorithms for array memory optimization in applicative languages
Graph transformation algorithms for array memory optimization in applicative languages
Compilation techniques for high-performance applicative computation
Compilation techniques for high-performance applicative computation
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
The role of APL and J in high-performance computation
APL '93 Proceedings of the international conference on APL
A model for dataflow based vector execution
ICS '94 Proceedings of the 8th international conference on Supercomputing
Parallel destructive updating in strict functional languages
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Two issues in parallel language design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Integrating parallel dataflow programming with the Ada tasking model
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Advanced Array Optimizations for High Performance Functional Languages
IEEE Transactions on Parallel and Distributed Systems
High-performance visual programming environments: goals and considerations
ACM SIGGRAPH Computer Graphics - Special focus: modular visualization environments (MVEs)
A Scalable Scheduling Scheme for Functional Parallelism on Distributed Memory Multiprocessor Systems
IEEE Transactions on Parallel and Distributed Systems
Report of a workshop on future directions in programming languages and compilers
ACM SIGPLAN Notices
ICS '95 Proceedings of the 9th international conference on Supercomputing
ACM Computing Surveys (CSUR)
Declarative Ada: parallel dataflow programming in a familiar context
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Auto-blocking matrix-multiplication or tracking BLAS3 performance from source code
PPOPP '97 Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming
Analysis-based program transformations
ACM SIGSOFT Software Engineering Notes
More types for nested data parallel programming
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
A Framework for the Design and Implementation of FFT Permutation Algorithms
IEEE Transactions on Parallel and Distributed Systems
The Sisal project: real world functional programming
Compiler optimizations for scalable parallel systems
A functional approach to radix-r FFTS
Progress in computer research
Efficient Parallel Execution of Irregular Recursive Programs
IEEE Transactions on Parallel and Distributed Systems
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
A functional approach to radix-r FFTS
Progress in computer research
Parallel Implementations of the Selection Problem: A Case Study
International Journal of Parallel Programming
Sassy: A Language and Optimizing Compiler for Image Processing on Reconfigurable Computing Systems
ICVS '99 Proceedings of the First International Conference on Computer Vision Systems
Implementing the NAS Benchmark MG in SAC
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Nepal - Nested Data Parallelism in Haskell
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Towards a Computational Model for UFO
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Progress Report on Porting Sisal to the EM-4 Multiprocessor
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
HPF vs. SAC - A Case Study (Research Note)
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
The Sisal Model of Functional Programming and its Implementation
PAS '97 Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
IWIA '99 Proceedings of the 1999 International Workshop on Innovative Architecture
Comparing Parallel Functional Languages: Programming and Performance
Higher-Order and Symbolic Computation
Enterprise in context: assessing the usability of parallel programming environments
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Single Assignment C: efficient support for high-level array operations in a functional setting
Journal of Functional Programming
Parallel and Distributed Haskells
Journal of Functional Programming
On the effectiveness of functional language features: NAS benchmark FT
Journal of Functional Programming
Loci: a rule-based framework for parallel multi-disciplinary simulation synthesis
Journal of Functional Programming
Shared memory multiprocessor support for functional array processing in SAC
Journal of Functional Programming
Efficient implementation of aggregates in united functions and objects
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
SAC: a functional array language for efficient multi-threaded execution
International Journal of Parallel Programming
Automatic choice of scheduling heuristics for parallel/distributed computing
Scientific Programming
SAC: off-the-shelf support for data-parallelism on multicores
Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Compiling Functional Parllelism on a Family of Distributed Memory Architectures
ICPP '94 Proceedings of the 1994 International Conference on Parallel Processing - Volume 01
Communications of the ACM
Processor virtualization and split compilation for heterogeneous multicore embedded systems
Proceedings of the 47th Design Automation Conference
A functional programming system for supporting parallel programming
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Sisal 3.2 language features overview
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Scalable parallel interval propagation for sparse constraint satisfaction problems
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
a functional programming system SFP: sisal 3.1 language structures decomposition
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
High-performance design patterns for modern Fortran
SE-HPCCSE '13 Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering
| Hi-index | 48.23 |