IWACO 2023 Contributors

Sun 22 - Fri 27 October 2023 Cascais, Portugal

co-located with SPLASH 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (22)

A Dave AbrahamsAbrahams, Dave AdobeUnited States Borrow checking Hylo
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Latte: Lightweight Aliasing Tracking for Java Committee Member in Program Committee within the IWACO-track
Nada AminAmin, Nada Harvard UniversityUnited States Oxidize: A Step-Debugger for Static Semantics
B Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander EPFLSwitzerland Session Chair of IWACO Keynote Session (part of IWACO) Session Chair of IWACO Session 1 (part of IWACO) Session Chair of IWACO Session 2 (part of IWACO) Welcome to IWACO! Degrees of Separation: A Flexible Type System for Data Race Prevention Committee Member in Organizing Committee within the IWACO-track Program Chair in Program 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
Aurel BílýBílý, Aurel ETH Zurich Compositional Reasoning about Advanced Iterator Patterns in Rust
C Elias CastegrenCastegren, Elias Uppsala UniversitySweden Committee Member in Program Committee within the IWACO-track
Peter ChonChon, Peter Harvard University Oxidize: A Step-Debugger for Static Semantics
F Alcides FonsecaFonseca, Alcides LASIGE, University of LisbonPortugal Latte: Lightweight Aliasing Tracking for Java
Joseph FourmentFourment, Joseph EPFL A Mechanized Theory of the Box Calculus
G Catarina GamboaGamboa, Catarina Carnegie Mellon University and LASIGE, University of LisbonPortugal Latte: Lightweight Aliasing Tracking for Java
H Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the IWACO-track
Jonas HansenHansen, Jonas ETH Zurich Compositional Reasoning about Advanced Iterator Patterns in Rust
M Mae MilanoMilano, Mae University of California at BerkeleyUnited States Committee Member in Organizing Committee within the IWACO-track Program Chair in Program Committee within the IWACO-track
Peter MüllerMüller, Peter ETH ZurichSwitzerland Compositional Reasoning about Advanced Iterator Patterns in Rust
N James NobleNoble, James Research & ProgrammingNew Zealand Committee Member in Organizing Committee within the IWACO-track
O Martin OderskyOdersky, Martin EPFLSwitzerland Capture Tracking in Scala Degrees of Separation: A Flexible Type System for Data Race Prevention
R Dimi RacordonRacordon, Dimi Northeastern University, USAUnited States Borrow checking Hylo Oxidize: A Step-Debugger for Static Semantics Committee Member in Program Committee within the IWACO-track
S Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Compositional Reasoning about Advanced Iterator Patterns in Rust
W Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Committee Member in Organizing Committee within the IWACO-track
X Yichen XuXu, Yichen EPFL A Mechanized Theory of the Box Calculus Degrees of Separation: A Flexible Type System for Data Race Prevention
Z Conrad ZimmermanZimmerman, Conrad Brown UniversityUnited States Latte: Lightweight Aliasing Tracking for Java