Filters








32,391 Hits in 6.1 sec

Cost semantics for space usage in a parallel language

Daniel Spoonhower
2007 Proceedings of the 2007 workshop on Declarative aspects of multicore architectures - DAMP '07  
We describe a framework for better understanding scheduling policies for fine-grained parallel computations and their effect on space usage.  ...  We use the framework to show that different schedules can lead to asymptotic differences in space usage.  ...  val (ls, gs) = (: filter (le x) xs, filter (gt x) xs :) in append (: qsort ls, x::(qsort gs) :) end Cost Semantics for Space Usage in a Parallel Language  ... 
doi:10.1145/1248648.1248655 dblp:conf/popl/Spoonhower07 fatcat:a5ibp3vxirewtcadqd5mkgodjq

Special Issue Dedicated to ICFP 2008 Editorial

PETER THIEMANN, HENRIK NILSSON
2010 Journal of functional programming  
In their paper Space profiling for parallel functional programs, Daniel Spoonhower, Guy Blelloch, Bob Harper and Phillip Gibbons pick up this challenge and present a semantics-based space profiler for  ...  This paper provides valuable insights for anyone interested in the formalisation of space usage in (parallel) functional programs and in applying such formalisations in practical tools.  ...  In their paper Space profiling for parallel functional programs, Daniel Spoonhower, Guy Blelloch, Bob Harper and Phillip Gibbons pick up this challenge and present a semantics-based space profiler for  ... 
doi:10.1017/s0956796810000250 fatcat:wmzkt5ihhrblvf37jskit7plpm

The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain [chapter]

Kevin Hammond, Greg Michaelson
2004 Lecture Notes in Computer Science  
This chapter describes the design of Hume: a domain-specific language targeting real-time embedded systems.  ...  , automatic memory management and domain-specific meta-programming features, whilst seeking to guarantee strong space/time behaviour and maintaining overall determinacy.  ...  Our sized time type-and-effect system is already capable of inferring theoretical costs in terms of reduction steps for higher-order polymorphic definitions [28] .  ... 
doi:10.1007/978-3-540-25935-0_8 fatcat:def6chg7ffctpio67p45swroce

Towards a streaming model for nested data parallelism

Frederik M. Madsen, Andrzej Filinski
2013 Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing - FHPC '13  
to be expressed in a space-efficient way, in the sense that memory usage on a single (or a few) processors is of the same order as for a sequential formulation of the algorithm, and in general scales  ...  We present a simple nested data-parallel functional language and associated cost semantics that retains NESL's intuitive workdepth model for time complexity, but also allows highly parallel computations  ...  for Financial Information Technology (hiperfit.dk) under contract number 10-092299.  ... 
doi:10.1145/2502323.2502330 dblp:conf/icfp/MadsenF13 fatcat:rqkmgka6yvep3evubr7vsfjqou

Space profiling for parallel functional programs

DANIEL SPOONHOWER, GUY E. BLELLOCH, ROBERT HARPER, PHILLIP B. GIBBONS
2010 Journal of functional programming  
This paper presents a semantic space profiler for parallel functional programs.  ...  It also provides a specification for language implementers. This is critical in that it enables us to separate cleanly the performance of the application from that of the language implementation.  ...  This work was funded in part by an IBM OCR grant, the Center for Computational Thinking sponsored by Microsoft, and a gift from Intel.  ... 
doi:10.1017/s0956796810000146 fatcat:6vzfa3dlibebfpcdw3a5gmms7q

Space profiling for parallel functional programs

Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons
2008 SIGPLAN notices  
This paper presents a semantic space profiler for parallel functional programs.  ...  It also provides a specification for language implementers. This is critical in that it enables us to separate cleanly the performance of the application from that of the language implementation.  ...  This work was funded in part by an IBM OCR grant, the Center for Computational Thinking sponsored by Microsoft, and a gift from Intel.  ... 
doi:10.1145/1411203.1411240 fatcat:2typtyruhrglzabbm4ljudv2uy

Space profiling for parallel functional programs

Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons
2008 Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08  
This paper presents a semantic space profiler for parallel functional programs.  ...  It also provides a specification for language implementers. This is critical in that it enables us to separate cleanly the performance of the application from that of the language implementation.  ...  This work was funded in part by an IBM OCR grant, the Center for Computational Thinking sponsored by Microsoft, and a gift from Intel.  ... 
doi:10.1145/1411204.1411240 dblp:conf/icfp/SpoonhowerBHG08 fatcat:ssyqeavyizevjmhnvllmaxsswi

A provable time and space efficient implementation of NESL

Guy E. Blelloch, John Greiner
1996 SIGPLAN notices  
For modeling the cost of NESL we augment a standard call-by-value operational semantics to return two cost measures: a DAG representing the sequential dependence in the computation, and a measure of the  ...  In this paper we prove time and space bounds for the implementation of the programming language NESL on various parallel machine models.  ...  Cost model. To model time and space in the semantics, we augment a standaxd call-by-value operational semantics to return two cost measures.  ... 
doi:10.1145/232629.232650 fatcat:vtpqheipw5giriosaqz5qiyd7e

A provable time and space efficient implementation of NESL

Guy E. Blelloch, John Greiner
1996 Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96  
For modeling the cost of NESL we augment a standard call-by-value operational semantics to return two cost measures: a DAG representing the sequential dependence in the computation, and a measure of the  ...  In this paper we prove time and space bounds for the implementation of the programming language NESL on various parallel machine models.  ...  Cost model. To model time and space in the semantics, we augment a standaxd call-by-value operational semantics to return two cost measures.  ... 
doi:10.1145/232627.232650 dblp:conf/icfp/BlellochG96 fatcat:bqaldcx3znbx5hrspij2rd5szq

Resource analyses for parallel and distributed coordination

P. W. Trinder, M. I. Cole, K. Hammond, H-W. Loidl, G. J. Michaelson
2011 Concurrency and Computation  
In this context, the main resources of interest are execution time, space and communication/synchronisation costs.  ...  A number of different resources are of interest for parallel and distributed systems, for example execution time for parallelism or power consumption in a network of low power devices such as sensors.  ...  to the PMLS resource analysis reported in Section 9.1.  ... 
doi:10.1002/cpe.1898 fatcat:abmlmqopxraofkdqbvk5r575ya

Semantic Solutions to Program Analysis Problems [article]

Sam Tobin-Hochstadt, David Van Horn
2011 arXiv   pre-print
Problems in program analysis can be solved by developing novel program semantics and deriving abstractions conventionally.  ...  For over thirty years, higher-order program analysis has been sold as a hard problem. Its solutions have required ingenuity and complex models of approximation.  ...  Acknowledgments: We are inspired in part by work with M. Might.  ... 
arXiv:1105.0106v1 fatcat:z3athpd4dzcqhbnavmnwqfi7oq

Problems with using MPI 1.1 and 2.0 as compilation targets for parallel language implementations

Dan Bonachea, Jason Duell
2004 International Journal of High Performance Computing and Networking  
to be the case for many other parallel languages as well.  ...  It would thus seem to offer a convenient "portable network assembly language" to developers of parallel programming languages who wish to target different network architectures.  ...  Introduction Global address-space (GAS) languages, such as Unified Parallel C (UPC) [10] , Titanium [31] , and Co-Array Fortran [27] , are an emerging class of languages that seek to give parallel application  ... 
doi:10.1504/ijhpcn.2004.007569 fatcat:s6hgbhq6xra7pb2tofekvew27a

Chameleon

Ohad Shacham, Martin Vechev, Eran Yahav
2009 Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09  
The main contributions of this paper can be summarized as follows: • A semantic profiler which tracks useful collection usage patterns across space and time.  ...  A collection implementation represents a fixed choice in the dimensions of operation time, space utilization, and synchronization.  ...  The semantic profiler in CHAMELEON produces a ranked list of allocation contexts in which there is a potential for space saving.  ... 
doi:10.1145/1542476.1542522 dblp:conf/pldi/ShachamVY09 fatcat:qfviiofcivailgu2qytv2nxfdu

Chameleon

Ohad Shacham, Martin Vechev, Eran Yahav
2009 SIGPLAN notices  
The main contributions of this paper can be summarized as follows: • A semantic profiler which tracks useful collection usage patterns across space and time.  ...  A collection implementation represents a fixed choice in the dimensions of operation time, space utilization, and synchronization.  ...  The semantic profiler in CHAMELEON produces a ranked list of allocation contexts in which there is a potential for space saving.  ... 
doi:10.1145/1543135.1542522 fatcat:wchtxewh6jebdlm7sdypxbc24u

Provably space-efficient parallel functional programming

Jatin Arora, Sam Westrick, Umut A. Acar
2021 Proceedings of the ACM on Programming Languages (PACMPL)  
We also prove a work bound of O(W + R * • P) for P-processor executions, accounting also for the cost of garbage collection.  ...  In this paper, we present provably space-efficient automatic memory management techniques for determinacyrace-free functional parallel programs, allowing both pure and imperative programs where memory  ...  We also thank our shepherd, Simon Peyton Jones, for making numerous suggestions to improve the paper.  ... 
doi:10.1145/3434299 fatcat:5jfmxlyqrzb4njw657wfqduh4y
« Previous Showing results 1 — 15 out of 32,391 results