IWACO 2024 Contributors - IWACO 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

co-located with SPLASH 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (19)

A Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Substructural Information Flow via Polymorphism Committee Member in Program Committee within the IWACO-track
B Holly BorlaBorla, Holly Apple, Inc, Data-Race Safety for the Masses
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander Charles UniversityCzechia Session Chair of Session 1 (part of IWACO) Session Chair of Session 3 (part of IWACO) Welcome and goals of IWACO 2024 Co-chair in Program Committee within the IWACO-track Committee Member in Organizing Committee within the IWACO-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Committee Member in Program Committee within the IWACO-track
Oliver BračevacBračevac, Oliver EPFL, LAMPSwitzerland Committee Member in Program Committee within the IWACO-track
C Elias CastegrenCastegren, Elias Uppsala UniversitySweden Committee Member in Program Committee within the IWACO-track
Will CrichtonCrichton, Will Brown UniversityUnited States Visualizing and Explaining Rust's Ownership Model
G Colin GordonGordon, Colin Drexel UniversityUnited States Capabilities, Effects, Ownership, and Behaviors
Hemant GouniGouni, Hemant Carnegie Mellon University, Pittsburgh, Pennsylvania, United StatesUnited States Substructural Information Flow via Polymorphism
H Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the IWACO-track
M Danielle MarshallMarshall, Danielle University of GlasgowUnited Kingdom Linearity, Uniqueness, Ownership: An Entente Cordiale
Mark MillerMiller, Mark AgoricUnited States Offer-safe Trade of Mutable Objects
N James NobleNoble, James Independent. Wellington, NZNew Zealand Session Chair of Session 2 (part of IWACO) Committee Member in Program Committee within the IWACO-track
P Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom Committee Member in Program Committee within the IWACO-track
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Modular Borrowing Without Ownership or Linear Types
Alex PotaninPotanin, Alex Australian National UniversityAustralia Committee Member in Program Committee within the IWACO-track
S Amanda StjernaStjerna, Amanda Uppsala universitySweden The First Six Years in the Development of Polonius, an Improved Borrow Checker
T Peter ThiemannThiemann, Peter University of Freiburg, Germany Ordered Types for Typestate
W Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Session Chair of Session 4 (part of IWACO) Welcome and goals of IWACO 2024 Co-chair in Program Committee within the IWACO-track Committee Member in Organizing Committee within the IWACO-track