Arjun Guha
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
on a stage with
all 22 in the filters
who talks about the same things
- Abhinav Jangda7 talks
- Luna Phipps-Costin2 talks
- Amal Ahmed25 talks
- Deepak Garg18 talks
- Yuriy Brun4 talks
- Michael Greenberg14 talks
| title | conference | date |
|---|---|---|
| Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs | OOPSLA 2024 | 2024-10-20 |
Presents MultiPL-T, a pipeline that generates semi‑synthetic training data by using a Code LLM to synthesize unit tests for 130K vetted Python functions… | ||
| Continuing WebAssembly with Effect Handlers | OOPSLA 2023 | 2023-10-23 |
WasmFX extends WebAssembly with WasmFX adds three instructions to create, suspend and resume continuations and with typed one-shot continuations that fit… | ||
| Chair's Welcome and Most Notable Paper Award | DLS 2022 | 2022-12-07 |
Selection highlights a single simple claim: AST-based interpreters plus rewriting at runtime capture actual dynamic-language execution and enable aggressive… | ||
| Solver-based Gradual Type Migration | OOPSLA 2021 | 2021-10-17 |
TypeWhich automates gradual type migration by emitting GTLC constraints solved with an off‑the‑shelf MaxSMT-based constraints backend instead of custom… | ||
| Wasm/k: Delimited Continuations for WebAssembly | DLS 2020 | 2020-11-17 |
Adds Wasm/k, a small WebAssembly extension that implements delimited continuations with five new ops (control, restore, continuation_copy, continuation_delete… | ||
| TacTok: Semantics-Aware Proof Synthesis | OOPSLA 2020 | 2020-11-15 |
Automatic proof synthesis that combines both goal semantics and prior scripts, not just one or the other. TacTok models proof state and proof script together… | ||
| Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code | USENIX ATC '19 | 2019-07-10 |
Built Browsix-Wasm to run unmodified Unix programs in the browser and benchmarked them using SPEC CPU; WebAssembly binaries run about 45% slower on Firefox and… | ||
| nothing matches | ||