Alejandro Russo
where else to find them
what they talk about
all 6 in the filters
where they keep going back
all 5 in the filters
on a stage with
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Towards Lightweight and Efficient Choreographic Cloud Services | PEPM 2026 | 2026-01-11 |
Extensions to HasChor called CloudChor add concrete primitives: multiply-located values (a type-level list + np proxies), scatter/gather operators and a… | ||
| Sensitivity by Parametricity | OOPSLA 2024 | 2024-10-20 |
A method reduces proving a function’s sensitivity to ordinary type-checking by encoding metric relations at the type level and exploiting parametric… | ||
| The Potential of Information-Flow Control Research for helping GDPR Complia... | PLMW @ POPL 2024 | 2024-01-17 |
Presents a concrete engineering route: Haskell libraries that implement information‑flow control using labeled values and a family of monads (the Mac L monad)… | ||
| From Theory to Practice: Crafting Differential Privacy Systems with Haskell | PEPM 2024 | 2024-01-16 |
A Haskell eDSL called DPella eDSL in Haskell provides runnable queries that statically report privacy cost and accuracy: a symbolic interpreter computes a… | ||
| HasTEE: Programming Trusted Execution Environments with Haskell | Haskell 2023 | 2023-09-08 |
A Haskell DSL called HasTEE embeds enclave, app and client monads, provides a GHC runtime port for Intel SGX and partitions a single Haskell program by… | ||
| Practical Normalization by Evaluation for EDSLs | Haskell Symposium 2021 | 2021-08-26 |
Provides a practical recipe using Normalization by Evaluation to get the fusion benefits of shallow embeddings while keeping deep-syntax for codegen… | ||
| Towards Secure IoT Programming in Haskell | Haskell 2020 | 2020-08-27 |
Haski is an embedded DSL in Haskell that generates C for Zephyr OS, claiming to let developers write Lustre-style synchronous stream programs in Haskell and… | ||
| nothing matches | ||