Simon Fowler
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 5 in the filters
on a stage with
all 10 in the filters
who talks about the same things
- Phil Trinder7 talks
- Simon J. Gay5 talks
- Xuejing Huang4 talks
- Ondřej Lhoták11 talks
- Gowtham Kaki10 talks
- Aseem Rastogi7 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| 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… | ||
| Language-Integrated Query for Temporal Data | GPCE 2022 | 2022-12-06 |
Extends language-integrated query so temporal operations for TLINQ (transaction time) and VLINQ (valid time) are rewritten into plain LINQ with provably… | ||
| Certified Mergeable Replicated Data Types | PLDI 2022 | 2022-06-13 |
A certified MRDT library implemented in F provides machine-checked specifications and proofs that three-way merge implementations preserve intents like… | ||
| Quickstrom: Property-based acceptance testing with LTL specifications | PLDI 2022 | 2022-06-13 |
Quickstrom brings property-based testing to WebDriver acceptance tests by running generated action sequences against a web UI and checking LTL specifications… | ||
| nothing matches | ||