[Haskell] Ph.D. Position on Analysis of Energy Consumption of High-Level Programs

2015-09-21 Thread Morten Rhiger
The following position may be of interest to students with a
background in functional programming:

A Ph.D. position is available at Roskilde University, Denmark, on
"Analysis of energy consumption of high-level programs running on
parallel architectures" starting December 1, 2015 or as soon as
possible thereafter.

The goal of the Ph.D. project is to reduce the energy usage of
programs implemented in high-level and declarative programming
languages (such as side-effect free, statically typed, data-flow,
functional, or domain-specific languages) by (1) studying and
developing static analyses of such programs and (2) utilizing the
results of these analyses to implement the programs on modern parallel
architectures.

Applicants are expected to be familiar with high-level programming
paradigms, program analysis, type systems, and programming language
implementation techniques.

The Ph.D. position is funded by the Sino-Danish Center
(http://www.sinodanishcenter.com/) and the Ph.D. position will involve
extended stays at the Chinese Academy of Sciences in Beijing.

The deadline for applications is Friday October 16, 2015.

For more information and to apply for the position, see

http://www.ruc.dk/job/phd/
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell


[Haskell] SPLASH 2015 - 2nd Call For Participation

2015-09-21 Thread Tijs van der Storm
/*/
ACM Conference on Systems, Programming, Languages, and Applications:
  Software for Humanity (SPLASH'15)

  Pittsburgh, Pennsylvania, USA
  25th-30th October, 2015

  http://www.splashcon.org
  https://twitter.com/splashcon
  https://www.facebook.com/SPLASHCon

  Sponsored by ACM SIGPLAN

/**
2nd CALL FOR PARTICIPATION
**/

The ACM SIGPLAN conference on Systems, Programming, Languages and
Applications: Software for Humanity (SPLASH) embraces all aspects of
software construction and delivery to make it the premier conference at the
intersection of programming, languages, and software engineering. SPLASH is
now inviting calls for participation.


** REGISTRATION **
28 September 2015 (Early Deadline)
Contact: i...@splashcon.org
http://2015.splashcon.org/attending/registration


** CONFERENCE PROGRAM **
http://2015.splashcon.org/program/program-splash2015


** KEYNOTE Speakers **

We are delighted to announce the following keynote speakers at SPLASH 2015:

- Nick Feamster (Princeton University): Tomorrow’s Network Operators Will
Be Programmers
- Lars Bak (Google): How Dart Learned From Past Object-Oriented Systems
- Rob DeLine (Microsoft Research): Modern software is all about data.
Development environments should be, too.

http://2015.splashcon.org/track/splash2015-keynotes


**SPLASH-I Speakers **

SPLASH-I is a series of industrial research talks that address topics
relevant to the SPLASH community. Speakers are world-class experts in their
field, selected and invited by the organizers. The SPLASH-I talks series is
held in parallel with the OOPSLA main track. Talks are open to all
attendees.

- Avik Chaudhuri (Facebook): Flow: a static type checker for JavaScript
- Hassan Chafi (Oracle Labs): Domain Specific Languages @ Oracle Labs:
Current Experiences, Future Hopes
- Chris Granger: Eve
- Shan Shan Huang (LogicBlox): Model, Execute, Deploy: Answering the Hard
Questions about End-user Programming
- Lindsey Kuper (Intel Labs): Prospect: Finding and Exploiting Parallelism
in a Productivity Language for Scientific Computing
- Simon Marlow (Facebook): Fighting Spam with Haskell
- Mark S. Miller (Google): Security as Extreme Modularity: A Standards
Shaping Approach
- Eliot Miranda (Cadence): Spur: Efficient Support for Live Programming in
Dynamic Languages
- Markus Voelter (independent): Language-Oriented Business Applications:
Helping End Users become Programmers
- Josh Watzman (Facebook): Changing Engines in Flight: Facebook's
Conversion to Hack
- Peng Wu (Huawei America Lab): When CT meets IT: Programming Challenges in
the age of ICT Convergence

http://2015.splashcon.org/track/splash2015-splash-i


** OOPSLA Research Papers**
Papers that address any aspect of software development are welcome,
including requirements, modeling, prototyping, design, implementation,
generation, analysis, verification, testing, evaluation, maintenance,
reuse, replacement, and retirement of software systems. Papers may address
these topics in a variety of ways, including new tools (such as languages,
program analyses, and runtime systems), new techniques (such as
methodologies, design processes, code organization approaches, and
management techniques), and new evaluations (such as formalisms and proofs,
corpora analyses, user studies, and surveys).

http://2015.splashcon.org/track/oopsla2015

** Onward! Research Papers **
Onward! is a premier multidisciplinary conference focused on everything to
do with programming and software: including processes, methods, languages,
communities, and applications. Onward! is more radical, more visionary, and
more open than other conferences to ideas that are well-argued but not yet
proven. We welcome different ways of thinking about, approaching, and
reporting on programming language and software engineering research.

http://2015.splashcon.org/track/onward2015-papers


** Onward! Essays **
Onward! Essays is looking for clear and compelling pieces of writing about
topics important to the software community. An essay can be an exploration
of a topic, its impact, or the circumstances of its creation; it can
present a personal view of what is, explore a terrain, or lead the reader
in an act of discovery; it can be a philosophical digression or a deep
analysis. It can describe a personal journey, perhaps that by which the
author reached an understanding of such a topic. The subject area should be
interpreted broadly and can include the relationship of software to human
endeavors, or its philosophical, sociological, psychological, historical,
or anthropological underpinnings.

http://2015.splashcon.org/track/onward2015-essays

** DLS - Dynamic Languages Symposium **
DLS is the premier forum for researchers and practitioners to share
knowledge and research on dynamic languages, their