HOPA: 18th July 2014
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.
Invited Speakers
- Anders Møller, Aarhus University, Denmark
- Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Scope
Talks will be 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.
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 (where !! is @ and spaces are .s).