Write a Blog >>

HASE 2020 is an interactive workshop that aims to forge new collaborations and initiatives which strive to provide high levels of assurance about the correct operation and security properties of production systems (software and hardware). The format of the workshop involves a high degree of simultaneous interaction between participants in several facilitated working session topics (i.e. this workshop is not a series of formal presentations or panel sessions). We hope the participants of this workshop will leave with new ideas for research projects and collaborations across academia and industry and new connections with practitioners and researchers in adjacent fields.

Recent years have seen major advances in the application of formal methods and other high assurance verification techniques to software and hardware. However, it is rarely used in the engineering of actual production systems rather than academic prototypes. At the same time, attacks on production systems are showing no signs of decreasing in frequency, whilst our reliance on their security is rapidly increasing, particularly with technologies such as IoT and Cloud, where physical isolation and firewalling are less and less useful.

We believe these trends are converging. The importance and complexity of systems software makes it an ideal application for formal and high assurance verification. The Workshop on High Assurance Systems Engineering (“HASE”) was launched in January 2019 to drive this convergence forward by bringing researchers and practitioners together to discuss applications of formal methods to real world systems and scenarios, and we would like to further this work by hosting a HASE sub-session co-located with POPL 2020.

HASE will take place on Tuesday, January 21.

Highlights

Title
Interactive Knowledge Shares
HASE
Working Sessions I
HASE
Working Sessions II
HASE
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00
Opening & Interactive Knowledge SharesHASE at Orpheus
09:00
10m
Day opening
Opening Plenary
HASE

09:10
60m
Tutorial
Interactive Knowledge Shares
HASE
Peter O'Hearn Facebook, Philippa Gardner Imperial College London, Muralidaran Vijayaraghavan SiFive, Peter Sewell University of Cambridge
10:00 - 10:30
Tuesday Morning BreakCatering at Break
10:30 - 12:30
Working Sessions IHASE at Orpheus
10:30
2h
Meeting
Working Sessions I
HASE
Ben Laurie Google Research, Hong-Seok Kim , Jonathan Protzenko Microsoft Research, Redmond
12:30 - 14:00
Tuesday LunchCatering at Lunch Room
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:05
Peer SkillshareHASE at Orpheus
13:30
45m
Tutorial
Peer Skillshare
HASE
Sarah de Haas Google Research
15:05 - 15:35
Tuesday Afternoon BreakCatering at Break
15:35 - 17:45
Afternoon SessionHASE at Orpheus
14:30
2h
Meeting
Working Sessions II
HASE
Ben Laurie Google Research, Satnam Singh Google Research
16:30
75m
Day closing
Closing Plenary
HASE

HASE 2020 Interest Registration

The workshop is non-traditional in format and will be structured as a series of collaborative working sessions. We therefore encourage participants to commit to joining us for the whole day, if they choose to participate. Based on previous workshops, this commitment will lead to a far more productive and interesting discussion. So that we can get an idea of numbers and also of participant interest in various topics and in potentially speaking, please register interest here: https://forms.gle/qGf7h1DAvybBuQC47

Questions? Use the HASE contact form.