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.
3rd July: The workshop proceedings are now online!
- Submission deadline: 10th May, 2013.
- Notification: 15th May, 2013.
- Main event: 28th (afternoon) -- 29th (morning) June, 2013.
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.
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 ArXiv.org. 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.
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 and Organising Committee
- Christopher Broadbent, University of Tokyo, Japan
- Arnaud Carayol, LIGM, Marne-la-Vallée, France
- Matthew Hague, Royal Holloway University of London, UK
- Ranjit Jhala, University of California, USA
- Naoki Kobayashi, University of Tokyo, Japan
- Matthew Might, University of Utah, USA
- Luke Ong, University of Oxford, UK
- Hiroshi Unno, University of Tsukuba, Japan
- David Van Horn, Northeastern University, USA
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.
Sponsored by EPSRC grant EP/K009907/1 and Royal Holloway University of London.