Site Contents
Main Page
Program
Call for Papers
Important Dates
Invited Speakers
Scope
Submission
Publication
Program Chairs
Program Committee
Steering Committee
Contact Details
Frog Credits
Related Links
FLoC 2014
CSL-LICS 2014
CAV 2014
SAT 2014
RHUL
Related Logos
Previous Years
HOPA 2013
HOPA
Workshop on Higher-Order Program Analysis
Vienna University of Technology, Austria
18th July, Part of FLoC 2014
http://hopa.cs.rhul.ac.uk
Workshop Programme
Friday 18th July
09:15 to 10:15
Matching Logic
09:15
Invited Talk: Grigore Rosu
Semantics-based Program Verification using K and Matching logic
10:15 to 10:45
Coffee Break
10:45 to 12:45
Javascript and Concurrency
10:45
Invited Talk: Anders Møller
Program Analysis for JavaScript Web Applications
11:45
Analyzing JavaScript: The Bad Parts
Nicholas Labich
12:15
Saturation of Concurrent Collapsible Pushdown Systems
Matthew Hague
12:45 to 14:30
Lunch Break
14:30 to 16:00
Abstract Interpretation and Linear Logic
14:30
Environment Unrolling
Steven Lyde and Matthew Might
15:00
Strong Function Call
Steven Lyde and Matthew Might
15:30
The modal nature of colors in higher-order model-checking
Charles Grellois and Paul-André Melliès