REMS-DeepSpec 2020 Contributors - REMS-DeepSpec 2020

Mon 15 - Tue 16 June 2020

co-located with PLDI 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (5)

Lennart Beringer Princeton University United States Committee Member in Organizing Committee within the REMS-DeepSpec-track
Neel Krishnaswami Computer Laboratory, University of Cambridge Committee Member in Program Committee within the REMS-DeepSpec-track
Magnus O. Myreen Chalmers University of Technology, Sweden Sweden Committee Member in Program Committee within the REMS-DeepSpec-track
Peter Sewell University of Cambridge Committee Member in Organizing Committee within the REMS-DeepSpec-track
Steve Zdancewic University of Pennsylvania United States Committee Member in Program Committee within the REMS-DeepSpec-track