Malte Viering
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Patrick Eugster8 talks
- Lukasz Ziarek3 talks
- Raymond Hu7 talks
- Alceste Scalas5 talks
- Nobuko Yoshida13 talks
- Guido Salvaneschi17 talks
| title | conference | date |
|---|---|---|
| Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation | PLDI 2023 | 2023-06-17 |
Hydra implements a mechanism‑independent language and a type system that enforces a generalized noninterference property called S non-interference and… | ||
| 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… | ||
| nothing matches | ||