Shadaj Laddad
where else to find them
what they talk about
all 10 in the filters
where they keep going back
- Scale By the Bay2 editions2020–2023
all 11 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Fred Cecilia4 talks
- Daniel Ciocirlan5 talks
- Mathias Doenitz6 talks
- Jacek Kunicki18 talks
- Oleg Klimenko4 talks
- Vincent Heuschling8 talks
| title | conference | date |
|---|---|---|
| Performant, Readable and Interoperable Rust from Dafny | Dafny 2025 | 2025-01-19 |
A Dafny-to-Rust compiler that emits largely readable Rust code, uses a postprocessing pass to reuse local names and factor absolute paths into imports, and… | ||
| Flo: a Semantic Foundation for Progressive Stream Processing | POPL 2025 | 2025-01-19 |
Flo formalizes two semantic guarantees: streaming progress (operators must emit meaningful partial outputs for unbounded inputs) and eager execution (operators… | ||
| Suki: Choreographed Distributed Dataflow in Rust | CP 2024 | 2024-06-24 |
Suki is an embedded Rust DSL that uses staged programming to emit per-location Rust sources which compile to zero‑overhead binaries, relying on the hydroflow… | ||
| Towards Relational Contextual Equality Saturation | EGRAPHS 2024 | 2024-06-24 |
Claims a method to bring contextual equality saturation into the egglog relational model by treating contexts and equivalence relations as lattices and mapping… | ||
| Hydro: A Stack for Faster Streaming Applications | Scale By the Bay 2023 | 2023-11-13 |
Hydroflow is a low-level streaming IR that compiles to Rust and runs each dataflow as a single-threaded program while composing across machines for… | ||
| Katara: Synthesizing CRDTs with Verified Lifting | OOPSLA 2022 | 2022-12-05 |
Katara automatically synthesizes verified CRDTs from sequential data-type implementations and a pairwise operation ordering policy, encoding correctness into… | ||
| Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types | GPCE 2020 | 2020-11-16 |
Fluid Quotes uses dependent types to carry serialized code through the type system so macros can serialize AST in string literal types and later spliceCall at… | ||
| Data Science in Scala with ScalaPy | Scale By the Bay 2020 | 2020-11-12 |
ScalaPy embeds a CPython interpreter and exposes Python libraries to Scala on JVM and Scala Native via JNA or native FFI, with heap synchronization, GIL… | ||
| Slinky A Modern Toolkit for Modern Apps | Scala Days New York 2018 | 2018-06-19 |
Slinky lets Scala.js apps drive React UIs and native apps using SBT, Scala.js bundler, npm/webpack and external React libraries (react-router, Apollo… | ||
| Stream Away with Scala | Scala Days Copenhagen 2017 | 2017-05-30 |
Scala framework Potassium models sensors as signals and events, uses map/zip/scan/sliding to implement feed‑forward, P, integral, FIR and IIR filters, and… | ||
| Scala on the Move! | Scala Days Berlin 2016 | 2016-06-15 |
Live demos show a Markov‑chain raga classifier that converts MLO pitch output into a note stream (notes normalized to a performer’s sa), builds Markov chains… | ||
| "The Wonders of Programming" | OSCON 2014 | 2014-07-20 |
Started programming at six using LEGO Mindstorms and later moves to Scala over Bluetooth to control robots; tools mentioned include Scratch, Cojo, Khan… | ||
| nothing matches | ||