Wang Yi -

Registered user since Thu 15 Nov 2018

Name:Wang Yi

Affiliation:Uppsala University, Sweden

Personal website: http://user.it.uu.se/~yi/

Contributions

2024

GCM

Author of An Encoding of Interaction Nets in OCaml within the GCM 2024-track

2019

MeTRiD

Committee Member in Program Committee within the MeTRiD-track

2017

LCTES

Author of [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications within the LCTES 2017-track
Committee Member in Steering Committee

2016

LCTES

Committee Member in Steering Committee