WGT 2020 Contributors

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

co-located with POPL 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (34)

A Amal AhmedAhmed, Amal Northeastern University, USAUnited States Session Chair of Gradual Criteria (part of WGT) Foreign Function Typing: Semantic Type Soundness for FFIs Committee Member in Program Committee within the WGT-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Gradual Program Analysis Gradual Verification of Recursive Heap Data Structures
Deyaaeldeen AlmahallawiAlmahallawi, Deyaaeldeen Indiana UniversityUnited States Space-Efficient Monotonic References
B Johannes BaderBader, Johannes FacebookUnited States Gradual Program Analysis Gradual Verification of Recursive Heap Data Structures
Nick BentonBenton, Nick Facebook LondonUnited Kingdom Committee Member in Program Committee within the WGT-track
C Giuseppe CastagnaCastagna, Giuseppe CNRS - Université de Paris, FranceFrance Session Chair of Programming features (part of WGT) Organizer in Organizing Committee within the WGT-track Co-chair in Program Committee within the WGT-track
D Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Fully Abstract from Static to Gradual
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Carnegie Mellon UniversityUnited States Gradual Program Analysis Gradual Verification of Recursive Heap Data Structures
E Erik ErnstErnst, Erik Google Inc.Denmark Committee Member in Program Committee within the WGT-track
Samuel EstepEstep, Samuel Liberty University Gradual Program Analysis
G Ronald GarciaGarcia, Ronald University of British Columbia Gradual Typing as if Types Mattered Committee Member in Program Committee within the WGT-track
Michael GreenbergGreenberg, Michael Pomona College Gradual Algebraic Data Types
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Space-Efficient Gradual Typing in Coercion-Passing Style Gradual Typing for Extensibility by Rows Committee Member in Program Committee within the WGT-track
J Koen JacobsJacobs, Koen KU Leuven Fully Abstract from Static to Gradual
K Andre KuhlenschmidtKuhlenschmidt, Andre Indiana UniversityUnited States Hypercoercions and a Framework for Equivalence of Cast Calculi
L Kuang-Chen LuLu, Kuang-Chen Indiana University BloomingtonUnited States Hypercoercions and a Framework for Equivalence of Cast Calculi
M Stefan MalewskiMalewski, Stefan University of Santiago de Chile Gradual Algebraic Data Types
James McKinnaMcKinna, James University of Edinburgh Blame tracking at higher fidelity
J. Garrett MorrisMorris, J. Garrett University of Kansas, USAUnited States Blame tracking at higher fidelity
P Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States Foreign Function Typing: Semantic Type Soundness for FFIs
Dmitry PetrashkoPetrashko, Dmitry Stripe Committee Member in Program Committee within the WGT-track
S Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Gradual Typing for Extensibility by Rows
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Session Chair of Coercions (part of WGT) Space-Efficient Monotonic References Hypercoercions and a Framework for Equivalence of Cast Calculi Organizer in Organizing Committee within the WGT-track Co-chair in Program Committee within the WGT-track
Joshua SunshineSunshine, Joshua Carnegie Mellon University Gradual Program Analysis Gradual Verification of Recursive Heap Data Structures
T Tomoya TabuchiTabuchi, Tomoya Kyoto UniversityJapan Space-Efficient Gradual Typing in Coercion-Passing Style
Éric TanterTanter, Éric University of ChileChile Gradual Algebraic Data Types Gradual Typing as if Types Mattered Gradual Program Analysis Gradual Verification of Recursive Heap Data Structures Committee Member in Program Committee within the WGT-track
Amin TimanyTimany, Amin imec-Distrinet KU-LeuvenBelgium Fully Abstract from Static to Gradual
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Committee Member in Program Committee within the WGT-track
Yuya TsudaTsuda, Yuya Kyoto UniversityJapan Space-Efficient Gradual Typing in Coercion-Passing Style
V Niki VazouVazou, Niki IMDEA Software Institute Session Chair of Analysis, verification, blame (part of WGT) Committee Member in Program Committee within the WGT-track
W Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom Blame tracking at higher fidelity
Eric WalkingshawWalkingshaw, Eric Oregon State UniversityUnited States Committee Member in Program Committee within the WGT-track
Z Jakub ZalewskiZalewski, Jakub University of Edinburgh Blame tracking at higher fidelity
Francesco Zappa NardelliZappa Nardelli, Francesco InriaFrance Committee Member in Program Committee within the WGT-track