Write a Blog >>
HASE 2020
Tue 21 Jan 2020
New Orleans, Louisiana, United States
co-located with
POPL 2020
Toggle navigation
Attending
Venue: JW Marriott New Orleans
Restaurant: Palace Cafe
Program
HASE Program
Your Program
Tue 21 Jan
Track/Call
Organization
HASE 2020 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
HASE 2020 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results
(
10
)
B
Karthikeyan Bhargavan
Bhargavan, Karthikeyan
Inria, France
Committee Member in Organizing Committee within the HASE-track
D
Sarah de Haas
de Haas, Sarah
Google Research
Peer Skillshare
Organizer in Organizing Committee within the HASE-track
G
Philippa Gardner
Gardner, Philippa
Imperial College London
United Kingdom
Interactive Knowledge Shares
K
Hong-Seok Kim
Kim, Hong-Seok
Working Sessions I
Committee Member in Organizing Committee within the HASE-track
L
Ben Laurie
Laurie, Ben
Google Research
Working Sessions I
Working Sessions II
Committee Member in Organizing Committee within the HASE-track
O
Peter O'Hearn
O'Hearn, Peter
Facebook
Interactive Knowledge Shares
P
Jonathan Protzenko
Protzenko, Jonathan
Microsoft Research, Redmond
United States
Working Sessions I
Committee Member in Organizing Committee within the HASE-track
S
Peter Sewell
Sewell, Peter
University of Cambridge
Interactive Knowledge Shares
Satnam Singh
Singh, Satnam
Google Research
United States
Working Sessions II
Committee Member in Organizing Committee within the HASE-track
V
Muralidaran Vijayaraghavan
Vijayaraghavan, Muralidaran
SiFive
Interactive Knowledge Shares
x
Sun 22 Dec 08:20