Daniel Santa Cruz | 21 Aug 06:20 2014

Haskell Weekly News: Issue 302

Welcome to issue 302 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers
from August 3 to 16, 2014

Quotes of the Week

   * alpha123: I don't think I have the gonads for monads. :(

   * edwardk: There is nothing Natural about a Word. 

   * bernalex: I very often have to deal with people who think 
            I'm pretentious for caring about what programming 
      language I use. "it's just programming". lol.
     sopvop: I used to think the same
     sopvop: Then haskell corrupted me
     sopvop: Haskell is a ghetto

Top Reddit Stories

   * ಠ_ಠ :: String -> a
     Domain: hackage.haskell.org, Score: 122, Comments: 56
     Original: [1] http://goo.gl/S87evt
     On Reddit: [2] http://goo.gl/vsfwgr

   * An inspiring Haskell story: the green screen of FP
     Domain: keera.co.uk, Score: 120, Comments: 13
     Original: [3] http://goo.gl/z8Aecw
     On Reddit: [4] http://goo.gl/fevzzz

   * Haskell Platform 2014.2.0.0 is released
     Domain: haskell.org, Score: 117, Comments: 56
     Original: [5] http://goo.gl/Wc6TAF
     On Reddit: [6] http://goo.gl/hMPM7F

   * criterion 1.0: a major new release
     Domain: serpentine.com, Score: 110, Comments: 13
     Original: [7] http://goo.gl/7Qf3ox
     On Reddit: [8] http://goo.gl/Pa9fCW

   * What’s a module system good for anyway?
     Domain: blog.ezyang.com, Score: 102, Comments: 20
     Original: [9] http://goo.gl/qtm97E
     On Reddit: [10] http://goo.gl/XlWrM2

   * Easy Haskell Profiling
     Domain: danielvelkov.blogspot.com, Score: 83, Comments: 33
     Original: [11] http://goo.gl/SWdxdC
     On Reddit: [12] http://goo.gl/z6clxp

   * Type Theory Podcast: Peter Dybjer on QuickCheck, verification, 
     and semantics
     Domain: typetheorypodcast.com, Score: 57, Comments: 21
     Original: [13] http://goo.gl/jN12Ak
     On Reddit: [14] http://goo.gl/tLVPpw

   * Fantasy World Haskell
     Domain: self.haskell, Score: 52, Comments: 165
     Original: [15] http://goo.gl/UmJLhG
     On Reddit: [16] http://goo.gl/UmJLhG

   * Haskell for all: managed-1.0.0: A monad for managed resources
     Domain: haskellforall.com, Score: 51, Comments: 10
     Original: [17] http://goo.gl/tbw8JN
     On Reddit: [18] http://goo.gl/cKB6xZ

   * Announcing auto-update
     Domain: yesodweb.com, Score: 47, Comments: 4
     Original: [19] http://goo.gl/xhlw04
     On Reddit: [20] http://goo.gl/GO6udg

   * Codeworld: An open-source educational programming environment 
     using Haskell
     Domain: github.com, Score: 47, Comments: 8
     Original: [21] http://goo.gl/7NTgnF
     On Reddit: [22] http://goo.gl/wJBgw5

   * PureScript By Example
     Domain: leanpub.com, Score: 46, Comments: 25
     Original: [23] http://goo.gl/vzcfP6
     On Reddit: [24] http://goo.gl/p3gkEB

   * Lenses from the ground up
     Domain: taylor.fausak.me, Score: 45, Comments: 43
     Original: [25] http://goo.gl/S31V8w
     On Reddit: [26] http://goo.gl/DAGBPz

   * Algebraic Terraforming: Trees from Magma
     Domain: fpcomplete.com, Score: 42, Comments: 22
     Original: [27] http://goo.gl/1nGpnz
     On Reddit: [28] http://goo.gl/iX8ZST

   * Denotational Design: from meanings to programs By Conal Elliott 
     at BayHac (Video)
     Domain: youtube.com, Score: 42, Comments: 5
     Original: [29] http://goo.gl/rHeDrK
     On Reddit: [30] http://goo.gl/SLCZ5D

   * Just LOOK at the humongous type that Hindley-Milner infers for 
     this tiny program!
     Domain: spacemanaki.com, Score: 38, Comments: 27
     Original: [31] http://goo.gl/cAypnJ
     On Reddit: [32] http://goo.gl/ztDpK7

   * Recommended Reading Material
     Domain: reinh.com, Score: 37, Comments: 12
     Original: [33] http://goo.gl/LwGkEr
     On Reddit: [34] http://goo.gl/ED5pqI

   * (Monoidal) transducers are monoid homomorphisms
     Domain: oleksandrmanzyuk.wordpress.com, Score: 37, Comments: 43
     Original: [35] http://goo.gl/VPDl6Y
     On Reddit: [36] http://goo.gl/5RY9Nf

   * λ Lessons: Pattern matching, first-class functions, and abstracting 
     over recursion in Haskell
     Domain: stevekrouse.github.io, Score: 36, Comments: 3
     Original: [37] http://goo.gl/NkxhS5
     On Reddit: [38] http://goo.gl/4275GH

Top StackOverflow Questions

   * What are the problems with an ADT encoding that associates types with 
     data constructors? (Such as Scala.)
     votes: 41, answers: 1
     Read on SO: [39] http://goo.gl/k4bw4R

   * Why is Haskell missing “obvious” Typeclasses
     votes: 26, answers: 7
     Read on SO: [40] http://goo.gl/2YElO8

   * Is there a way to elegantly represent this pattern in Haskell?
     votes: 22, answers: 6
     Read on SO: [41] http://goo.gl/sQdRMt

   * Why does Scala not have a return/unit function defined for each monad 
     (in contrast to Haskell)?
     votes: 16, answers: 4
     Read on SO: [42] http://goo.gl/MQlZTi

   * How did Haskell add Turing-completeness to System F?
     votes: 15, answers: 1
     Read on SO: [43] http://goo.gl/weJo4Z

   * How to avoid superfluous variables in do notation?
     votes: 14, answers: 2
     Read on SO: [44] http://goo.gl/b3IgC5

Until next time,
[45]+Daniel Santa Cruz


Haskell mailing list
Haskell <at> haskell.org
Edward Kmett | 18 Aug 10:16 2014

CUFP 2014: Call For Participation



Commercial Users of Functional Programming (CUFP) 2014 at ICFP 2014; 

Gothenburg, Sweden, Sep 4-6.




Functional programming has been at the forefront of a new generation 

of programming technologies: Companies employing functional 

programming use it to enable more effective, robust, and flexible 

software development. 

The annual CUFP workshop is designed to serve the growing community of 

commercial users of functional programming: Practitioners meet and 

collaborate; language designers and users can share ideas about the 

future of their languages; experts share their expertise on practical 

functional programming. 

CUFP 2014 begins with two days of tutorials by top-notch 

language experts including advanced tutorials on special topics,

followed by a day of talks about industrial applications of 

functional programming.

More information about CUFP 2014 is available on the CUFP web site at 


Registration is available at: 




T1: Programming with Dependent Types

Ulf Norell

T2: Haskell in the Real World

Stefan Wehr

T3: Intro to Elm: a field guide for functional front-end programming (Part 1)

Evan Czaplicki & Spiros Eliopoulos

T4: Elm-d3: Front-end Development without Frameworks (Part 2)

Spiros Eliopoulos

T5: Idris: Practical Software Verification with Dependent Types

Edwin Brady

T6: Lens

Edward Kmett



T7: Introduction to OCaml

Leo White & Jeremy Yallop

T8: Programming in Rust

Felix Klock & Lars Bergstrom

T9: Tinkering with the Raspberry Pi using Erlang

Torben Hoffmann

T10: Hands-on Functional Web Development in F# with WebSharper

Adam Granicz

T11: Batteries Included: Generative Programming with Scala and LMS

Tiark Rompf & Nada Amin

T12: Introduction to testing with QuickCheck

John Hughes



Keynote: Making Money From FP

Joe Armstrong, Ericsson and Royal Institute of Technology in Stockholm

Functional Programming at Verizon OnCue

Timothy Perrett, Verizon

Adopting Functional Programming with OCaml at Bloomberg LP

Maxime Ransan, Bloomberg LP

MBrace: large-scale programming in F#

Eirik Tsarpalis, Nessos

Probabilistic Synchronization of State Between Independent Nodes

Erlend Hamberg

Towards "annex", a Fact Based Dependency System

Mark Hibberd

Building data and time-series analytics tools for F#

Tomas Petricek & Howard Mansell

Haskell in the Misson Control Domain

Michael Oswald

Haskell tools for satellite operations

Björn Buckwalter

F# For Fun and Games

Anthony Brown

Some usages of functional programming for FO and quants

Renaud Bechade

Reactive I/O with Scala, Akka, and Play

Kenneth Owens, Comcast

If your server is a function, is your company a library?

Andrew Cowie
Haskell mailing list
Haskell <at> haskell.org
Stefan Wehr | 17 Aug 21:02 2014

[ANN] BOB 2015: Call for Contributions

The BOB conference will have a strong focus on functional programming,
so Haskell submissions very welcome.

Please consider submitting!

                         BOB Conference 2015
                       CALL FOR CONTRIBUTIONS
               English: http://bobkonf.de/2015/cfp.html
                German: http://bobkonf.de/2015/cfp.html
                    Deadline: September 30, 2014

You drive advanced software engineering methods, implement ambitious
architectures and are open to cutting-edge innovation? Attend this
conference, meet people that share your goals, and get to know the
best software tools and technologies available today. We strive to
offer you a day full of new experiences and impressions that you can
use to immediately improve your daily life as a software developer.

If you share our vision and want to contribute, submit a proposal for
a talk or tutorial!

We are looking for talks about best-of-breed software technology,

- functional programming
- reactive programming
- micro-service architectures
- persistent data structures and databases
- ...  everything really that isn't mainstream, but you think should

Presenters should provide the audience with information that is
practically useful for software developers.  This could take the form of

- experience reports
- introductory talks on technical background
- demos and how-tos

We accept proposals for presentations of 45 minutes (40 minutes talk
+ 5 minutes questions), as well as 90 minute tutorials for beginners.
The language of presentation should be either English or German.
It should include (in your presentation language of choice):

- an abstract of max. 1500 characters.
- a short bio/cv
- contact information (including at least email)
- a list of 3-5 concrete ideas of how your work can be applied in a
developer's daily life
- additional material (websites, blogs, slides, videos of past
  presentations, ...)

You can submit your proposal using the following form:


- direct questions to bobkonf at active minus group dot de
- proposal deadline: September 30, 2014
- notification: October 15, 2014
- program: October 2014, 2014

NOTE: The conference fee will be waived for presenters, but travel
expenses will not be covered.

Program Committee
- Matthias Fischmann, zerobuzz UG
- Matthias Neubauer, SICK AG
- Michael Sperber, Active Group
- Stefan Wehr, factis research

Wissenschaftlicher Beirat
- Annette Bieniusa, TU Kaiserslautern
- Torsten Grust, Uni Tübingen
- Peter Thiemann, Uni Freiburg
Corey O'Connor | 15 Aug 18:54 2014

ANNOUNCE: vty 5.2.0 and vty-examples 5.2.0

  - Corrected handling of Color240 values.
  - Squashed warnings. Thanks jtdaugherty!
  - Config structure now specifies file descriptor to use. The default is stdInput and stdOutput
    file descriptors. Previously Vty used stdInput for input and the follow code for output:
      - hDuplicate stdout >>= handleToFd >>= (`hSetBuffering` NoBuffering)
      - the difference was required by Vty.Inline. Now, Vty.Inline uses the Config structure options
        to acheive the same effect.
  - removed: derivedVtime, derivedVmin, inputForCurrentTerminal, inputForNameAndIO,
    outputForCurrentTerminal, outputForNameAndIO
  - added: inputForConfig, outputForConfig
  - updates to vty-rogue from jtdaugherty. Thanks! 
  - the oldest version of GHC tested to support vty is 7.4.2

Haskell mailing list
Haskell <at> haskell.org
Cristian Andrei Gherghina | 15 Aug 07:24 2014

APLAS 2014: Call for Posters and Demo

​(Apologies for multiple copies.)

                 Call for Posters and Demos: APLAS 2014

      12th Asian Symposium on Programming Languages and Systems
                          November 17-19, 2014

      Submission due: 15 September 2014 (Monday), 23:59 GMT
        Notification: 22 September 2014 (Monday)


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

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 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.

APLAS 2014 will include a poster and demo session during the
conference. The poster session aims to give students, researchers and 
professionals an opportunity to present technical materials to the research
community, and to get responses from other students, researchers and 
professionals in the field.


Poster and demo contributions are sought in all areas of programming
languages and systems, including the following topics:

- 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.


Each presenter should submit a 1-2 page abstract in PDF via the submission
web page, https://easychair.org/conferences/?conf=aplas2014ps , by 15 September
 2014 (Monday), 23:59 GMT. 

The abstract should include the title, style of the presentation (poster only
or poster plus demo), author(s), affiliation(s) and summary of the work. 
Abstracts must be written in English using the Springer LNCS format. 
We will announce the accepted presentations on 22 September 2014. We hope to 
accommodate every presentation, but may restrict them (based on relevance and 
interest to the community) due to space constraints. The format of the poster
will be announced later.


Submission due: 15 September 2014 (Monday), 23:59 GMT
Notification: 22 September 2014 (Monday)
Conference: 17-19 November 2014 (Monday-Wednesday)

  Poster chair: Cristian Gherghina (SUTD, Singapore)
  Email: cristian_gherghina <at> sutd.edu.sg

This email may contain confidential and/or proprietary information that is exempt from disclosure under applicable law and is intended for receipt and use solely by the addressee(s) named above. If you are not the intended recipient, you are notified that any use, dissemination, distribution, or copying of this email, or any attachment, is strictly prohibited. Please delete the email immediately and inform the sender. Thank You

Haskell mailing list
Haskell <at> haskell.org
Janis Voigtlaender | 11 Aug 10:17 2014

WLP/WFLP - Call for Participation - September 15-17

Call for Participation

28th Workshop on (Constraint) Logic Programming (WLP 2014)  co-located with
23rd International Workshop on Functional and (Constraint) Logic 
Programming (WFLP 2014)

Lutherstadt Wittenberg, Germany, September 15 - 17

Early registration deadline: August 26

The international workshops on functional and logic programming aim at 
bringing together
researchers interested in functional programming, logic programming,
as well as their integration. The workshops on (constraint) logic 
serve as the scientific forum of the annual meeting of the
Society of Logic Programming (GLP e.V.) and bring together researchers
interested in logic programming, constraint programming,
and related areas like databases, artificial intelligence, and 
operations research.

Invited Speakers:

Michael Hanus: Declarative Multi-paradigm Programming (Tutorial).
Sven Thiele: Answer Set Programming for Systems Biology.

Accepted Papers and Preliminary Program:

Registration: http://dbs.informatik.uni-halle.de/wlp14/reg.php

Venue: http://www.leucorea.de/leucorea.html (Tagungszentrum)
Tourist Information: http://www.wittenberg.de/

We look forward to seeing you in Wittenberg.

Stefan Brass (WLP track chair and local organizer)
Johannes Waldmann (WFLP track chair)
David Van Horn | 1 Aug 23:50 2014

ICFP 2014 Final Call for Participation

[ Early registration ends 3 Aug; Invited speakers and conference program have been announced. ] ===================================================================== Final Call for Participation ICFP 2014 19th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 31 - September 6, 2014 Gothenburg, Swedenhttp://icfpconference.org/icfp2014/ ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: 1 conference, 1 symposium, 10 workshops, tutorials, programming contest results, student research competition * Program: http://icfpconference.org/icfp2014/program.html * Accepted Papers: http://icfpconference.org/icfp2014/accepted.html * Local arrangements (including travel and accommodation): http://icfpconference.org/icfp2014/local.html * Registration is available via: https://regmaster4.com/2014conf/ICFP14/register.php Early registration is due 3 August, 2014. * Programming contest, 25-28 July, 2014: http://icfpcontest.org/ * Follow <at> icfp_conference on twitter for the latest news: http://twitter.com/#!/icfp_conference Keynote speakers: * Kathleen Fisher (Tufts University): Using Formal Methods to Enable More Secure Vehicles: DARPA's HACMS Program * Robert Bruce Findler (Northwestern University): Behavioral Software Contracts * Stephanie Weirich (University of Pennsylvania): Depending on Types There are several events affiliated with ICFP: Sunday, August 31 ACM SIGPLAN Workshop on Generic Programming ACM SIGPLAN Workshop on Higher-order Programming with Effects Monday, September 1 – Wednesday, September 3 ICFP Thursday, September 4 ACM SIGPLAN Commercial Users of Functional Programming: Day 1, Tutorials ACM SIGPLAN Haskell Symposium: Day 1 ACM SIGPLAN Workshop on Functional High-Performance Computing ACM SIGPLAN ML Family Workshop Friday, September 5 ACM SIGPLAN Commercial Users of Functional Programming: Day 2, Tutorials ACM SIGPLAN Haskell Symposium: Day 2 ACM SIGPLAN OCaml Workshop ACM SIGPLAN Erlang Workshop Saturday, September 6 ACM SIGPLAN Commercial Users of Functional Programming: Day 3, Talks ACM SIGPLAN Haskell Implementors Workshop ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design Conference Organizers General Chair: Johan Jeuring, Utrecht University Program Chair: Manuel Chakravarty, University of New South Wales Local Arrangements Chair: Björn von Sydow, Chalmers University Industrial Relations Chair: Anil Madhavapeddy, University of Cambridge Workshop Co-Chairs: Tom Schrijvers, Ghent University Sam Tobin-Hochstadt, Indiana University Programming Contest Co-Chairs: Duncan Coutts, Well Typed LLP Nicolas Wu, University of Oxford Student Research Competition Chair: Meng Wang, Chalmers University Publicity Chair: David Van Horn, University of Maryland Video Chair: Iavor Diatchki, Galois Malcolm Wallace, Standard Chartered Bank Industrial partners: Platinum partners Jane Street Capital Gold partners Google Microsoft Research Mozilla Oracle Labs Standard Chartered Bank Silver partners Bloomberg Credit Suisse CyberPoint Erlang Solutions Facebook Galois Klarna Lexifi Twitter Bronze partners Alephcloud IntelliFactory Opera Software QuviQ Systeor Vest AS =====================================================================
Haskell mailing list
Haskell <at> haskell.org
Tarmo Uustalu | 29 Jul 17:22 2014

ETAPS 2015 1st call for papers


                   CALL FOR PAPERS: ETAPS 2015

18th European Joint Conferences on Theory And Practice of Software

                  London, UK,  11-18 April 2015




ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2015 is the
eighteenth event in the series.

-- MAIN CONFERENCES (13-17 April) --

    * CC: Compiler Construction
        (PC chair Björn Franke, University of Edinburgh, UK)
    * ESOP: European Symposium on Programming
        (PC chair Jan Vitek, Northeastern University, USA)
    * FASE: Fundamental Approaches to Software Engineering
        (PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria,
         and Ina Schaefer, Technische Universität Braunschweig, Germany)
    * FOSSACS: Foundations of Software Science
        and Computation Structures
        (PC chair Andrew Pitts, University of Cambridge, UK)
    * POST: Principles of Security and Trust
        (PC chairs Riccardo Focardi, Università Ca' Foscari Venezia,
         Italy, and Andrew Myers, Cornell University, USA)
    * TACAS: Tools and Algorithms for
        the Construction and Analysis of Systems
        (PC chairs Christel Baier, Technische Univ Dresden, Germany,
         and Cesare Tinelli, The University of Iowa, USA)

TACAS '14 hosts the 4rd Competition on Software Verification


    * Unifying speakers:
      Robert Harper (Carnegie Mellon University, USA)
      Catuscia Palamidessi (INRIA Saclay and LIX, France)

    * CC invited speaker:
      Keshav Pingali (University of Texas, USA)
    * FoSSaCS invited speaker:
      Frank Pfenning (Carnegie Mellon University, USA)
    * TACAS invited speaker:
      Wang Yi (Uppsala Universitet, Sweden)


    * 10 October 2014: Submission deadline for abstracts
    * 17 October 2014: Submission deadline for full papers
    * 3-5 December 2014: Author response period (ESOP and FoSSaCS only)
    * 19 December 2014: Notification of acceptance
    * 16 January  2015: Camera-ready versions due


ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.

ESOP and FoSSaCS accept only research papers. TACAS has more paper
categories (see http://www.etaps.org/2015/tacas).

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.

Papers must follow the formatting guidelines specified by Springer at


and be submitted electronically in pdf through the EasyChair author
interface of the respective conference (HotCRP for ESOP).

Submissions not adhering to the specified format and length may be
rejected immediately.

- Research papers

FASE, FOSSACS and TACAS have a page limit of 15 pages for research
papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages.

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pages).

Both TACAS and FASE solicit also regular tool papers (at most 15

- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
    presented. Please include the URL of the tool (if available) and
    provide information that illustrates the maturity and robustness of
    the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
    demonstration will be carried out and what it will show, including
    screen dumps and examples. (This part will be not be included in the
    proceedings, but will be evaluated.

ESOP and FOSSACS do not accept tool demonstration papers.

TACAS has a page limit of 6 pages for tool demonstrations.

-- SATELLITE EVENTS (11-12 April, 18 April) --

Around 20 satellite workshops will take place before and after the
main conferences.


London, the capital city of England and the UK, is a leading global
city, with strengths in the arts, commerce, education, entertainment,
fashion, finance, healthcare, media, professional services, research
and development, tourism and transport all contributing to its
prominence. It is one of the world's leading financial centers and a
world cultural capital. It is the world's most-visited city as
measured by international arrivals and has the world's largest city
airport system measured by passenger traffic. In 2012, London became
the first city to host the modern Summer Olympic Games three times.


ETAPS 2015 is hosted by the School of Electrical Engineering and
Computer Science of the Queen Mary University of London.

The main campus is located in the Mile End area of the East End of


* General chairs: Pasquale Malacaria, Nikos Tzevelekos
* Workshops chair: Paulo Oliva


Please do not hesitate to contact the organizers at
p.malacaria <at> qmul.ac.uk, nikos.tzevelekos <at> qmul.ac.uk.

Haskell mailing list
Haskell <at> haskell.org
Runtime Verification | 28 Jul 21:16 2014

RV 2014: Call for Participation




RV 2014: 14th International Conference on Runtime Verification

September 22 - September 25, 2014, Toronto, Canada






Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are important for system correctness, reliability, and robustness; they are complementary to conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include:

  • specification languages
  • specification mining
  • program instrumentation
  • monitor construction techniques
  • logging, recording, and replay
  • fault detection, localization, containment, recovery and repair
  • program steering and adaptation
  • metrics and statistical information gathering
  • combination of static and dynamic analyses
  • program execution visualization
  • monitoring techniques for safety/mission-critical systems
  • monitoring distributed systems, cloud services, and big data applications
  • monitoring security and privacy policies

Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.




  • Kevin Driscoll
    Fellow at Honeywell Labs, USA
    Murphy Strikes Again
  • Assaf Schuster
    Professor of Computer Science, Computer Science Department, Technion, Israel
    Monitoring Big, Distributed, Streaming Data
  • Jeannette Wing
    President's Professor of Computer Science,
    Computer Science Department, Carnegie Mellon University, USA
    Formal Methods: An Industrial Perspective




  • Vijay K. Garg & Neeraj Mittal
    UT at Austin & UT at Dallas
    A Lattice-Theoretic Approach to Monitoring Distributed Computations
  • David Basin & Felix Klaedtke
    ETH-Zurich & NEC Labs, Europe
    Runtime Monitoring and Enforcement of Security Policies




The Fields Institute for Research in Mathematical Sciences

222 College Street, Toronto, Ontario, Canada





Registration on line to Aug. 21, on site Sept. 22

Registration fees $575, after Aug. 21 $675

Student $350, after Aug. 21, $450

Fees include proceedings and 1x Conference banquet

Additional banquet tickets $80

Registration link:





  • Pierre Fraigniaud, Sergio Rajsbaum and Corentin Travers.
    On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems
  • Simon Varvaressos, Kim Lavoie, Sebastien Gaboury and Sylvain Hallé.
    Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces
  • Clemens Ballarin.
    Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A
  • Martin Hentschel, Richard Bubel and Reiner Hähnle.
    Symbolic Execution Debugger (SED) 
  • Jiannan Zhai, Nigamanth Sridhar and Jason Hallstrom.
    Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems 
  • Emmanouil Koukoutos and Viktor Kuncak.
    Checking Data Structure Properties Orders of Magnitude Faster 
  • Maria Christakis, Patrick Emmisberger and Peter Müller.
    Dynamic Test Generation with Static Fields and Initializers 
  • Aravind Sukumaran-Rajam, Juan Manuel Martinez Caamano, Willy Wolff, Alexandra Jimborean and Philippe Clauss.
    Speculative Program Parallelization with Scalable and Decentralized Runtime Verification 
  • Christian Colombo and Yliès Falcone.
    Organising LTL Monitors over Distributed Systems with a Global Clock 
  • Erdal Mutlu, Vladimir Gajinov, Adrian Cristal, Serdar Tasiran and Osman Unsal.
    Dynamic Verification for Hybrid Concurrent Programming Models 
  • Hsi-Ming Ho, Joel Ouaknine and James Worrell.
    Online Monitoring of Metric Temporal Logic
  • David Basin, Germano Caronni, Sarah Ereth, Matúš Harvan, Felix Klaedtke and Heiko Mantel.
    Scalable Offline Monitoring 
  • David Basin, Felix Klaedtke, Srdjan Marinovic and Eugen Zalinescu.
    On Real-time Monitoring with Imprecise Timestamps 
  • Anand Yeolekar.
    Improving dynamic inference with variable dependence graph 
  • Ming Chai and Holger Schlingloff.
    Monitoring Systems with Extended Live Sequence Charts 
  • Laura Bozzelli and César Sánchez.
    Foundations of Boolean Stream Runtime Verification 
  • Mitra Tabaei Befrouei, Chao Wang and Georg Weissenbacher.
    Abstraction and Mining of Traces to Explain Concurrency-Bugs 
  • Stefan Mitsch and André Platzer.
    ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models 
  • Johannes Geist, Kristin Y. Rozier and Johann Schumann.
    Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems 
  • Malte Isberner, Falk Howar and Bernhard Steffen
    The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning
  • Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sebastien Gaboury and Sylvain Hallé.
    Portable Runtime Verification with Smartphones and Optical Codes 
  • Adel Dokhanchi, Bardh Hoxha and Georgios Fainekos
    On-Line Monitoring for Temporal Logic Robustness 
  • Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon Moore, Qingzhou Luo, Aravind Sundaresan and Grigore Rosu.
    ROSRV: Runtime Verification for Robots 
  • Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick Meredith, Traian Serbanuta and Grigore Rosu.
    RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties 
  • Duc Hiep Chu, Joxan Jaffar and Vijayaraghavan Murali.
    Lazy Symbolic Execution for Enhanced Learning 
  • Kuei Sun, Daniel Fryer, Ashvin Goel, Dai Qin and Angela Demke Brown.
    Robust Consistency Checking for Modern Filesystems 
  • Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay and Saddek Bensalem.
    Faster Statistical Model Checking by Means of Abstraction and Learning




  • General Chair: Sebastian Fischmeister (University of Waterloo, Canada).
  • PC co-Chairs: 
    • Borzoo Bonakdarpour (McMaster University, Canada)
    • Scott Smolka (Stony Brook Universtiy, USA)
  • Tools Track Chair: Ezio Bartocci (TU Vienna, Austria)
  • Runtime Monitoring Competition Co-Chairs:
    • Ezio Bartocci (TU Vienna, Austria)
    • Borzoo Bonakdarpour (McMaster University, Canada)
    • Ylies Falcone (Université Joseph Fourier, France)
  • Publicity Chair: Ylies Falcone (Université Joseph Fourier, France)
  • Local Arrangements Chair: Patrick Lam (University of Waterloo, Canada)




More information about RV2014 is available from the conference web site:


Haskell mailing list
Haskell <at> haskell.org
Jacob Johannsen | 27 Jul 14:59 2014

PPDP 2014: Program and 2nd Call for Participation



			      PPDP 2014
		   16th International Symposium on
	  Principles and Practice of Declarative Programming
		Canterbury, Kent, September 8-10, 2014
                           co-located with

			     LOPSTR 2014
		   24th International Symposium on
	   Logic-Based Program Synthesis and Transformation
		Canterbury, Kent, September 9-11, 2014


Two weeks left for early registration (until August 8):

A significant discount is available when registering to both events,
especially as a student (until August 8).

PPDP 2014 features
* an invited talk by Roberto Giacobazzi, shared with LOPSTR:
   "Obscuring Code -- Unveiling and Veiling Information in Programs"
* no fewer than 4 distilled tutorials by
   - Henrik Nilsson and Ivan Perez:
     "Declarative Game Programming"
   - Danko Ilik:
     "Proofs in Continuation-Passing Style:
      normalization of Gödel's System T extended with sums and
      delimited control operators"
   - Jerzy Karczmarczuk:
     "On the Declarative Structure of Quantum Concepts:
      States and Observables"
   - Ralf Laemmel, Andrei Varanovich, and Martin Leinberger:
     "Declarative Software Development"
* the most influential paper 10-year award for PPDP 2004

Tentative program:


Monday 8 September

Welcome to PPDP 2014 - 08:45-09:00
   Olaf Chitil and Andy King

Distilled Tutorial - 9:00-10:00
   Ralf Laemmel
   "Declarative Software Development"

Break - 10:00-10:15

Session - 10:15-11:15

   Rémi Douence and Nicolas Tabareau
   "Lazier Imperative Programming"

   Stefan Mehner, Daniel Seidel, Lutz Straßburger and Janis Voigtländer
   "Parametricity and Proving Free Theorems for Functional-Logic Languages"

Break - 11:15-11:30

Session - 11:30-12:30

   Paul Tarau
   "Bijective Collection Encodings and Boolean Operations
    with Hereditarily Binary Natural Numbers"

   Flavio Cruz, Ricardo Rocha and Seth Goldstein
   "Design and implementation of a multithreaded virtual machine
    for executing linear logic programs"

Lunch break - 12:30-14:00

Distilled tutorial - 14:00-15:00
   Danko Ilik
   "Proofs in Continuation-Passing Style:
    normalization of Gödel's System T
    extended with sums and delimited control operators"

Break - 15:00-15:15

Session - 15:15-16:15

   Kenichi Asai, Luminous Fennell, Peter Thiemann and Yang Zhang
   "A Type Theoretic Specification for Partial Evaluation"

   Paul Downen, Luke Maurer, Zena Ariola and Daniele Varacca
   "Continuations, Processes, and Sharing"

Break - 16:15-16:30

Session - 16:30-17:30

   Pierre Neron
   "Partial Inlining for Program Transformation"

   Jean-Louis Giavitto and José Echeveste
   "Real-Time Matching of Antescofo Temporal Patterns"

Program-chair report - 17:30-17:45
   Olivier Danvy


Tuesday 9 September

Distilled tutorial - 9:00-10:00
   Jerzy Karczmarczuk
   "On the Declarative Structure of Quantum Concepts:
    States and Observables"

Break - 10:00-10:15

Session - 10:15-11:15

   José Meseguer and Salvador Lucas
   "Proving Operational Termination of Declarative Programs in General 

   Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer and 
Paliath Narendran
   "Theories of Homomorphic Encryption, Unification, and the Finite 
Variant Property"

Break - 11:15-11:30

Session - 11:30-12:30

   Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini and Nobuko Yoshida
   "On the Preciseness of Subtyping in Session Types"

   Hugo Pacheco, Tao Zan and Zhenjiang Hu
   "BiFluX: A Bidirectional Functional Update Language for XML"

Lunch break - 12:30-14:00

Distilled tutorial - 14:00-15:00
   Henrik Nilsson
   "Declarative Game Programming"

Break - 15:00-15:15

Session - 15:15-16:15

   Francisco Ferreira and Brigitte Pientka
   "Bidirectional Elaboration of Dependently Typed Programs"

   Steven Ramsay
   "Exact Intersection Type Abstractions for Safety Checking of 
Recursion Schemes"

Break - 16:15-16:30

Session - 16:30-17:30

   Julian Kranz and Axel Simon
   "Structure-Preserving Compilation:
    Efficient Integration of Functional DSLs into Legacy Systems"

   Ulrich Schöpp
   "Organising Low-Level Programs using Higher Types"


Wednesday 10 September

Invited talk - 9:00-10:00
   Roberto Giacobazzi
   Obscuring Code -- Unveiling and Veiling Information in Programs

Break - 10:00-10:15

Session - 10:15-11:15

   Rémy Haemmerlé
   "On Combining Backward and Forward Chaining in Constraint Logic 

   Nataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo
   "Assertion-based Debugging of Higher-Order (C)LP Programs"

Break - 11:15-11:30

Session - 11:30-12:30

   Takahito Aoto and Sorin Stratulat
   "Decision Procedures for Proving Inductive Theorems without Induction"

   Joachim Jansen, Ingmar Dasseville, Jo Devriendt and Gerda Janssens
   "Experimental Evaluation of a State-of-the-Art Grounder"

Lunch break - 12:30-13:30

Session - 13:30-14:30

   Tom Schrijvers, Nicolas Wu, Benoit Desouter and Bart Demoen
   "Heuristics entwined with handlers combined"

   James Cheney, Amal Ahmed and Umut Acar
   "Database queries that explain their work"


Also, please note a change of dates: LOPSTR will start on September 9,
rather than September 10 as previously announced.

See you in Canterbury!
Haskell mailing list
Haskell <at> haskell.org
Hongseok Yang | 24 Jul 18:48 2014

HOPE 2014 Call for Participation (with Workshop Program)


                      CALL FOR PARTICIPATION

                           HOPE 2014

                The 3rd ACM SIGPLAN Workshop on
              Higher-Order Programming with Effects

                        August 31, 2014
                      Gothenburg, Sweden
                   (the day before ICFP 2014)


HOPE 2014 aims at bringing together researchers interested in the design, 
semantics, implementation, and verification of higher-order effectful 
programs. It will be *informal*, consisting of invited talks, contributed 
talks on work in progress, and open-ended discussion sessions. 


Deadline for early registration: 3 August 2014

This is the registration site for ICFP 2014 and all the affiliated
workshops including HOPE 2014.

Invited Talk

Title: Verifying Security Properties of SES Programs
Speaker: Philippa Gardner, Imperial College London

List of Accepted Talks

(1) Stevan Andjelkovic. Towards indexed algebraic effects and handlers

(2) Kwok Cheung. Separating Entangled State

(3) Filip Sieczkowski and Lars Birkedal. ModuRes: a Coq Library for Reasoning about Concurrent Higher-Order Imperative Programming Languages

(4) Ohad Kammar. Graphical algebraic foundations for monad stacks

(5) Paul Downen and Zena M. Ariola. Delimited control with multiple prompts in theory and practice

(6) Carter Schonwald. A Type Directed model of Memory Locality and the design of High Performance Array APIs

(7) Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Derek Dreyer and Viktor Vafeiadis. Compositional Compiler Verification via Parametric Simulation

(8) Danel Ahman and Tarmo Uustalu. From stateful to stackful computation

Goals of the Workshop

A recurring theme in many papers at ICFP, and in the research of many
ICFP attendees, is the interaction of higher-order programming with
various kinds of effects: storage effects, I/O, control effects,
concurrency, etc. While effects are of critical importance in many
applications, they also make it hard to build, maintain, and reason
about one's code. Higher-order languages (both functional and
object-oriented) provide a variety of abstraction mechanisms to help
"tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types,
typestate, first-class events, transactions, Hoare Type Theory,
session types, substructural and region-based type systems), and a
number of different semantic models and verification technologies have
been developed in order to codify and exploit the benefits of this
encapsulation (e.g. bisimulations, step-indexed Kripke logical
relations, higher-order separation logic, game semantics, various
modal logics). But there remain many open problems, and the field is
highly active.

The goal of the HOPE workshop is to bring researchers from a variety
of different backgrounds and perspectives together to exchange new and
exciting ideas concerning the design, semantics, implementation, and
verification of higher-order effectful programs.

We want HOPE to be as informal and interactive as possible. The
program will thus involve a combination of invited talks, contributed
talks about work in progress, and open-ended discussion
sessions. There will be no published proceedings, but participants
will be invited to submit working documents, talk slides, etc. to be
posted on this website.

Workshop Organization

Program Co-Chairs:

Neel Krishnaswami (University of Birmingham)
Hongseok Yang (University of Oxford)

Program Committee:

Zena Ariola (University of Oregon)
Ohad Kammar (University of Cambridge)
Ioannis Kassios (ETH Zurich)
Naoki Kobayashi (University of Tokyo)
Paul Blain Levy (University of Birmingham)
Aleks Nanevski (IMDEA)
Scott Owens (University of Kent)
Sam Staton (Radboud University Nijmegen)
Steve Zdancewic (University of Pennsylvania)
Haskell mailing list
Haskell <at> haskell.org