(j3.2006) [Fwd: SIGPLAN Posting (Upcoming Events and Deadlines)]

[Bill Long]

Noteworthy goal of the program:

Research is needed in: (a) design of new programming languages, program logics, type theories, and language mechanisms that support new computational and data models, raise the level of abstraction, and have programmability, verifiability, modularity, compositionality, and scalable performance as design goals;

Not clear why ?new programming languages? are needed to accomplish what is mostly already available.  Maybe they would fund Damian to have him explain this to them. 

Cheers,
Bill


On Nov 19, 2015, at 8:04 PM, Van Snyder <van.snyder at jpl.nasa.gov> wrote:

> 
> TITLE:    Exploiting Parallelism and Scalability (XPS) (nsf16507) |
>           NSF - National Science Foundation
> 
> Program Solicitation:
> NSF 16-507
> http://www.nsf.gov/pubs/2016/nsf16507/nsf16507.htm
> 
> Full Proposal Deadline Date:
> January 19, 2016 (5 p.m. proposer's local time)
> 
> SYNOPSIS
> 
> Computing systems have undergone a fundamental transformation from the
> single-core processor-devices of the turn of the century to today's
> ubiquitous and networked-devices with multicore/many-core processors
> along with warehouse-scale computing via the cloud. At the same time,
> semiconductor technology is facing fundamental physical limits and
> single-processor performance has plateaued. This means that the
> ability to achieve predictable performance improvements through
> improved processor technologies alone has ended. Thus, parallelism has
> become critically important.
> 
> The Exploiting Parallelism and Scalability (XPS) program aims to
> support groundbreaking research leading to a new era of parallel
> computing. Achieving the needed breakthroughs will require a
> collaborative effort among researchers representing all areas -- from
> services and applications down to the micro-architecture -- and will
> be built on new concepts, theories, and foundational principles. New
> approaches to achieving scalable performance and usability need new
> abstract models and algorithms, new programming models and languages,
> and new hardware architectures, compilers, operating systems and
> run-time systems, and must exploit domain and application-specific
> knowledge. Research is also needed on energy efficiency, communication
> efficiency, and on enabling the division of effort between edge
> devices and clouds.
> 
> 
> _______________________________________________
> J3 mailing list
> J3 at mailman.j3-fortran.org
> http://mailman.j3-fortran.org/mailman/listinfo/j3

Bill Long                                                                       longb at cray.com
Fortran Technical Support  &                                  voice:  651-605-9024
Bioinformatics Software Development                     fax:  651-605-9142
Cray Inc./ Cray Plaza, Suite 210/ 380 Jackson St./ St. Paul, MN 55101