Steffan Sølvsten
where else to find them
website:https://ssoelvsten.github.io
github:ssoelvsten
mastodon:@soelvsten@mastodon.social
linkedin:steffan-soelvsten
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Aslan Askarovonce
- Jaco van de Polonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Multi-variable Quantification of BDDs in External Memory using Nested Sweeping | VMCAI 2026 | 2026-01-12 |
Implements nested sweeping inside Adiar to do multi-variable BDD quantification in external memory, replacing recursion with coordinated concurrent sweeps and… | ||
| Efficient Dependency Resolution in IFC-aware Decentralized Programming | PriSC 2026 | 2026-01-11 |
Prototype implements an information‑flow aware cache inside the Troupe runtime as a separate trusted thread, using SHA hash keys for dependency references and… | ||
| nothing matches | ||