WITS 2024 Contributors

Sat 20 Jan 2024 London, United Kingdom

co-located with POPL 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (22)

A Lennart AugustssonAugustsson, Lennart Epic Games Committee Member in Program Committee within the WITS-track
B William J. BowmanBowman, William J. University of British ColumbiaCanada Session Chair of Session 2 (part of WITS)
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Session Chair of Session 4 (part of WITS) Yaffle: A New Core for Idris 2 Committee Member in Program Committee within the WITS-track
C Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands Co-chair in Program Committee within the WITS-track
D Folkert de Vriesde Vries, Folkert University of Groningen Type-directed defunctionalization in the presence of typeclasses and monomorphization
E Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States Session Chair of Session 1 (part of WITS) Co-chair in Program Committee within the WITS-track
F Richard FeldmanFeldman, Richard Type-directed defunctionalization in the presence of typeclasses and monomorphization
Alcides FonsecaFonseca, Alcides University of LisbonPortugal Implementing separation logic using an SMT-backed Frame Rule
G Kirill GolubevGolubev, Kirill University of LisbonPortugal Implementing separation logic using an SMT-backed Frame Rule
H Ayaz HafizHafiz, Ayaz RWX Type-directed defunctionalization in the presence of typeclasses and monomorphization
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States asai: a Library for Compiler Diagnostics
J Jacques-Henri JourdanJourdan, Jacques-Henri CNR, LMFFrance Committee Member in Program Committee within the WITS-track
K András KovácsKovács, András University of Gothenburg Efficient Evaluation with Controlled Definition Unfolding
M Reed MullanixMullanix, Reed McMaster UniversityUnited States asai: a Library for Compiler Diagnostics
N James NobleNoble, James Creative Research & ProgrammingNew Zealand On Modelling Heap Invariants for Type Systems in Dafny
O Martin OderskyOdersky, Martin EPFLSwitzerland Inside the Scala Capture Checker
P Simon Peyton JonesPeyton Jones, Simon Epic Games United Kingdom Solving constraints during type inference Type inference for application spines
Artem PianykhPianykh, Artem Facebook London Retrofitting Null-Safety into Java
S Matthieu SozeauSozeau, Matthieu InriaFrance Committee Member in Program Committee within the WITS-track
V Andre VidelaVidela, Andre University Of Strathclyde Binding Syntax for Dependently-Typed Programs
W Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden On Modelling Heap Invariants for Type Systems in Dafny
X Ningning XieXie, Ningning University of TorontoCanada Committee Member in Program Committee within the WITS-track