The HOPA workshop aims to bring together the various growing communities involved in the analysis of higher-order programs. The focus of the workshop is both on tools and techniques for practical analysis, and on the dissemination of new theoretical results.

News

Workshop program and submissions now available here.

Important Dates

  • Submission deadline: 9th May, 2014.
  • Notification: 21st May, 2014.
  • USB-ready versions: 30th May, 2014.
  • Main event: 18th July, 2014.

Invited Speakers

Scope

Submissions are encouraged in the form of tool presentations, exposition of best results, and topic tutorials or surveys. The emphasis is on building bridges between communities. Areas include but are by no means limited to the theory and practice of

  • k-CFA, CFA2 and its variants,
  • Higher-order and collapsible pushdown systems,
  • Higher-order recursion schemes,
  • Liquid types,
  • Refinement types,
  • Static analysis of higher-order programs,
  • Symbolic execution of higher-order programs, and
  • Verification of higher-order programs.

Publication

There will be no formal proceedings of the workshop. Work presented may be submitted elsewhere for formal publication, or, indeed, may have already been formally published. Abstracts will be made available online via this website and on the FLoC USB stick. We encourage participants with analysis tools to make these tools available on our website. This can be done either by providing us with source tarballs or zip files, or by providing us with links to the tool homepage as part of the submission.

Submission

Submissions may range from 1 page abstracts through to 15 page tutorials or surveys in the llncs format. Please indicate on your submission how long you would like to talk for. This may range from 10 minutes for cool new ideas, or 45-60 minutes for full tutorials or surveys. Submission will be via easychair, via the following link:

Program Chairs

Program Committee

Steering Committee

Contact Details

All enquires can be directed at: matthew.hague !! rhul ac uk (where !! is @ and spaces are .s).

Make Your Own Poster

To make a personalised poster for the workshop that can be (proudly) displayed in both in your office corridors and on your fridge at home, follow the steps below.

In Firefox, you can suppress the page URL, title, &c using the "Options" tab in the File->Print dialog box. The standard print margins work fine.

Frog Credits

The frog picture is derived from a photo on FanPop. The colouring idea is mainly stolen, without permission, from The Color.