Raymond Hu
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
- OOPSLA3 editions2020–2023
all 4 in the filters
on a stage with
all 21 in the filters
who talks about the same things
- Lukasz Ziarek3 talks
- Grant Iraci2 talks
- Nobuko Yoshida13 talks
- Cheng-En Chuang2 talks
- Francisco Ferreira3 talks
- Peter Thiemann15 talks
| title | conference | date |
|---|---|---|
| Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors | Erlang 2024 | 2024-09-02 |
A prototype toolchain converts TOAST (timeout asynchronous session types) processes into an internal CFSM, then generates correct-by-construction Erlang stubs… | ||
| Validating IoT Devices with Rate-Based Session Types | OOPSLA 2023 | 2023-10-23 |
Framework formalizes rate-based session types by adding a periodic recursion Omega that records per-channel periods, proves preservation and rate error… | ||
| Future Directions for Session Types | ST30 2023 | 2023-10-22 |
Panelists argue concrete next steps: integrate failure handling plus timeouts/congestion into the theory, design a missing module system for session types, and… | ||
| Event-Driven Multiparty Session Actors | HOPE 2023 | 2023-09-04 |
Claims a first statically-typed multiparty session system for actors that lets a single actor participate in multiple sessions by combining flow-sensitive… | ||
| A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming | OOPSLA 2021 | 2021-10-17 |
Presents a new MPST formulation that supports event-driven multiparty sessions with handlers for I/O and partial failures, including dynamic replacement of… | ||
| Featherweight Go | OOPSLA 2020 | 2020-11-15 |
Defines a minimal core language Featherweight Go (FG) and its generic extension Featherweight Generic Go (FGG), proves a semantics-by-translation claim that… | ||
| Statically Verified Refinements for Multiparty Protocols | OOPSLA 2020 | 2020-11-15 |
Theory proves refined multiparty session types preserve trace equivalence while tracking variable knowledge with multiplicities 0 or ω; implementation builds a… | ||
| nothing matches | ||