Phil Trinder
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- Erlang3 editions2022–2024
all 4 in the filters
on a stage with
all 18 in the filters
who talks about the same things
- Simon Fowler6 talks
- Simon J. Gay5 talks
- Thomas Kœhler4 talks
- Michel Steuwer17 talks
- Andrés Goens6 talks
- Tobias Grosser14 talks
| title | conference | date |
|---|---|---|
| The Benefits of Tierless Elixir/Potato for Engineering IoT Systems | Erlang 2024 | 2024-09-02 |
Implemented a smart‑campus IoT system (ERS) in Elixir/Potato and compared it to Clean/iTask (CRS/CWS) and Python (PRS/PWS), showing tierless code dramatically… | ||
| Guided Equality Saturation | POPL 2024 | 2024-01-14 |
Guided equality saturation splits a hard e-graph search into sequences of smaller equality-saturation runs guided by human-provided intermediate sketches… | ||
| Lightning Talk: Towards Mailbox Typing for Erlang | Erlang 2023 | 2023-09-04 |
Mailbox types assign a state to a process mailbox as a commutative regular expression to statically detect protocol violations, payload mismatches, and… | ||
| Special Delivery: Programming with Mailbox Types | ICFP 2023 | 2023-09-04 |
Pat implements mailbox types that model each mailbox as a commutative regular expression and statically rule out protocol violations (double put, missing… | ||
| A Reliability Benchmark for Actor-Based Server Languages | Erlang 2022 | 2022-09-11 |
Designed and released Supervised Communicating Processes (SCP), implemented in Erlang/OTP and Scala/Akka with a deterministic fault injector that triggers… | ||
| CAEFL: Composable and Environment Aware Federated Learning Models | Erlang 2022 | 2022-09-11 |
CAEFL implements environment-aware federated learning in Elixir, using pattern matching tags from sensor behaviors to group updates and a parameter server that… | ||
| Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms | DLS 2020 | 2020-11-17 |
An analytical cost model (ACM) for ALPyNA decides whether to JIT code for CPU (Numba) or GPU by modeling loop-dependence partitions (D-sequential, D-parallel… | ||
| nothing matches | ||