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
- Anders Møller, Aarhus University, Denmark
- Grigore Rosu, University of Illinois at Urbana-Champaign, USA
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 Committee
- Cormac Flanagan, University of California, USA
- Francesco Logozzo, Microsoft Research, USA
- Steven Ramsay, University of Warwick, UK
- Tachio Terauchi, Nagoya University, Japan
- Takeshi Tsukada, Oxford University, UK
- Dimitris Vardoulakis, Google
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.