[TYPES/announce] CFP: HOPA Workshop on Higher Order Program Analysis, FLoC 2014

Matthew Hague matthew.hague at rhul.ac.uk
Tue Feb 25 06:16:39 EST 2014


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 at rhul.ac.uk.


More information about the Types-announce mailing list