[TYPES/announce] Announcement of HOPA: A Workshop on Higher-Order Program Analysis
matthew.hague at rhul.ac.uk
Mon Apr 8 08:35:43 EDT 2013
Please find below the call for submissions for HOPA, a workshop on
higher-order program analysis.
Workshop on Higher-Order Program Analysis
Tulane University, New Orleans, USA
28th-29th June, hosted by LiCS 2013
Call for Submissions
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.
Submission deadline: 10th May, 2013.
Notification: 15th May, 2013.
Main event: 28th (afternoon) -- 29th (morning) June, 2013.
Suresh Jagannathan, Purdue University, USA
Neil Jones, University of Copenhagen, Denmark
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,
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 <a href="http://www.arxiv.org">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
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 at rhul.ac.uk
More information about the Types-announce