HOPA: Workshop on Higher-Order Program Analysis Vienna University of Technology, Austria 18th July, Part of FLoC 2014 http://hopa.cs.rhul.ac.uk 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. 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: https://www.easychair.org/conferences/?conf=hopa2014 Program Chairs -------------- Luke Ong, University of Oxford, UK David Van Horn, University of Maryland, USA 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.