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
The workshop program and submissions are now available.
Important Dates
- Submission deadline [EXTENDED]: 17 June, 2015.
- Notification: 19th June, 2015.
- Main event: 4th July, 2015.
Invited Speakers
- Hiroshi Unno, University of Tsukuba, Japan
- Andrzej Murawski, University of Warwick, UK
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. 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 Committee
- Lars Bergstrom, Mozilla, USA
- Michael Greenberg, Princeton University, USA
- Atsushi Igarashi, Kyoto University, Japan
- Sylvain Salvati, INRIA, Bordeaux, France
- Ryosuke Sato, Tokyo University, Japan
- Olivier Serre, LIAFA, France
- Tachio Terauchi, JAIST, Japan
- Mitchell Wand, Northeastern University, USA
Steering Committee
- Matthew Hague, Royal Holloway University of London, UK
- Ranjit Jhala, University of California, USA
- Naoki Kobayashi, University of Tokyo, Japan
- Luke Ong, University of Oxford, UK
- David Van Horn, University of Maryland, USA
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.
- Colour in the rabbit using the paint splotches and your mouse.
- Click Poster View A4 or Poster View A3 to activate the poster style sheet.
- Set the page size and print margins and suppress decorations such as page number and title in your web browser's print options dialog box.
- Print the poster!
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.
Kangaroo Credits
The kangaroo picture is derived from a picture on KidsPlayColor. The colouring idea is mainly stolen, without permission, from The Color.