HOPE 2022 Contributors

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

co-located with ICFP 2022

Filter

Role Type

Contributing to

Number of Roles

Country

Results (38)

A Amal AhmedAhmed, Amal Northeastern University, USAUnited States Enabling Safe Shared-Memory Interoperability in WebAssembly
Cezar-Constantin AndriciAndrici, Cezar-Constantin MPI-SPGermany Verifying non-terminating programs with IO in F*
B Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Monadic Semantics of Bidirectional Effects Lift Inference for Lexical Effect Handlers with Second-Class Functions Committee Member in Program Committee within the HOPE-track
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Committee Member in Program Committee within the HOPE-track
C Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Monadic Semantics of Bidirectional Effects
D Ugo Dal LagoDal Lago, Ugo University of Bologna; InriaItaly On Reinforcement Learning, Effect Handlers, and the State Monad
Cecilia Di FlorioDi Florio, Cecilia University of Bologna Quantitative and Metric Rewriting: Abstract and Linear Systems
F Michael FitzgibbonsFitzgibbons, Michael Northeastern University (USA) Enabling Safe Shared-Memory Interoperability in WebAssembly
G Francesco GavazzoGavazzo, Francesco University of Bologna & INRIA Sophia Antipolis Quantitative and Metric Rewriting: Abstract and Linear Systems On Reinforcement Learning, Effect Handlers, and the State Monad
Alexis GhyselenGhyselen, Alexis University of Bologna On Reinforcement Learning, Effect Handlers, and the State Monad
H Daniel HillerströmHillerström, Daniel The University of EdinburghUnited Kingdom Co-chair in Program Committee within the HOPE-track
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Verifying non-terminating programs with IO in F*
J Guilhem JaberJaber, Guilhem University of NantesFrance Temporal refinements for Call-By-Push-Value with fixpoint
Mauro JaskelioffJaskelioff, Mauro CONICET, ArgentinaArgentina Committee Member in Program Committee within the HOPE-track
K Younesse KaddarKaddar, Younesse University of Oxford, UKUnited Kingdom Higher order programming with probabilistic effects: A model of stochastic memoization and name generation
Shin-ya KatsumataKatsumata, Shin-ya National Institute of InformaticsJapan Monadic Semantics of Bidirectional Effects
Oleg KiselyovKiselyov, Oleg Tohoku University, Japan Co-chair in Program Committee within the HOPE-track
M Kenji MaillardMaillard, Kenji Inria Nantes & University of Chile Temporal refinements for Call-By-Push-Value with fixpoint
Dylan McDermottMcDermott, Dylan Reykjavik UniversityIceland Flexibly graded monads and graded algebras
Sean MossMoss, Sean University of Oxford Committee Member in Program Committee within the HOPE-track
Noble MushtakMushtak, Noble Northeastern University Enabling Safe Shared-Memory Interoperability in WebAssembly
Marius MüllerMüller, Marius University of Tübingen Lift Inference for Lexical Effect Handlers with Second-Class Functions
N Max S. NewNew, Max S. University of Michigan Relative Monads in CBPV for Stack-based Effects
Kazuki NiimiNiimi, Kazuki Axell Corporation Monadic Semantics of Bidirectional Effects
O Klaus OstermannOstermann, Klaus University of Tübingen Lift Inference for Lexical Effect Handlers with Second-Class Functions
P Zoe ParaskevopoulouParaskevopoulou, Zoe Northeastern UniversityUnited States Enabling Safe Shared-Memory Interoperability in WebAssembly
Maciej PirógPiróg, Maciej University of WrocławPoland Committee Member in Program Committee within the HOPE-track
R Xiaoyan RenRen, Xiaoyan China Effect Handlers in Scope, Evidently
Colin RibaRiba, Colin LIP - ENS de Lyon Temporal refinements for Call-By-Push-Value with fixpoint
Exequiel RivasRivas, Exequiel Tallinn University of Technology Verifying non-terminating programs with IO in F*
S Philipp SchusterSchuster, Philipp University of Tübingen Lift Inference for Lexical Effect Handlers with Second-Class Functions
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Dependent Temporal Type-and-Effect System with Delimited Continuations Committee Member in Program Committee within the HOPE-track
Sam StatonStaton, Sam University of Oxford Higher order programming with probabilistic effects: A model of stochastic memoization and name generation
U Hiroshi UnnoUnno, Hiroshi University of Tsukuba; RIKEN AIPJapan Dependent Temporal Type-and-Effect System with Delimited Continuations
Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland Flexibly graded monads and graded algebras
W Theo WinterhalterWinterhalter, Theo MPI-SPGermany Verifying non-terminating programs with IO in F*
X Ningning XieXie, Ningning University of CambridgeUnited Kingdom Committee Member in Program Committee within the HOPE-track
Z Yizhou ZhangZhang, Yizhou University of WaterlooCanada Committee Member in Program Committee within the HOPE-track