June 2015 - Haskell - Haskell.org

Postdoc position in parallel/distributed functional programming
by Ryan Newton 16 Jun '15

16 Jun '15

Indiana University invites applications for a postdoctoral position in the programming languages research cluster (http://lambda.soic.indiana.edu/) with a possible dual affiliation with the Center for Research on Extreme Scale Technologies (CREST, http://crest.iu.edu/) The position is in Prof. Newton's research group and will emphasize parallel functional programming. Our group works on all aspects of parallel programming libraries and languages. One theme is extending and improving guaranteed-deterministic programming environments. Typical research projects include either (1) improvements to the GHC Haskell compiler, runtime, and library ecosystem or (2) work on domain-specific languages and compilers, frequently embedded in Haskell, and targeting backends like CUDA, LLVM, or OpenCL. Experience with any of the following would be a positive: Haskell development, GHC internals, compiler construction, FRP or stream processing, parallel programming and performance tuning, and purely functional parallelism.. General duties in this postdoctoral position include: software implementation and empirical evaluation; working with colleagues on large research infrastructure efforts; writing up and presenting research; mentoring junior group members; and pursuing new research directions within the context of overall group aims. The IU Bloomington School of Informatics and Computing is the first of its kind and among the largest in the country, with unsurpassed breadth. It includes the Dept. of Computer Science and Informatics and the Dept. of Information and Library Science, which comprise over 85 tenure-line faculty, 900 graduate students, and 1100 undergraduate majors. Located in the wooded rolling hills of southern Indiana, Bloomington is a culturally thriving college town with a moderate cost of living and the amenities for an active lifestyle. IU is renowned for its top-ranked Jacobs School of Music, high performance computing and networking facilities, and performing and fine arts. Indiana University is an equal employment and affirmative action employer and a provider of ADA services. All qualified applicants will receive consideration for employment without regard to age, ethnicity, color, race, religion, sex, sexual orientation or identity, national origin, disability status or protected veteran status. Indiana University is responsive to the needs of dual career couples. Applications will be accepted until the position is filled. Salary will be competitive for computer science postdocs in the United States. *Start date:* September 2015 or later. *Duration:* variable, but at least one year. Both inquiries and applications welcome. An application should consist of a CV, including publications, and a short written description explaining interest in and fit for the position, together with contact info for references who may be contacted as needed. All inquiries and application material should be sent to Ryan Newton (rrnewton(a)indiana.edu)

1 0

VISSOFT 2015 - Call for Papers: New Ideas or Emerging Results and Tool Demos
by Craig Anslow 15 Jun '15

15 Jun '15

--------------------------------------- VISSOFT 2015 - Call for Papers: New Ideas or Emerging Results and Tool Demos 3rd IEEE Working Conference on Software Visualization (VISSOFT) September 27-28, 2015, Bremen, Germany Paper submission date: June 29, 2015 Notification: July 31, 2015 http://vissoft.info Software visualization is a broad research area encompassing concepts, methods, tools, and techniques that assist in a range of software engineering and software development activities. Covered aspects include the development and evaluation of approaches for visually analyzing software and software systems, including their structure, execution behavior, and evolution. The VISSOFT IEEE Working Conference on Software Visualization continues the history of the ACM SOFTVIS Symposium on Software Visualization and the IEEE VISSOFT International Workshop on Visualizing Software for Understanding and Analysis. The conference focuses on visualization techniques that target aspects of software maintenance and evolution, program comprehension, reverse engineering, and reengineering, i.e., how visualization helps professionals to understand, analyze, test and evolve software. We aim to gather tool developers, experts, users, and researchers from software engineering, information visualization, computer graphics, and human-computer interaction to discuss theoretical foundations, algorithms, techniques, tools, and applications related to software visualization. Topics of interest include, but are not limited to: * Innovative visualization and visual analytics techniques for software engineering data, such as, - source code - static and dynamic dependencies - software evolution and repositories - software documentation - web services - protocol, log, and performance data - parallel techniques - database schemes - software security and privacy issues - workflow and business processes * Visualization to support program comprehension, software testing, and debugging * Interaction techniques and algorithms for software visualization * Visualization-based techniques in computer science and software engineering education * Integration of software visualization tools and development environments * Empirical evaluation of software visualization * Industrial experience on using software visualization VISSOFT features a New Ideas or Emerging Results (NIER) track and a Tool Demo track related to the list of topics suggested above. Papers are solicited that present original, unpublished research results and will be rigorously reviewed by an international program committee. The NIER contributions (New Ideas and Emerging Results) describe work-in-progress and preliminary exciting results. Authors should include open questions and even provocative hypotheses to get early feedback on their research ideas or even support through new research collaborations. Tool contributions describe the design or actual utilization of software visualization tools, with a focus on relevant tool construction aspects or the use of the tool for gaining new insights. Authors should be prepared to demonstrate their tool at the conference. The submission may also contain a link to a screencast (video). All accepted submissions will appear in the conference proceedings and the IEEE Digital Library. -== How to Submit ==- Both types of papers have to be maximum 5 pages long (including bibliography and annexes). Paper submission date: June 29, 2015 (previously: June 15, 2015) Notification: July 31, 2015 Submissions must be submitted online via the VISSOFT 2015 EasyChair conference management system at https://easychair.org/conferences/?conf=vissoft2015 Please adhere to the formatting instruction published on the ICSME website: http://www.icsme.uni-bremen.de/formatting.php -== Organizing Committee ==- General Chair: Jürgen Doellner, Hasso-Plattner-Institut, Germany Program Co-Chairs: Fabian Beck, University of Stuttgart, Germany Alexandre Bergel, University of Chile, Chile NIER/Tool Co-Chairs: Craig Anslow, Middlesex University, UK Johan Fabry, University of Chile, Chile NIER/Tool Program Committee: Bilal Alsallakh TU Vienna, Austria Jennifer Baldwin Swinburne University,Australia Ivan Beschastnikh University of British Columbia, Canada Usman Bhatti INRIA Lille / Synectique, France Michael Burch University of Stuttgart, Germany Andrei Chis Bern University, Switzerland Neville Churcher University of Canterbury, New Zealand Marcus Denker INRIA Lille, France Coen De Roover Vrije Universiteit Brussel, Belgium Jens Dietrich Massey University, New Zealand Bogdan Dit Boise State University, US Matthias Frisch Magdeburg University, Germany Maria-Elena Froese University of Victoria, Canada Michael Homer Victoria University of Wellington, New Zealand James A. Jones University of California, Irvine, US Adrian Kuhn AirBNB, US Jannik Laval Ecole Des Mines de Douai, France Paul Leger Universidad Catolica Del Norte, Chile Andrea Mocci University of Lugano, Switzerland Tim Molderez Vrije Universiteit Brussel, Belgium Chris Parnin NC State University, US Michael Perscheid HPI-Universtat Potsdam, Germany David Roethlisberger Universidad Diego Portales, Chile Christian Tominski University of Rostock, Germany ---------------------------------------

1 0

Haskell dev role in Strats at Standard Chartered London
by Don Stewart 15 Jun '15

15 Jun '15

I'm hiring another Haskell dev to join the Strats team in London. Details here: https://donsbot.wordpress.com/2015/06/15/haskell-dev-role-in-strats-at-stan…

1 0

Summer School on Generic and Effectful Programming (2nd call for participation)
by Maciej Pirog 15 Jun '15

15 Jun '15

Call for Participation SUMMER SCHOOL ON GENERIC AND EFFECTFUL PROGRAMMING St Anne's College, Oxford, 6th to 10th July 2015 http://www.cs.ox.ac.uk/projects/utgp/school/ TOPIC Generic programming is a technique that exploits the inherent structure that exists in data, to automatically produce efficient and flexible algorithms that can be adapted to suit different needs. The goal of this school is to explore datatype-generic programming and related topics from a variety of different angles, emphasizing in particular the interplay of generics and effects. This summer school is the closing activity of the EPSRC-funded project "Unifying Theories of Generic Programming" at Oxford University. LECTURERS Six lecturers from the Programming Languages community, each an acknowledged expert in their specialism, will cover various aspects of generic and effectful programming. Each will give about four hours' lectures, distributed throughout the week. Edwin Brady (University of St Andrews) "Embedded Domain-Specific Languages in Idris" Fritz Henglein (University of Copenhagen) "Worst-case Efficient Generic Functional Programming on Bulk Data" Andres Löh (Well-Typed) "Applying Type-level and Generic Programming in Haskell" Conor McBride (University of Strathclyde) "Datatypes of Datatypes" Don Syme (Microsoft Research) "Compile-time Meta-programming for the Information-rich World" Tarmo Uustalu (Tallinn University of Technology) "Containers for Effects and Contexts" PREREQUISITES The school is aimed at doctoral students in programming languages and related areas; however, researchers and practitioners will be very welcome, as will strong masters students with the support of a supervisor. It will be assumed that participants have a good understanding of typed functional programming, as in Haskell, O'Caml, or F#. DATES Registration deadline: 21st June 2015 School: 6th July (9am) to 10th July 2015 (lunchtime) COSTS Costs will be kept low, thanks to support from EPSRC. There will be a nominal registration fee of £135, and B&B accommodation in college will be £75 (ensuite) or £48 (shared bathroom) per night. We can accept at most 50 participants; places will be allocated on a first-come, first-served basis. FURTHER INFORMATION Further information, including instructions on how to register, is available at the website: http://www.cs.ox.ac.uk/projects/utgp/school/

1 0

Haskell developer role with Strats at Standard Chartered London
by Don Stewart 10 Jun '15

10 Jun '15

Hi all, I'm hiring (another) Haskell dev to join our team in London. Details here: https://donsbot.wordpress.com/2015/06/10/haskell-dev-role-in-strats-at-stan…

1 0

[ANN] Lentil - a frugal issue tracker
by Francesco Ariis 09 Jun '15

09 Jun '15

lentil - a frugal issue tracker If you litter your code with TODOs and FIXMEs, lentil [1] can help you make sense of that big mess into something nice and readable like: src/Lentil/File.hs 49 does upMan work windows? [feature:intermediate] src/Lentil/Parse.hs 26 eliminate lookahead? refactor parsing? [lint] [refactor] 54 add test for rotoscope [test] It supports tags, filtering, exporting and much more. Check the user manual [2] for more information. [1] http://hackage.haskell.org/package/lentil [2] http://www.ariis.it/static/articles/lentil-manual/page.html

1 0

ItaloHaskell, the Italian community
by vitalij_zad＠libero.it 09 Jun '15

09 Jun '15

ItaloHaskell is a project to form a community of Haskell programmers who live in Italy or speak Italian.The way I'd like to proceed is to form a critical mass online and then start meetups and conferences. There's a maling list here:https://groups.google.com/forum/#!forum/italohaskell A facebook group here:https://www.facebook.com/groups/ItaloHaskell/ A twitter account here:https://twitter.com/italo_haskell Please tell everyone who may be interested. Vitalij

1 0

AVoCS 2015: Extended Paper Deadline
by YuHui Lin 08 Jun '15

08 Jun '15

====================================================================== ---------------|*** AVoCS 2015: Deadline Extension ***|--------------- ====================================================================== *NEW* Submission of abstract (full papers): 15th June 2015 *NEW* Submission of full papers: 19th June 2015 ====================================================================== The 15th International Workshop on Automated Verification of Critical Systems 1-4 September 2015, Edinburgh, UK https://sites.google.com/site/avocs15/ avocs2015(a)easychair.org -----------------------|*** HIGHLIGHTS ***|---------------------------- + Invited talks by Colin O'Halloran (D-RisQ/Oxford) Don Sannella (Contemplate/Edinburgh) + AI4FM workshop including invited talk by J Strother Moore (Univerity of Texas at Austin) + Student support from FME/SICSA sponsorships + Proceedings to be published by EASST + Special issues of Science of Computer Programming ======================================================================= IMPORTANT DATES Submission of abstract (full papers): 15th June 2015 Submission of full papers: 19th June 2015 Notification (full papers): 14th July 2015 Submission of research idea papers: 7th August 2015 Notification (research idea): 14th August 2015 Early registration: 18th August 2015 Submissions of final versions: 21st August 2015 INVITED SPEAKERS Colin O'Halloran (D-RisQ & the University of Oxford) Don Sannella (Contemplate & the University of Edinburgh) SPONSORS Formal Methods Europe (FME) The Scottish Informatics & Computer Science Alliance (SICSA) BACKGROUND The aim of Automated Verification of Critical Systems (AVoCS) 2015 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. SCOPE The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques, or industrial case studies are encouraged. The technical programme will consist of invited and contributed talks and also allow for short presentations of research ideas. The workshop will be relatively informal, with an emphasis on discussion where special discussion sessions will be organised around the research ideas presentations. Topics include (but are not limited to): - Model Checking - Automatic and Interactive Theorem Proving - SAT, SMT or Constraint Solving for Verification - Abstract Interpretation - Specification and Refinement - Requirements Capture and Analysis - Verification of Software and Hardware - Specification and Verification of Fault Tolerance and Resilience - Probabilistic and Real-Time Systems - Dependable Systems - Verified System Development - Industrial Applications WORKSHOPS AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/ including invited talk by J Strother Moore (Univerity of Texas at Austin) VENUE The event will be held in the International Centre for Mathematical Sciences (ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world heritage site. STUDENT GRANTS Thanks to sponsorships from FME and SICSA we can offer financial support for a limited number of students registering for AVoCS in the form of a registration fee waiver (full or partial). As this is limited, we ask the students that would like to take the advantage of this support to submit a short application. The details on how to apply will be available in due course from the AVoCS webpage. SUBMISSION DETAILS Submissions of full papers to the workshop must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop. Submissions are handled via Easychair: https://easychair.org/conferences/?conf=avocs2015 The papers must be written in English and not exceed 15 pages and should use the dedicated AVoCS 2015 EASST template available rom the the following link (for LaTeX and Word): http://journal.ub.tu-berlin.de/eceasst AVoCS also encourages the submissions of research ideas in order to stimulate discussions at the workshop. Reports on ongoing work or surveys on work published elsewhere are welcome. The Programme Committee will select research ideas on the basis of submitted abstracts according to significance and general interest. Research ideas must be written in English and not exceed 2 pages using the EASST template. The presentation of these ideas will be organised around discussions, where the presenter should also prepare a set of question in which the audience will discuss. PROCEEDINGS At the workshop, pre-proceedings will be available in the form of a Heriot-Watt University Technical Report; this report will also include the research ideas. After the workshop, the authors of accepted full papers will have about one month in order to revise their papers for publication in the workshop post- proceedings which will appear in the Electronic Communications of the EASST Open Access Journal. Research ideas will not be part of the proceedings in the Open Access Journal. SPECIAL SCP JOURNAL ISSUE Authors of a selection of the best papers presented at the workshop will be invited to submit extended versions of their work for publication in a special issue of Elsevier's journal Science of Computer Programming. PROGRAM COMMITTEE Ernie Cohen, University of Pennsylvania, USA Ewen Denney, NASA Ames, USA Jean-Christophe Filliatre, CNRS, France Michael Goldsmith, University of Oxford, UK Gudmund Grov, Heriot-Watt University, UK (co-chair) Keijo Heljanko, Aalto University, Finland Mike Hinchey, University of Limerick, Ireland Marieke Huisman, University of Twente, Netherlands Andrew Ireland, Heriot-Watt University, UK (co-chair) Gerwin Klein, NICTA/UNSW, Australia Thierry Lecomte, ClearSy, France Peter Gorm Larsen, Aarhus University, Denmark Panagiotis (Pete) Manolios, Northeastern University, USA Stephan Merz, INRIA Nancy & LORIA, France Jaco van de Pol, University of Twente, Netherlands Markus Roggenbach, Swansea University, UK Marco Roveri, FBK, Italy Thomas Santen, Microsoft Research, Germany Bernard Steffen, Technical University Dortmund, Germany Jan Strejček, Masaryk University, Czech Republic Jun Sun, Singapore University of Technology and Design, Singapore Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France Helen Treharne, University of Surrey, UK Laurent Voisin, Systerel, France Angela Wallenburg, Altran, UK John Wickerson, Imperial College London, UK Peter Ölveczky, University of Oslo, Norway ORGANISERS Gudmund Grov, Heriot-Watt University, UK Andrew Ireland, Heriot-Watt University, UK Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair) STEERING COMMITTEE Michael Goldsmith, University of Oxford, UK Stephan Merz, INRIA Nancy & LORIA, France Markus Roggenbach, Swansea University, UK ----- We invite research leaders and ambitious early career researchers to join us in leading and driving research in key inter-disciplinary themes. Please see www.hw.ac.uk/researchleaders for further information and how to apply. Heriot-Watt University is a Scottish charity registered under charity number SC000278.

1 0

ANN: nonce package
by Felipe Lessa 07 Jun '15

07 Jun '15

(Please forgive me if you received multiple copies of this e-mail.) Hello, The nonce package [1] contains functions to easily generate cryptographic nonces for many situations. Some places where these generated nonces can be used include: - Password recovery e-mail tokens. - XSRF protection tokens. - Session IDs sent on cookies. - Initialization vectors. It uses an AES CPRNG periodically reseeded from /dev/urandom (or equivalent). It has no frills, no knobs, so it's hard to misuse. It's been available for an year but I just realized I've never properly announced it. Regrettably, I've seen many uses of the random package (System.Random) when generating nonces. It's a bad choice: it is not a cryptographically secure PRNG, contains low entropy (64-bit state), and its default usage is seeded predictably (using a constant seed). Please avoid using the random package for generating nonces at all costs. In its stead, use the nonce package or something similar. Cheers, [1] http://hackage.haskell.org/package/nonce -- Felipe.

3 3

APLAS 2015: deadline extension
by Xinyu Feng 05 Jun '15

05 Jun '15

** DEADLINE EXTENSION FOR SUBMISSIONS TO APLAS 2015: ** - Paper submission deadline: June 15, 2015. ********************************************************************* APLAS 2015, Call for Papers 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015 < http://pl.postech.ac.kr/aplas2015/> ********************************************************************* *IMPORTANT DATES* Submission deadline: June 15, 2015 Author notification: August 17, 2015 Final version: September 7, 2015 Conference: November 30 - December 2, 2015 *INVITED SPEAKERS* Peter O'Hearn, Facebook Sukyoung Ryu, KAIST Eran Yahav, Technion Hongseok Yang, University of Oxford *ABOUT* APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Singapore ('14), Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. *TOPICS* The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory * design of languages, type systems and foundational calculi * domain-specific languages * compilers, interpreters, abstract machines * program derivation, synthesis and transformation * program analysis, verification, model-checking * logic, constraint, probabilistic and quantum programming * software security * concurrency and parallelism * tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. *SUBMISSION* We solicit submissions in two categories: a) Regular research papers - describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. b) System and tool presentations - describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page <https://easychair.org/conferences/?conf=aplas2015> using EasyChair. Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. *ORGANIZERS* General Chair: Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea) Program Chair: Xinyu Feng (Univ. of Science and Technology of China, China) Program Committee: James Brotherston (Univ. College London, UK) James Cheney (Univ. of Edinburgh, UK) Huimin Cui (Institute of Computing Technology, CAS, China) Mike Dodds (Univ. of York, UK) Xinyu Feng (Univ. of Science and Technology of China, China) Nate Foster (Cornell Univ., USA) Alexey Gotsman (IMDEA Software Institute, Spain) Aquinas Hobor (School of Computing, National Univ. of Singapore / Yale-NUS College) Chung-Kil Hur (Seoul National Univ., Korea) Radha Jagadeesan (DePaul Univ., USA) Annie Liu (Stony Brook Univ., USA) Andreas Lochbihler (ETH Zurich, Switzerland) Santosh Nagarakatte (Rutgers Univ., USA) David A. Naumann (Stevens Inst. of Tech., USA) Michael Norrish (NICTA, Australia) Hakjoo Oh (Korea Univ., Korea) Murali Krishna Ramanathan (Indian Institute of Science, India) Xavier Rival (CNRS / ENS / INRIA, France) Kohei Suenaga (Kyoto Univ., Japan) Gang Tan (Lehigh Univ., USA) Alwen Tiu (Nanyang Technological University, Singapore) Martin Vechev (ETH Zurich, Switzerland) Bow-Yaw Wang (Academia Sinica, Taiwan) Nobuko Yoshida (Imperial College London, UK) Lijun Zhang (Institute of Software, CAS, China)

1 0