Haskell#: Parallel Programming Made Simple and Efficient

by Francisco Carvalho-Junior

Journal of Universal Computer Science
Volume 9, Issue 8

This paper presents the final result of the designing of a new specification for the Haskell# Language, including new... more

Download (.pdf) (165kb) Quick view View on jucs.org

A Type System for Parallel Components

by Francisco Carvalho-Junior

The first paper we have written about HTS (Hash Type System), in 2009, the type system of the HPE platform. It was not published.

The # component model was proposed to improve the practice of parallel programming. This paper introduces a type... more

Parallelizing MCP-Haskell for Evaluating Haskel# Parallel Programming Environment

by Francisco Carvalho-Junior

Proceedings of the 2001 Brazilian Symposium on Computer Architectures and High Performance Computing (SBAC-PAD'2001)

In this paper, we present the parallelization of a sequential functional implementation of a Monte Carlo Transport... more

Coordinating Functional Processes with Haskell#

by Francisco Carvalho-Junior

Proceedings of the 2002 ACM symposium on Applied computing (SAC'2002)
Special Track on Coordination Models and Languages

This paper presents Haskell#, a parallel functional language based on coordination. Haskell# supports lazy stream... more

Design and Implementation of an Environment for Component-Based Parallel Programming

by Francisco Carvalho-Junior

Lecture Notes in Computer Science
Volume 4395, pages 184-197, 2007
DOI: 10.1007/978-3-540-71351-7_15

Motivated by the inadequacy of current parallel programming artifacts, the # component model was proposed to meet the... more

Using Aspects for Supporting Procedural Modules in # Programming

by Francisco Carvalho-Junior

Lecture Notes in Computer Science
Vol. 3648, pages 730-739.
January 2005

Proceedings of Euro-Par'2005

Parallel programming still demands for higher-level lan- guages, models, and tools that do not incur in performance... more

A Component Model for High Level and Efficient Parallel Programming on Distributed Architectures

by Francisco Carvalho-Junior

Proceedings of 2005 IADIS International Conference on Applied Computing (IADIS'2005)
Volume 2
June 2005

The computer science community has claimed for parallel languages and models with a higher level of abstraction and... more

High Level Service Connectors for Components-Based High Performance Computing

by Francisco Carvalho-Junior

Proceeding of the 19th International Symposium on on Computer Architecture and High Performance Computing, 2007 (SBAC-PAD 2007).

Component-based programming has been applied to address the requirements of applications in high performance computing... more

Separation of Concerns for Improving the Practice of Parallel Programming

by Francisco Carvalho-Junior

INFORMATION, An International Journal
Volume 8, Number 5, pp. 621-638
2005

The computer science community has been looking for parallel languages and models with a higher level of abstraction... more

A Language for Object-Oriented Parallel Programming Targeted at Cluster Computing Platforms

by Francisco Carvalho-Junior

Proceedings of the 14th Brazilian Symposium on Programming Languages (SBLP'2010)

In object-oriented (OO) languages, the ability to encapsulate software concerns of the dominant decomposition in... more

The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming

by Francisco Carvalho-Junior

Proceedings of ACM Symposium on Applied Computing (SAC'2005)
Special Track on Separation of Concerns (SoC)

The computer science community has been looking for parallel languages and models with a higher level of abstraction... more

On the implementation of SPMD applications using Haskell#

by Francisco Carvalho-Junior

Proceedings of the 15th Brazilian Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2003)

Commodities-built clusters, a low cost alternative for distributed parallel processing, brought high-performance... more

A High Performance Computing Platform for Component-Based Parallel Programming

by Francisco Carvalho-Junior

I Worshop on Languages and Tools for Parallel and Distributed Programming (LTPD'2007)
Gramado, Brazil

Component-based programming has been applied to address the requirements of High Performance Computing (HPC)... more

Compositional Specification of Parallel Components Using Circus

by Francisco Carvalho-Junior

Electronic Notes in Theoretical Computer Science
Volume 260, 1 January 2010, Pages 47–72

Proceedings of the 5th International Workshop on Formal Aspects of Component Software (FACS'2008)

The # (hash) component model aims to take advantage of a component-based perspective of software for the development... more

Towards an architecture for component‐oriented parallel programming

by Francisco Carvalho-Junior

Concurrency and Computation: Practice & Experience - Component and Framework Technology in High-Performance and Scientific Computing
Volume 19 Issue 5, April 2007
John Wiley and Sons Ltd. Chichester, UK

The # component model was proposed to meet the growing demands of new complex applications of science and engineering... more

Topological Skeletons in Haskell#

by Francisco Carvalho-Junior

Proceedings of 2003 International Parallel and Distributed Processing Symposium (IPDPS'2003)

Skeletons is a powerful concept to describe patterns of concurrency in programming, abstracting from implementation.... more

Component-Based Refactoring of Parallel Numerical Simulation Programs: A Case Study on Component-Based Parallel Programming

by Francisco Carvalho-Junior

23rd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2011)

Component-based programming has been applied to address the requirements of large scale applications from sciences and... more

A categorical characterization for the compositional features of the # component model

by Francisco Carvalho-Junior

ACM SIGSOFT Software Engineering Notes Homepage
Volume 31 Issue 2, March 2006
ACM New York, NY, USA

SAVCBS '05 (Proceedings of the 2005 conference on Specification and verification of component-based systems)

The # programming model attempts to address the needs of the high performance computing community for new paradigms... more

The# Model for Parallel Programming: From Processes To Components with Insignificant Performance Overheads

by Francisco Carvalho-Junior

II Workshop on Components and Frameworks for High Performance Computing (CompFrame'2005)

The computer science community has claimed for parallel programming languages and models with a higher level of... more

Computação de Alto Desempenho em Plataforma Windows

by Francisco Carvalho-Junior

Tutorial apresentado no SBPL'2007 (Simpósio Brasileiro de Linguagens de Programação), realizado na cidade de Natal, Brasil, a convite da Microsoft.

Nos últimos anos, a indústria do software tem abordado com ênfase o nicho de aplicações de computação de alto... more

x

Log In

or reset password

Need an account? Click here to sign up

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012