Secd-m: a virtual machine for applicative programming
Proc. of a conference on Functional programming languages and computer architecture
Pomset interpretations of parallel function programs
Proc. of a conference on Functional programming languages and computer architecture
An O(n2 log n) parallel max-flow algorithm
Journal of Algorithms
Graphinators and the duality of SIMD and MIMD
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Parallel implementations of functional programming languages
The Computer Journal - Special issue on Lazy functional programming
Strictness analysis aids time analysis
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Vector models for data-parallel computing
Vector models for data-parallel computing
A report on the Sisal language project
Journal of Parallel and Distributed Computing - Special issue: data-flow processing
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
A composition approach to time analysis of first order lazy functional programs
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Converting high probability into nearly-constant time—with applications to parallel hashing
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Journal of Computer and System Sciences
Parallel algorithms for shared-memory machines
Handbook of theoretical computer science (vol. A)
Towards a theory of nearly constant time parallel algorithms
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Polymorphic time systems for estimating program complexity
ACM Letters on Programming Languages and Systems (LOPLAS)
Journal of the ACM (JACM)
LogP: towards a realistic model of parallel computation
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
The dataflow time and space complexity of FFTs
Journal of Parallel and Distributed Computing - Special issue on dataflow and multithreaded architectures
Constant time factors do matter
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Static dependent costs for estimating execution time
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
A cost calculus for parallel functional programming
Journal of Parallel and Distributed Computing
The Parallel Evaluation of General Arithmetic Expressions
Journal of the ACM (JACM)
A Conflict Between Call-by-Need Computation and Parallelism
CTRS '94 Proceedings of the 4th International Workshop on Conditional and Typed Rewriting Systems
Parallelism in random access machines
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
A Parallel Complexity Model for Functional Languages
A Parallel Complexity Model for Functional Languages
NESL: A Nested Data-Parallel Language (Version 2.6)
NESL: A Nested Data-Parallel Language (Version 2.6)
Fluent parallel computation
Provably efficient scheduling for languages with fine-grained parallelism
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
Programming parallel algorithms
Communications of the ACM
A provable time and space efficient implementation of NESL
Proceedings of the first ACM SIGPLAN international conference on Functional programming
A provably time-efficient parallel implementation of full speculation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Provably efficient scheduling for languages with fine-grained parallelism
Journal of the ACM (JACM)
A provably time-efficient parallel implementation of full speculation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software Geography: Physical and Economic Aspects
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
On bounding time and space for multiprocessor garbage collection
ACM SIGPLAN Notices - Best of PLDI 1979-1999
A proposal for parallel self-adjusting computation
Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Space profiling for parallel functional programs
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
A cost semantics for self-adjusting computation
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Algorithms and theory of computation handbook
Space profiling for parallel functional programs
Journal of Functional Programming
Oracle scheduling: controlling granularity in implicitly parallel languages
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Cache and I/O efficent functional algorithms
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
| Hi-index | 0.02 |